Ontology Language in Wikipedia

Entry In Wikipedia
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding ofknowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usuallydeclarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.