Search Mailing List Archives
[protege-owl] inferred type - display in protege
tredmond at stanford.edu
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?
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl