Search Mailing List Archives
[protege-owl] Assert deduced inverse properties?
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
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