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.
Famous quotes containing the word language:
“Whether we regard the Women’s Liberation movement as a serious threat, a passing convulsion, or a fashionable idiocy, it is a movement that mounts an attack on practically everything that women value today and introduces the language and sentiments of political confrontation into the area of personal relationships.”
—Arianna Stassinopoulos (b. 1950)