Re: Help with a Restriction

Hi Michael,

I would actually like bindTo to be symmetric, so port1 and port2 can
both bindTo each other.  However, given

component3 rdf:type Component
port3 rdf:type Port
component3 exposes port3

The following is /not/ allowed: port2 bindTo port3 nor is port1 bindTo port3

Also, no two Components can expose the same Port.

Thanks
Bill

On 4/23/10, Michael Schneider <schneid@fzi.de> wrote:
> 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 13:16:04 UTC