why isn't instances of subclass inferred as instances of superclass?

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

why isn't instances of subclass inferred as instances of superclass?

Ling
Hi, I defined:

president subClassOf person
Obama individual of president

When I turn on the reasoner and check the instances of 'person', it didn't show "Obama" as an instance of Person. Why is it?

Thanks.

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: why isn't instances of subclass inferred as instances of superclass?

Michael DeBellis-2
It is making the proper inference it's just a UI decision whether to show instances of just the class or to also show the instances of it's subclasses.. You can still see all the instances of Person (including instances of subclasses of Person such as Obama) by using the DL Query Tab. If you enter Person in the "Query (class expression)" window (and make sure the Instances box on the right is checked) you should see all the instances of Person including any instances of subclasses of Person such as Obama. 

If you think about it, it makes sense to do it this way, when you are browsing an ontology if the UI worked the other way when you saw JohnSmith as an instance of Person you wouldn't know is he really an instance of Person or some subclass, this way it's always clear that you are seeing only instances of that specific class and if you understand your ontology you already know that any instance of President is also an instance of Person. Also, if it was done the other way the UI would get kind of unmanageable, especially for large ontologies, for example owl:Thing would display every instance of the ontology.

Michael

On Thu, Dec 20, 2018 at 3:25 PM Ling <[hidden email]> wrote:
Hi, I defined:

president subClassOf person
Obama individual of president

When I turn on the reasoner and check the instances of 'person', it didn't show "Obama" as an instance of Person. Why is it?

Thanks.
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: why isn't instances of subclass inferred as instances of superclass?

Ling
That makes perfect sense!

Congmin

On Thu, Dec 20, 2018 at 6:55 PM Michael DeBellis <[hidden email]> wrote:
It is making the proper inference it's just a UI decision whether to show instances of just the class or to also show the instances of it's subclasses.. You can still see all the instances of Person (including instances of subclasses of Person such as Obama) by using the DL Query Tab. If you enter Person in the "Query (class expression)" window (and make sure the Instances box on the right is checked) you should see all the instances of Person including any instances of subclasses of Person such as Obama. 

If you think about it, it makes sense to do it this way, when you are browsing an ontology if the UI worked the other way when you saw JohnSmith as an instance of Person you wouldn't know is he really an instance of Person or some subclass, this way it's always clear that you are seeing only instances of that specific class and if you understand your ontology you already know that any instance of President is also an instance of Person. Also, if it was done the other way the UI would get kind of unmanageable, especially for large ontologies, for example owl:Thing would display every instance of the ontology.

Michael

On Thu, Dec 20, 2018 at 3:25 PM Ling <[hidden email]> wrote:
Hi, I defined:

president subClassOf person
Obama individual of president

When I turn on the reasoner and check the instances of 'person', it didn't show "Obama" as an instance of Person. Why is it?

Thanks.
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user