Ontology language

Formal language used to construct ontologies In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic. Classification of ontology languages Classification by syntax Traditional syntax ontology languages Common Logic - and its dialects CycL DOGMA (Developing Ontology-Grounded Methods and Applications) F-Logic (Frame Logic) FO-dot (First-order logic extended with types, arithmetic, aggregates and inductive definitions) KIF (Knowledge Interchange Format) Ontolingua based on KIF KL-ONE KM programming language LOOM (ontology) OCML (Operational Conceptual Modelling Language) OKBC (Open Knowledge Base Connectivity) PLIB (Parts LIBrary) RACER Markup ontology languages These languages use a markup scheme to encode knowledge, most commonly with XML. DAML+OIL Ontology Inference Layer (OIL) Web Ontology Language (O