W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2011

Re: Conditional object property

From: Florian Quadt <florian.quadt@h-brs.de>
Date: Mon, 12 Dec 2011 13:36:16 +0100
Message-ID: <4EE5F540.20406@h-brs.de>
To: Uli Sattler <sattler@cs.man.ac.uk>
CC: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
Hi Uli,

thank you very much for your solution!

I wondered how I could implement your idea in Protegé. I managed to define the
Is*T*ConnectedTo property in Protegé as property chain:
> IsConnectedTo o isUpProp o IsConnectedTo subpropertyof isTConnectedTo

How Do I enter your first axiom?
> Switch and isUp subclassof isUpProp some self

Do you consider "Switch" and "isUp" individuals or classes? What does the "some
self" expression exactly mean?

Thank you,

Florian
Received on Monday, 12 December 2011 12:36:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 January 2012 18:13:41 GMT