Formal tools for ontological analysis
Ontology-based comparison and evaluation of axiomatic theories: expressivity, accuracy, domain richness, cognitive adequacy
Theories of formal ontology:
- Theory of Parts
- Theory of Wholes
- Theory of Essence and Identity
- Theory of Dependence
- Theory of Qualities