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

em, looking at this don't you mean that all loafers that satisfy the condition
"easy to put on and take off" (will) satisfy some pregnant woman
Logically, as you have it, we cannot know that the "some" of class loafers
intersect with the "some" of object pregnant woman.So the inference is not
possible.But if you define the class name not as loafers but as easy_fit_loafers
with cardinality all, doesn't this then make logical sense?
I don't know if it will help with the protege inference engine though?
Best,
Adam  





On Wed, Aug 15, 2018 3:44 PM, 我 1047571207@qq.com  wrote:
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.