Ontology Language

An Ontology Language is a formal Knowledge Representation System designed to represent an ontology.

• AKA: Ontology Definition Language, Ontology Modeling Formalism.
• Context:
  • It can be supported by an Ontology Design System.
  • It can be used to make a Concept Definition Statement.
  • It can be used to make a Relation Definition Statement.
  • It can be a Metadata Modeling Language.
• Example(s):
  • OWL Ontology Web Language.
  • RDF Standard.
  • Lexinfo Language.
  • …
• Counter-Example(s):
  • a Semantic Markup Language.
  • a Vocabulary Language.
• See: Ontology Engineer.

---

---

References

2012

• http://en.wikipedia.org/wiki/Ontology_language
  • 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.

---