Re: Conditional object property from Florian Quadt on 2011-12-12 (public-owl-dev@w3.org from October to December 2011)

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

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 UTC