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-discussion] Probleme with "inverse property"

Tania Tudorache tudorache at
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 
mailing list:


M. jack wrote:
> Hello,
> 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 mailing list