What Axioms Can Be In An Ontology?
No apparent distinction between –
- “Definitional axioms” and
- “Contingent facts”
No rationale for excluding any axiom that is –
- Not a tautology
- Satisfied by the intended interpretation in the conceptualization being represented