Ontology language (computer science)

Encyclopedia : O : ON : ONT : Ontology language (computer science)

To meet Wikipedia's and make it more accessible to a general audience, this article may require [Cleanupcleanup].
The introduction to this article provides insufficient context for those unfamiliar with the subject matter.
Please help Wikipedia by improving the introduction according to the guidelines laid out at [Guide to layout]. You can discuss the issue on the .

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

Classification

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)

By syntax

Markup ontology languages

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

By structure

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.

External links

[A Roadmap to Ontology Specification Languages]

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.