Search Mailing List Archives
[protege-discussion] Probleme with "inverse property"
nick.drummond at cs.manchester.ac.uk
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 hotmail.fr> 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
> 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
> 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
> 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 Nabble.com.
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-discussion