|
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.
Traditional ontology languages Markup ontology languages These languages use a markup scheme to encode knowledge, most commonly XML. Frame-based FLogic and OKBC, as well as CycL and KM, are completely or partially frame-based languages. Logic-based See also first-order logic and description logic. | ||||||||
|
| |||||||||
 |
|
| |