Difference between revisions of "Ontology"

From Ontohub
Jump to: navigation, search
Line 4: Line 4:
 
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,

Revision as of 21:25, 10 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 links to other ontologies.