Unions and Intersections

We begin with the basic logical combinations, which are familiar from set theory. OWL provides a facility for defining new classes as unions and intersections of previously defined classes. All set operations can be used on any class definition at all in OWL, including named classes and restrictions. This allows OWL to express a wide variety of combinations of classes and conditions. The semantics for the constructors as one would expect, matching the set operations of the same name.

Syntactically, they use the list constructs of RDF, as follows:

image

The union of two or more classes includes the members of all those classes ...

Get Semantic Web for the Working Ontologist, 2nd Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.