Ontology language

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.



Traditional ontology languages

By syntax

Markup ontology languages

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

By structure


F-Logic, OKBC, and KM are completely or partially frame-based languages.

Description logic-based

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. Examples include KL-ONE, RACER, and OWL.

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:

  • relation types for relations between concepts (classes)
  • relation types for relations between individuals
  • relation types for relations between individuals and classes

It also contains constructs to express queries and communicative intent.

First-order logic-based

Common Logic, CycL and KIF are examples of languages that support expressions in first-order logic, and, in particular, allow general predicates.

See also


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

  • Multimedia Web Ontology Language — (MOWL) has been designed to facilitate semantic interactions with multimedia contents. It supports perceptual modeling of concepts using expected media properties. While the reasoning in traditional ontology languages, e.g. Web Ontology Language… …   Wikipedia

  • Web Ontology Language — Информация в этой статье или некоторых её разделах устарела. Вы можете помочь проекту, обновив её и убрав после этого данный шаб …   Википедия

  • Web Ontology Language — Die Web Ontology Language (kurz OWL) ist eine Spezifikation des World Wide Web Consortiums (W3C), um Ontologien anhand einer formalen Beschreibungssprache erstellen, publizieren und verteilen zu können. Es geht darum, Termini einer Domäne und… …   Deutsch Wikipedia

  • Web Ontology Language — Pour les articles homonymes, voir OWL. Web Ontology Language (OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF. Il fournit les moyens pour définir des ontologies web structurées. Le langage OWL est …   Wikipédia en Français

  • Web Ontology Language for Web Services — Die Web Ontology Language for Web Services (kurz OWL S), vormals DAML S, ist eine Spezifikation zur semantischen Auszeichnung von Webservices. OWL S setzt dabei stark auf Erweiterungen: OWL S spezifiziert Ontologien, um einen Service auf… …   Deutsch Wikipedia

  • Web Ontology Language for Web Services — Pour les articles homonymes, voir OWL. Web Ontology Language for Web Services (OWL S) est une ontologie basée sur le dialecte XML OWL, permettant la description des propriétés et des capacités d un service web. Voir aussi Web Ontology Language… …   Wikipédia en Français

  • Ontology library (information science) — Ontology Libraries are storage areas for ontologies. There is no one ontology language, therefore ontology libraries are usually restricted to plain text files or some XML storage format, mostly plain files again. Advanced solutions for ontology… …   Wikipedia

  • Ontology Inference Layer — (OIL) ist eine webbasierte Auszeichnungssprache des Semantischen Web, die mit dem Ontologie Editor OILed verbunden ist. Das Konzept von OIL verbindet dabei ein rahmenbasiertes System sowohl mit einer Beschreibungslogik wie mit dem Webstandards… …   Deutsch Wikipedia

  • Ontology (information science) — In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.