Ontology

 
 Editor
Sonia Sánchez-Cuadrado sonia.sanchez.cuadrado@uc3m.es
 Incorporated contributions
Morato (9/2009)
 Usage domain
Artificial Intelligence; Semantic Web
 Type
resource, concept
 French
Ontologie
 German Ontologie 

[Understandable but with some grammatical missteps]

Contents

1. Modelling techniques
2. Ontology elements
3. Ontology principles
4. Ontology types
5. Languages


According to Gomez-Perez (2004), the definition of Ontology has evolved over the last twenty years. In 1995, Guarino analyzed seven definitions about this concept to propose a new one. This author defines ontology as “a set of logical axioms designed to account for the intended meaning of a vocabulary” (Guarino, 1998).

One of the reasons for disagreement is the broad definition that has been proposed to group all current ontologies. Wikipedia defines ontology as a “Formal representation of a set of concepts within a domain and the relationships between those concepts”. This definition might well describe any other Knowledge Organization System or terminological resource. Wikipedia adds that ontologies are “used to reason about the properties of that domain, and may be used to define the domain”.

The best known definition was proposed by Gruber: “a formal, explicit specification of a shared conceptualization.” (1991).

1. Modeling techniques

The two most commonly used techniques are:

  • First-order logic
  • Description logic

2. Ontology elements

Depending on the technique that has been used, the vocabulary for designing some elements might differ.

  • Classes: a set of similar objects. These sets represent the main concepts of the domain and the concepts are often arranged in a hierarchical way. Classes might have attributes and functions and can be linked to another class by relations.
  • Relations: Relationships linking classes and individuals
  • Attributes: properties that classes and instances can have.
  • Functions: class and instance methods or actions
  • Individuals: instances or objects of a class.

To achieve inference, the existence of true assertions has to be established: these assertions are then used to express restrictions, rules and axioms.

Finally, events are a way to represent how the values of attributes and their relationships might change.

First order logic usually names these elements as: classes, relations, attributes (slots), functions, instances, and axioms.

Description Logic has the following elements: concepts (equivalent to classes); roles (equivalent to relations and properties of concepts); and Individuals (equivalent to the instances of concepts and their properties).

3. Principles for the design of Ontologies
To be able to share knowledge, interoperability is required. Many principles have been proposed (Gruber 1993):
  • Clarity: objective definitions, formalized with axioms, and complete (necessary and sufficient conditions).
  • Minimal Encoding Bias
  • Extendibility
  • Minimal ontological commitments
Gomez-Perez (2004) adds to this list:
  • Representing disjoints and exhaustive knowledge
  • Minimizing distance between siblings
  • Standardizing names in a clear form

4. Types of Ontologies

There are different types of ontologies:

  • Upper (~top or foundational ): describe very general concepts that are common to all the ontologies. Other ontologies can be aligned with these concepts by their root term. Examples are DOLCE, Proton, SUMO, and CYC.
  • Task: describes the vocabulary related to some generic task or activity.
  • Domain: concepts of a domain and their relationships.
  • Common (~generic ontologies): common knowledge reusable in different domains. Examples are ontologies about time or space.
  • Knowledge Representation: primitives to express knowledge in a formalized way.
  • Application: an ontology adapted to a specific application.

Regarding the usability and reusability, most abstract ontologies are highly reusable (e.g. Knowledge Representation Ontologies and Upper Ontologies) but their usability is poor. Application and Domain Ontologies have a low reusability but a high level of usability.

5. Languages

Modeling techniques use  different languages. As an example, one of the languages related to first order logic is KIF. Whereas OWL is the language widely used to represent ontologies on the Web. OWL serialization is based on RDF/RDFS.

References
  • GUARINO, N. (1998) "Formal Ontology in Information Systems". In: Guarino N (ed). FOIS 98. Trento: IOS Press. Pp. 3-15
  • GRUBER, T.R. (1993) "A translation approach to portable ontologies". Knowledge Acquisition, 5(2):199-220, 1993
  • GRUBER, T.R. (1993) "Toward principles for the design of ontologies used for knowledge sharing". Int. Workshop on Formal Ontology in Conceptual Analysis. Padova 1993.
  • GOMEZ-PEREZ, A.; FERNANDEZ-LOPEZ, M.; CORCHO, O. (2004) Ontological engineering: with examples from the areas of knowleddge management, e-commerce and the Semantic Web, London: Springer
Entries
New entry. Before doing a new entry, please, copy this line and the following ones and paste them at the column bottom. Next fill out the fields: 'name', 'date' and 'text', and delete this upper blue paragraph.
Name (date)
 
[Entry text]



Incorporated entries
Jorge Morato (27/9/2009)

[It corresponds with the first version of the article, which is now showed in the left column.]


Comments