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
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?


More information about the protege-owl mailing list