[protege-discussion] Problem in inferrencing

[Soha Said]

Hello,
 
I put some rule says that: if person x ,student y , y is copluar to (some 
relation in my ontology) x, y is nsubj to (some relation in my ontology) x then 
x same as y.
this rule when applied data properties and object properties must be equaled  of 
x and y.but what happened object properties are equaled but data properties are 
not equaled. why?
Thanks in advance,
Soha Said
--------------------------------------------------------------------------------------------------------------------------------------

Subject: Re: [protege-discussion] Problem in inferrencing

Looking at this, it is hard to tell what you are trying to do.  It  
looks like you are asserting that

all students are people
there is some person who is named Chris.
there is some student, possibly the same as the person above, who is a  
graduate.

Did I miss something?  From this you want to conclude that the  
students name is Chris?  How does this follow?

-Timothy


On Sep 15, 2010, at 11:44 PM, Soha Said wrote:

> Hello,
>
> Thanks for your reply, but I do what you said and after reasoning  
> the object properties are equal not data properties. Why?
> Thanks in advance,
> Soha Said.
>
> On Sep 15, 2010, at 9:54 AM, Soha Said wrote:
>
> > Hello,
> > I use prot?g? 4.1 beta. I build an ontology "Student" is subclass of
> > "Person".
> > If I create an instance from each two classes, then properties of
> > person instance inherited to student instance:
> >
> > If "Person_Instance_1":
> > Type: Person.
> > Name: Chris.
> >
> > And, "Student_Instance_1":
> > Type: Student.
> > Adjective: graduate.
> >
> > I want after inferencing, I can deduce that:
> >
> > "Student_Instance_1":
> > Type: Student.
> > Adjective: graduate.
> > Name: Chris.
> >
> >
> > How can I reach this result?
>
> The only way to reach this result is to assert somewhere that
>
>    Person_Instance_1 sameAs Student_Instance_1
>
> You can't get the result you want with inference any other way.  After
> all, there can be man instances of Person named "John", "Bill", etc.
> who are differentFrom Student_Instance_1.  So you have to tell the
> system which instances refer to the same individual.


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100917/8412c2d3/attachment.html>