Concept

Ontology language

Overview

formal language used to construct ontologies

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal language
• First-order logic
• Artificial intelligence
• Rule of inference
• XML
• Computer science
• KL-ONE
• LOOM (ontology)
• Attempto Controlled English
• Description logic

Place in the tradition

Part of First-order logic.

Explore Ontology language in the interactive graph →