Re: Conditional object property

Hi Florian, there is a standard solution known under "man man"...:

Add 2 axioms: 

Switch and isUp subclassof isUpProp some self

IsConnectedTo o isUpProp o IsConnectedTo subpropertyof isTConnectedTo

...that should do the trick.

Cheers, Uli

On 1 Dec 2011, at 12:32, Florian Quadt <florian.quadt@h-brs.de> wrote:

> Hello OWL developers,
> 
> is it possible to conditionally link an object property to another (object or
> data) property?
> 
> We want to model as part of a configuration management database (CMDB) the
> following (simplified):
> 
> 
>    isConnectedTo          isConnectedTo
> PC <-------------> SWITCH <-------------> INTERNET
> isUp=true          isUp=false             isUp=true
> 
> 
> We have
> * the individuals "PC", "SWITCH", "INTERNET",
> * the transitive and symmetric object property "isConnectedTo", and
> * the boolean data property "isUp".
> 
> "PC" "isConnectedTo" "SWITCH"
> "SWITCH" "isConnectedTo" "INTERNET"
> "PC" "isUp" true
> "INTERNET" "isUp" true
> "SWITCH" "isUp" *false*
> 
> 
> With this setup the PC is not connected to the Internet because the switch is
> down. Is it possible to define that "isConnectedTo" is in effect only if "isUp"
> is true?
> Other ideas how this could be modelled?
> 
> Thanks a lot for your ideas!
> 
> Florian
> 
> 
> -- 
> Florian Quadt M.Sc.            | Hochschule Bonn-Rhein-Sieg
> Wissenschaftlicher Mitarbeiter | Fachbereich Informatik
> Tel +49 2241 865-741           | Projekt 'Publikation Umweltdaten'
> Fax +49 2241 865-8741          | Grantham-Allee 20
> florian.quadt@h-brs.de         | 53757 Sankt Augustin
> 
> 

Received on Thursday, 1 December 2011 22:23:31 UTC