Re: How can the continuous inference be done between classes in owl?

Not really my expertise but was curious for my own reasons to look at this
as I'm struggling with other issues to do with logic.
(So different forms of logical representation are helpful to me.)

Modifying your owl file in Protege desktop I have executed this DL query
with the Hermit Reasoner running.

Loafers and satisfiedBy some

The Query Result frame shows this with all the 'Query for boxes' (and
owl:thing -- obviously not needed) checked:-

Loafers
PregnantWoman
owl:Thing
person
shoe
Loafers
PregnantWoman

The class hierarchy looks like this with 'Inferred' selected in the drop
down, not 'Asserted':-

owl:Thing
Affordance
EasyOnOff
SlipOn
person
PregnantWoman
shoe
Loafers

Where EasyOnOff isSameAs SlipOn (and the inverse), both class instances of
Affordance
EasyOnOff is a subclass of OwlObjectProperty of some Loafers (which seems
correct to me).


Turning to objectProperty hierarchy satisfiedBy:-
satisfiedBy Range SlipOn
satisfiedBy Domain PregnantWoman
satisfiedBy rdfs:label "satisfiedBy"^^xsd:string
satisfiedBy SubPropertyOf:
OWLObjectProperty_79a0e129_d0e4_4648_9fc4_ff1a28968be9
ObjectProperty: satisfiedBy
satisfiedBy Range EasyOnOff
 Transitive: satisfiedBy

I don't think this is modelled correctly although I would prefer separate
properties for the notion of a loafer being easy to get on and off
and a pregnant woman being able to slip on a shoe for herself.
Nevermind, I assume that this could be modelled like so:-

satisfiedBy rdfs:label "satisfiedBy"^^xsd:string
satisfiedBy SubPropertyOf:
OWLObjectProperty_79a0e129_d0e4_4648_9fc4_ff1a28968be9
ObjectProperty: satisfiedBy
satisfiedBy Domain PregnantWoman
satisfiedBy Range EasyOnOff
Transitive: satisfiedBy

I may have this all wrong but it yields the result?

c.f. Horridge on domain and range.
Common Errors In OWL - Protégé (pdf)