[protege-discussion] Problem in inferrencing

[Soha Said]

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?
 
Thanks in advance,
Soha Said


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