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:
“Man, even man debased by the neocapitalism and pseudosocialism of our time, is a marvelous being because he sometimes speaks. Language is the mark, the sign, not of his fall but of his original innocence. Through the Word we may regain the lost kingdom and recover powers we possessed in the far-distant past.”
—Octavio Paz (b. 1914)