Sentence
From Ontohub
Revision as of 21:24, 10 February 2014 by Tillmo (talk | contribs) (Created page with "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 b...")
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.
