Ontology language: Difference between revisions

Content deleted Content added

Inline

Revision as of 01:19, 3 March 2011

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.

Classification

Traditional ontology languages

CycL
DOGMA (Developing Ontology-Grounded Methods and Applications)
F-Logic (Frame Logic)
KIF (Knowledge Interchange Format)
- Ontolingua based on KIF
KL-ONE
KM programming language
LOOM (ontology)
OCML (Operational Conceptual Modelling Language)
OKBC (Open Knowledge Base Connectivity)
PLIB (Parts LIBrary)
RACER

By syntax

Markup ontology languages

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

By structure

Frame-based

FLogic, 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

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

References

Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000)
Introduction to Description Logics DL course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy

This computer science article is a stub. You can help Wikipedia by expanding it.

Revision as of 01:19, 3 March 2011 edit Lukaslikespee (talk \| contribs) 4 edits No edit summary ← Previous edit		Revision as of 01:19, 3 March 2011 edit undo ClueBot NG (talk \| contribs) Bots, Pending changes reviewers, Rollbackers 6,406,484 edits m Reverting possible vandalism by Lukaslikespee to version by Gregbard. False positive? Report it. Thanks, ClueBot NG. (322917) (Bot) Next edit →
Line 1:		Line 1:
	In [[computer science]] and [[artificial intelligence]], '''ontology languages''' are [[formal language]]s used to construct [[ontology (information science)\|ontologies]]. They allow the encoding of [[knowledge]] about ~~'''Nigger Faggot'''~~ specific [[Field of study\|domains]] and often include [[reason]]ing rules that support the processing of that knowledge. Ontology languages are usually [[declarative language]]s, are almost always generalizations of [[frame language]]s, and are commonly based on either [[first-order logic]] or on [[description logic]].		In [[computer science]] and [[artificial intelligence]], '''ontology languages''' are [[formal language]]s used to construct [[ontology (information science)\|ontologies]]. They allow the encoding of [[knowledge]] about specific [[Field of study\|domains]] and often include [[reason]]ing rules that support the processing of that knowledge. Ontology languages are usually [[declarative language]]s, are almost always generalizations of [[frame language]]s, and are commonly based on either [[first-order logic]] or on [[description logic]].

	==Classification==		==Classification==