[protege-discussion] Problem in inferrencing

[Timothy Redmond]

On 09/17/2010 10:05 AM, Soha Said wrote:
> 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?

Again I have trouble understanding your question.   The rule you 
describe  is as follows:

    Person(x)
    Student(y)
    y copluar x
    x nsubj y
    ---------------
    x = y
       


I am not sure if there are any SWRL constraints  about the conclusion 
(x=y) but I will ignore that for the moment.  There are not data 
properties in this rule.  In this rule, x and y must be individuals so 
the properties, copluar and nsubj,  must be object properties.   I would 
have guessed that the x and y are the only variables in this rule so 
this rule only applies to people and students.  It cannot be applied to 
data properties.

-Timothy


> 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.
>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>    

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