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

owl?

Description:
I¡¯m  trying to construct an ontology about shoe  and I want to realize such a inference: 

condition£º
1.Loafers is easy to put on and take off.
2.The function of easy to put on and take off satisfy pregnant woman.
conclusion£º
Loafers satisfy pregnant woman.

I¡¯ve constructed  an ontology by protege  like this:
class:  Loafers, easy to put on and take off,pregnant woman
property:   hasFunction£¬satisfy
rdf£º
	s: Loafers   p: hasFunction   cardinality: some.  o:  easy to put on and take off
	s: easy to put on and take off    p: satisfy   cardinality: some   o: pregnant woman
But  after ¡°inference¡±, I can not get the expected conclusion that  s :Loafers.  p: satisfy.  cardinality: some  o: pregnant woman


And  I  reconstruct  the ontology like this:
Instance: Loafers, easy to put on and take off,pregnant woman
property:  hasFunction£¬satisfy
rdf£º
	s: Loafers   p: hasFunction    o:  easy to put on and take off
	s: easy to put on and take off    p: satisfy    o: pregnant woman
Then  after ¡°inference¡±, I can get the expected conclusion that   s :Loafers.  p: satisfy. o: pregnant woman

That means the continuous inference can just be done between Instance, while between classes, the "cardinality ¡° is defined  so that the inference can not go on.
But I have a need to make the inference to be done between classes. For example if I can get the conclusion: s :Loafers(class).  p: satisfy.  cardinality: some  o: pregnant woman
And get another condition: item A is the instance of Loafers,then I can get another conclusion: s :A  p: satisfy.  cardinality: some  o: pregnant woman.

Received on Wednesday, 15 August 2018 20:00:46 UTC