lack of disjoints axioms precludes finding modeling errors

MaastrichtU-IDS / cbcm-ontology

⚖️ An OWL ontology to define terms from EU company law that are relevant for cross-border mobility of EU companies.

Creative Commons Attribution 4.0 International

4 stars 2 forks source link

lack of disjoints axioms precludes finding modeling errors #4

Open micheldumontier opened 3 years ago

micheldumontier commented 3 years ago

I might suggest to add disjoint axioms so as to find potential modeling errors (e.g. unsatisfiable classes and inconsistent individuals) in the ontology. This will also be useful when trying to avoid errors in map the ontology to external ontologies.

kodymoodley commented 3 years ago

👍