Ontology language
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies.These languages use a markup scheme to encode knowledge, most commonly with XML.Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates.It distinguishes between the semantic differences among others of: It also contains constructs to express queries and communicative intent.Several ontology languages support expressions in first-order logic and allow general predicates.