search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Irreflexive properties #11

Closed Mttbnchtt closed 9 months ago

Mttbnchtt commented 2 years ago

Most reasoners in Protege seem to crash if one uses irreflexive properties. Since irreflexive properties are useful, one has to figure out what to do about this issue.

Mttbnchtt commented 2 years ago

owl:reflexive makes the domain of a property owl:Things. So, if one also states that a specific class is the domain of that property, the reasoner will infer that that class is equivalent to owl:Things, which likely will cause troubles. The same may happen for owl:irreflexive. The W3C specification says something about this.

Mttbnchtt commented 2 years ago

One work-around is to set the domain and range of an irreflexive property as disjoint classes. This is not always possible.

Mttbnchtt commented 9 months ago

I ignore the issues with reasoners. RDFox and datalog provides work-arounds.