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"

Nick Drummond nick.drummond at
Thu Jun 12 07:00:26 PDT 2008

I've posted this to the p4-feedback list.Please continue the discussion

Protege 4.0 doesn't show up these trivial inferences as P3 did.
This was a design decision - it was decided it was important to try to keep
the inferred information separate from the asserted information.
If you run pellet you will get the inferences showing up (FaCT++ currently
does not show these inferences).


On Thu, Jun 12, 2008 at 12:13 PM, M. jack <mall_bidon at> 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.
> --
> View this message in context:
> Sent from the Protege - General mailing list archive at
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list