Search Mailing List Archives
[protege-discussion] Problem in inferrencing
Timothy Redmond
tredmond at stanford.edu
Fri Sep 17 10:38:25 PDT 2010
Maybe you are asking whether two individuals that are the same as each
other should have the same inferred object and data property values?
The answer is yes. What's more - this I wasn't clear on - this is
displayed naturally in the latest Protege. (I knew from previous
discussions that data property values can be difficult for a reasoner
to compute but I didn't entirely understand why this was so.)
I created the attached ontology. In the latest Protege 4.1, I selected
my reasoner (I tried both pellet and HermiT). I changed the reasoner
preferences (Reasoner->Configure->Displayed Inferences) to display both
object property assertions and data property assertions. Then in the
individuals tab I selected the class A and the individual j. It then
showed both the inferred data property and inferred object property that
was retrieved from the same individual i.
-Timothy
On 09/17/2010 10:25 AM, Timothy Redmond wrote:
> 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
>>
>
>
> _______________________________________________
> 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/ec5bc205/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SameIndividual.owl
Type: application/rdf+xml
Size: 3663 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100917/ec5bc205/attachment.owl>
More information about the protege-discussion
mailing list