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

Re: Semantics of owl:unionOf vs subclass ...

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 9 Jul 2009 10:21:01 +0100
Cc: public-owl-dev@w3.org
Message-Id: <AD6C66CA-6008-496E-B9E8-3D8EDFB36D6A@cs.man.ac.uk>
To: Ruth Dhanaraj <ruthdhan@gmail.com>
On 8 Jul 2009, at 19:31, Ruth Dhanaraj wrote:

> Hi,
>
> I've been trying to figure out how I would write a property and say
> its domain can be of type A *or* B. The RDF primer says that
> specifying multiple domains is an AND, so that's out.

Correct.

> As far as I can tell, the semantics go something like this:
> A subclassof C
> B subclassof C
> = C is a superset of A u B
>
> C unionOf (A B)
> = C is A u B
>
> (then I can say that my property has domain C)

You don't need the first two axioms when the latter is an equivalence  
axiom.

> Is this correct? What's the recommended way to specify this?

You can do this without introducing a new term (C). I.e., (in no real  
syntax)

p domain unionOf(A B)

Some versions of the Protege 3 series would do that by default when  
you added multiple domains (or ranges).

Cheers,
Bijan.
Received on Thursday, 9 July 2009 09:21:37 GMT

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