http://caligraph.org/ontology/Formal_language

Property	Value
rdf:type	owl:Class
rdfs:label	Formal language
rdfs:subClassOf	Constructed language
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_languages
is rdf:type of	Class implementation file Emptiness problem FO(.) Franca IDL History of Ruby JADE (programming language) JMP (statistical software) Mobile BASIC OMeta Physical markup language PowerHouse (programming language) Standard ML Syntax (logic) TTM (programming language) Tweak programming environment Urbiscript VoiceXML XML Information Set XUpdate 2APL Chomsky–Schützenberger enumeration theorem Construction and Analysis of Distributed Processes DUP programming language Edinburgh IMP Gekko (optimization software) Hop (software) Image file format JavaScript Style Sheets KUKA Robot Language MVEL Microsoft Access ONIX (publishing protocol) ONIX for Books OOHDM OxMetrics Post canonical system Robot Battle Set theoretic programming SuperBASIC Turbo Pascal WFF 'N PROOF WWF (file format) Addressing mode Analytica (software) Augmented Backus–Naur form C preprocessor DCML (markup language) EusLisp Robot Programming Language History monoid Image markup Language for Systems Development Lightweight Imaging Device Interface Language MACRO-11 Recfiles S/SL programming language SCIgen SWI-Prolog SheerPower4GL Visual Prolog Vvvv Adobe Pixel Bender Alphard (programming language) Apache Groovy Apple Dylan Babbage (programming language) Eiffel (programming language) Flow to HDL Go! (programming language) HAtom LINC 4GL Malbolge PeopleCode Pic Micro Pascal QBasic Rocky Mountain BASIC SoaML SpreadsheetML System 2000 (software) TI-BASIC ALGOL 68S Adenine Ch (computer programming) Chess Query Language ColdFusion Markup Language Cross-serial dependencies FuzzyCLIPS HyTime Lola (computing) Magik (programming language) Markdown Numeric std OR-Tools OpenOffice.org XML Petriscript PureBasic Role-oriented programming SA-C (programming language) Scriptol Standard Generalized Markup Language Terminology for the Description of Dynamics ... and more
is rdfs:subClassOf of	Computer language Metalanguage Formal language used for Indian scriptures

About: clgo:Formal_language