Conditional object property

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 20:46:35 UTC