Summary

• Ontology and ontologies

  • Models and conceptualizations

• Ontology-driven conceptual modeling

• Formal ontological analysis

  • Mereology
  • Identity, unity, essence
  • Essence and rigidity
  • Identity and identity criteria
  • Unity and unity criteria
  • Dependence

• Using the formal properties

  • Basic property kinds
  • Further property kinds based on common ICs/UCs

• Ontology-driven modeling principles

  • Taxonomic relationships
  • An extended example
  • Membership relationships
  • Part-whole relationships

• A minimal top-level ontology

• Conclusions: some basic design principles

Previous slide

Next slide

Back to first slide

View graphic version