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

Timothy Redmond tredmond at
Sat Jan 2 17:57:47 PST 2010

I think that the problem is that the views you are looking at are 
calculating the "direct" inferred types.  The fact that your individual 
is a member of A is seen as too trivial to mention.  If you work with 
the pizza ontology and create an individual with with more than three 
distinct toppings you will see the inference that this is a 

Programatically there is a flag that distinguishes whether you are 
interested in just direct types or all inferred types.


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. 
> Is there some option I need to enable to see the inferred class associations , basically all super types?
> Thanks
> Sundar
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

More information about the protege-owl mailing list