Difference between revisions of "Ontology"

From Ontohub
Jump to: navigation, search
(wikilinks, Ontohub pages)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
In Ontohub, an ontology consists of a set of symbols and a set of sentences:
+
In Ontohub, an ontology consists of a set of [[symbol]]s and a set of [[sentence]]s:
 
* A symbol is an atomic expression or syntactic constituent that may be used in axioms. (Moreover, an semantic interpretation or model of an ontology usually consists of an interpretation of all the symbols.)
 
* A symbol is an atomic expression or syntactic constituent that may be used in axioms. (Moreover, an semantic interpretation or model of an ontology usually consists of an interpretation of all the symbols.)
:Symbols have different kinds, for example, in OWL, there a classes, object properties, individuals etc. (In other [[logics]],
+
:Symbols have different kinds, for example, in OWL, there a classes, object properties, individuals etc. (In other [[logics]], there are other kinds of symbols.) For each symbol, there is a tab displaying the symbols of that kind.
there are other kinds of symbols.) For each symbol, there is a tab displaying the symbols of that kind.
 
 
kind, there is a  
 
kind, there is a  
* A sentence (formula) is a logical expression constraining the meaning (interpretation) of the ontology and often thereby linking different symbols.
+
* A [[sentences|sentence]] (formula) is a logical expression constraining the meaning (interpretation) of the ontology and often thereby linking different symbols.
:A sentence may be an axiom (i.e. it is postulated to be true) a conjecture  (i.e. it is postulated to follow from the axioms), or a theorem (i.e. it has been proven to follow from the axioms).
+
:A sentence may be an [[axiom]] (i.e. it is postulated to be true) a conjecture  (i.e. it is postulated to follow from the axioms), or a [[theorem]] (i.e. it has been proven to follow from the axioms).
  
 
Ontologies are defined in [[File browser|files]]. An ontology may be defined as [[single ontology]] in one file,
 
Ontologies are defined in [[File browser|files]]. An ontology may be defined as [[single ontology]] in one file,
 
or it may be part of an [[ontology library]], which in turned is defined in a file.
 
or it may be part of an [[ontology library]], which in turned is defined in a file.
  
Ontologies can be annotated with comments and [[metadata]]. You can browse their versions, and show a [[graph]] of [[links]] to other ontologies.
+
Ontologies can be annotated with comments and [[metadata]]. You can browse their versions, and show a [[graphs|graph]] of [[mappings]] to other ontologies.
 +
 
 +
==Ontohub pages for ontologies==
 +
*[http://ontohub.org/repositories/bioportal/ontologies/270 Overview of an ontology]
 +
*[[metadata]] of an ontology
 +
*[[file browser]]

Latest revision as of 10:52, 11 February 2014

In Ontohub, an ontology consists of a set of symbols and a set of sentences:

  • A symbol is an atomic expression or syntactic constituent that may be used in axioms. (Moreover, an semantic interpretation or model of an ontology usually consists of an interpretation of all the symbols.)
Symbols have different kinds, for example, in OWL, there a classes, object properties, individuals etc. (In other logics, there are other kinds of symbols.) For each symbol, there is a tab displaying the symbols of that kind.

kind, there is a

  • A sentence (formula) is a logical expression constraining the meaning (interpretation) of the ontology and often thereby linking different symbols.
A sentence may be an axiom (i.e. it is postulated to be true) a conjecture (i.e. it is postulated to follow from the axioms), or a theorem (i.e. it has been proven to follow from the axioms).

Ontologies are defined in files. An ontology may be defined as single ontology in one file, or it may be part of an ontology library, which in turned is defined in a file.

Ontologies can be annotated with comments and metadata. You can browse their versions, and show a graph of mappings to other ontologies.

Ontohub pages for ontologies