From Ontohub
Revision as of 09:31, 11 February 2014 by Tillmo (talk | contribs) (Tillmo moved page Sentences to Sentence: uniform singular)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A sentence in an ontology expresses some logical information about the ontology, e.g. some subclass relationship, or some constraint on certain symbols. Sentence can be

  • axioms, which are postulated to be true, or
  • theorems, which are postulated to follow from the axioms.

Ontohub page listing sentences

All sentences of an ontology are listed.