Loading AI tools
Formal language used to construct ontologies From Wikipedia, the free encyclopedia
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.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
These languages use a markup scheme to encode knowledge, most commonly with XML.
Three languages are completely or partially frame-based languages.
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.
Gellish is an example of a combined ontology language and ontology that is description logic based. 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.