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] Assert deduced inverse properties?

Johann Petrak johann.petrak at chello.at
Wed Jan 16 14:18:54 PST 2008


Assuming an ontology has two classes A and B and a
property hasProp with domain A and range B and
we have created many individuals in A and B which
are related through hasProp.

Now, if the ontology is extended by a hasInvProp
property that is the inverse of hasProp,
none of the individuals is shown the have that
inverse property.
On the other hand, if the inverse property is
defined before A hasProp B is asserted, then
Protege seems to automatically asser B hasInvProp A.

It is possible to e.g. use the reasoner to
find the members of some class HasInvProp
that is defined to contain individuals with
some hasInvProp A, but is it possible to
use the reasoner to show the *inferred properties*?

Another question related to this: is it possible
to actually create assertions about selected
facts inferred by the reasoner, e.g. assert
the inverse property between all pairs that
are deduced to have it?


Cheers,
   Johann



More information about the protege-owl mailing list