- From: Jevon Wright <jevon@jevon.org>
- Date: Thu, 30 Jul 2009 14:35:08 +1200
- To: public-owl-dev@w3.org
- Message-ID: <2f3e58960907291935o7152bbe5o56d2137ff9a86701@mail.gmail.com>
Hi, I am trying to define an OWL ontology that lets me do the following. Consider that I have an Edge which connects two Nodes. However, I wish to say that the Edge source is not the same as the Edge target, i.e. the Edge does not connect the same Node to itself. Is this possible to do in OWL, i.e. define that "source != target"? It seems that the restrictions apply only to classes and data types, not to instances. I have also thought of having Node <- EdgeSource Node <- EdgeTarget (these two classifications are disjoint) Edge has property "source : EdgeSource" and "target : EdgeTarget". This would make sure that the same node cannot be connected, but also in this case the same node could not simultaneously be the source and the target of two distinct Edges. Any assistance or ideas would be appreciated. I am also look at rules through OWL+SWRL. Thanks Jevon
Received on Thursday, 30 July 2009 07:04:06 UTC