W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2009

Re: Restricting property instances in OWL

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 30 Jul 2009 10:23:28 +0200
Cc: public-owl-dev@w3.org
Message-Id: <2701E267-D73F-420B-B743-4862B7BA3DF3@cs.man.ac.uk>
To: Jevon Wright <jevon@jevon.org>
On 30 Jul 2009, at 04:35, Jevon Wright wrote:

> 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.

Try ObjectHasSelf.

I.e., Say that

edge domain SourceNode.


SourceNode equiv Node and complementOf(ObjectHasSelf(edge))

(Sorry for the mix of syntaxes.)

This says that a Soruce Node is exactly those nodes which are not edge  
related to themselves.

See:
	http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Self-Restriction

This is only in OWL 2, of course.

Cheers,
Bijan.
Received on Thursday, 30 July 2009 08:24:12 GMT

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