Difference between revisions of "Sentence"
From Ontohub
(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...") |
|
(No difference)
| |
Latest revision as of 09:31, 11 February 2014
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.
