Search Mailing List Archives
[protege-discussion] Probleme with "inverse property"
tudorache at stanford.edu
Fri Jun 13 18:40:17 PDT 2008
This is indeed what Protege series 3 does, but this is not the Protege 4
behavior. Protege 3 makes some simple inferences, so that it helps the
user with the ontology editing process. However, it is arguable whether
such behavior is desirable or not.
Protege 4 does not make such inferences in the user interface, so that
what you see is what you have explicitly asserted. If you run the
reasoner, you will see the inferred axioms.
The initial version of the Protege OWL tutorial was written for the
Protege 3 series (that's why some of the text is outdated). There is an
updated version of the tutorial available for Protege 4, which is
however still under some work:
(click on the Protege 4 tutorial link). There is also a link to errata,
that you may want to look at.
We also have a different mailing list for Protege 4 related questions.
Please post in future Protege 4 related questions on the p4feedback
M. jack wrote:
> I am new to Protege. Recently, I have downloaded Protege 4.0 alpha version.
> I have tried to managed the tutorial concerning pizza and pizzaTopping given
> on the internet site "co-ode".
> But unfortunately, it seems that I can't use the software properly given
> that properties as "Inverse Properties", or "Transitive" characteristics
> don't work as expected. In fact according to the tutorial, if two object
> properties A and B are linked by an inverse properties, thus, the domain of
> A is supposed to become automatically the range of B, and the range of A the
> domain of B. But in my case, nothing is filling automatically.
> I had a kind of same probleme with the transitive characteristics, but I
> can't remember exactly what it was.
> Have you got an idea why I encounter all those problems? Is it due to a lack
> of plugin? Or a bad configuration? Or the 4.0alpha version is not stable?
> Thank you in advance for your help.
More information about the protege-discussion