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

Semantics of owl:unionOf vs subclass ...

From: Ruth Dhanaraj <ruthdhan@gmail.com>
Date: Wed, 8 Jul 2009 11:31:02 -0700
Message-ID: <db7d68190907081131r675e59d5x1209d6802ae55ab6@mail.gmail.com>
To: public-owl-dev@w3.org

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.

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)

Is this correct? What's the recommended way to specify this?
Received on Thursday, 9 July 2009 09:07:25 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:18 UTC