Ontology language (computer science)

From Wikipedia, the free encyclopedia

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.

Contents 1 Classification 1.1 Traditional ontology languages 1.2 By syntax 1.2.1 Markup ontology languages 1.3 By structure 1.3.1 Frame-based 1.3.2 Logic-based 2 External links

[edit] Classification

[edit] Traditional ontology languages

• KIF (Knowledge Interchange Format)
  • Ontolingua based on KIF
• OCML (Operational Conceptual Modelling Language)
• LOOM (ontology)
• CycL
• KM programming language
• F-Logic (Frame Logic)
• OKBC (Open Knowledge Base Connectivity)

[edit] By syntax

[edit] Markup ontology languages

These languages use a markup scheme to encode knowledge, most commonly XML.

• SHOE
• DAML+OIL
• OIL
• RDF
• RDF Schema
• OWL

[edit] By structure

[edit] Frame-based

FLogic and OKBC, as well as CycL and KM, are completely or partially frame-based languages.

[edit] Logic-based

See also first-order logic and description logic.

[edit] External links

• A Roadmap to Ontology Specification Languages