W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2010

Help with a Restriction

From: William Koscho <wkoscho@gmail.com>
Date: Thu, 22 Apr 2010 15:42:36 -0400
Message-ID: <z2md8e975631004221242nfb7a47dbw1b077c83d09a8fa5@mail.gmail.com>
To: public-owl-dev@w3.org
Hi All,

I'm modeling a few software architecture concepts and am having
trouble with one particular restriction that I'm hoping someone can
help with?

Using OWL2, how can I restrict a Port to only bindTo another Port that
is exposedBy the parent Component.

My ontology is defined as follows:
There are 2 sibling classes:

There are 3 properties with the following domain/ranges:
 Component exposes Port (inverse-of exposedBy)
 Port exposedBy Component (inverse-of exposes)
 Component composedOf Component (inverse-of belongsTo)
 Component belongsTo Component (inverse-of composedOf)
 Port bindTo Port

Thanks in advance,
Received on Friday, 23 April 2010 09:31:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC