Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] inferred type - display in protege

Saiprasad, Sundar Sundar_Saiprasad at
Sun Jan 3 11:21:41 PST 2010

I am using version 4.0 and build 115. I am using the pellet reasoned plugin which I assume uses pellet reasoner. 
I was looking at the "Individuals by inferred type" view. My ontology is way too simple. 

Test1 is a class and Test2 is a subclass of Test1. I created an individual i1 and asserted that rdf:type of i1 is Test2.
It didn't show up in the individuals view but I tried what you suggested and i1 does appear as a member in Test1 as well as Test2. But it uses the same icon for asserted versus inferred statement. And the typical tool tip didn't work in this view. 

The other thing I tried was looking at Members in the Entities tab for the class Test1. It did show i1 as an inferred statement. 

It will be nice to show it in the individual view itself though it might be too trivial or have it controlled through an user option. 

Thanks for your responses , Thomas and Timothy. It does work fine


-----Original Message-----
From: protege-owl-bounces at [mailto:protege-owl-bounces at] On Behalf Of Thomas Schneider
Sent: Friday, January 01, 2010 1:20 AM
To: User support for the Protege-OWL editor
Subject: Re: [protege-owl] inferred type - display in protege

On 31 Dec 2009, at 11:52, Saiprasad, Sundar wrote:

> A very basic question
> I have a class A and another class B which is subclass of A.
> So the hierarchy is Thing -> A -> B
> I have created an individual test1234 and associated the type with B. 
> Basically test1234 rdf:type B
> When I run the reasoner (both pellet and Fact++) , I don't see
> test1234 rdf:type A
> in any of the views.

Please describe your observations more precisely. In particular, which Protégé do you use and which views were you looking at? It might also be helpful if you could send us the minimal ontology that contains the two subclass statements.

> Is there some option I need to enable to see the inferred class 
> associations , basically all super types?

In Protégé 4, it should suffice to enter "A" or "B" in the DL query tab and tick the box "Individuals". In both cases, "test1234" should be shown under "query results". I've just tried it in 4.0 b113, and it works this way.



> Thanks
> Sundar
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing: 

|  Dr Thomas Schneider                    schneider (at)  |
|  School of Computer Science  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |

Skagway (n.)
   Sudden outbreak of cones on a motorway.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff

More information about the protege-owl mailing list