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

RE: Help with a Restriction

From: Michael Schneider <schneid@fzi.de>
Date: Fri, 23 Apr 2010 14:37:34 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A001D52479@judith.fzi.de>
To: "William Koscho" <wkoscho@gmail.com>
Cc: <public-owl-dev@w3.org>
William,

before I or anyone else can start to find an answer to your question, you
should clarify your question a bit. From what I am reading, it sounds to me
that you want to restrict the application of the 'bindTo' property to
situations as in the following example:

  // declarations:
  component1 rdf:type Component .
  component2 rdf:type Component .
  port1 rdf:type Port .
  port2 rdf:type Port .

  // component2 is parent of component1:
  component1 belongsTo component2 .

  // both components expose some port each:
  component1 exposes port1 .
  component2 exposes port2 .

  // component1's port is being bind
  // to its parent's port:
  port1 bindTo port2 .

  // *not* allowed:
  //   port2 bindTo port1
  // since port1 is /not/ exposed by a parent component
  // of port2's associated component

Please confirm whether this is what you have in mind as a valid scenario, or
say where I got you wrong.

Michael

>-----Original Message-----
>From: public-owl-dev-request@w3.org [mailto:public-owl-dev-
>request@w3.org] On Behalf Of William Koscho
>Sent: Thursday, April 22, 2010 9:43 PM
>To: public-owl-dev@w3.org
>Subject: Help with a Restriction
>
>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:
> Component
> Port
>
>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,
>Bill
>

--
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================
Received on Friday, 23 April 2010 12:38:07 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT