adding continuant disjoint from occurrent (as it is) exposes unsatisfiable classes

oral-health-and-disease-ontologies / ohd-ontology

The OHD is an ontology for representing the diagnosis and treatment of dental maladies.

Creative Commons Attribution 4.0 International

7 stars 6 forks source link

adding continuant disjoint from occurrent (as it is) exposes unsatisfiable classes #13

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago

They need to be fixed. The billing codes are easy to see why they are 
problematic. The other ones less obvious - perhaps they are downstream 
consequences of the billing code issue.

As an aside I think I'd like to move to BFO2 soon as it has many more axioms to 
catch mistakes.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 20 Dec 2014 at 9:15

GoogleCodeExporter commented 8 years ago

Original comment by alanruttenberg@gmail.com on 22 Dec 2014 at 5:08

Added labels: Priority-Critical
Removed labels: Priority-Medium

GoogleCodeExporter commented 8 years ago

Lookin into it.

Original comment by wddun...@gmail.com on 6 Jan 2015 at 7:25

Changed state: Started

GoogleCodeExporter commented 8 years ago

Reasoning errors fixed. New ontology uploaded.

Original comment by wddun...@gmail.com on 9 Jan 2015 at 1:49

Changed state: Done