Search Mailing List Archives
[protege-discussion] Problem in inferrencing
Soha Said
sohaelshafey at yahoo.com
Fri Sep 17 10:05:38 PDT 2010
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>
More information about the protege-discussion
mailing list