ObjectUnionOf

class ObjectUnionOf(class_expressions)

Bases: _ObjectList

A class expression defined in 8.1.2 Union of Class Expressions.

Consider the ontology consisting of the following axioms.

>>> ClassAssertion("a:Man", "a:Peter")  # Peter is a man.
>>> ClassAssertion("a:Woman", "a:Lois")  # Lois is a woman.

The following class expression describes all individuals that are instances of either a:Man or a:Woman; furthermore, both a:Peter and a:Lois are classified as its instances:

>>> ObjectUnionOf(["a:Man", "a:Woman"])

Initialize the model with a list of class expressions.

Attributes Summary

property_type

Attributes Documentation

Parameters:

class_expressions (Sequence[ClassExpression])

property_type: ClassVar[URIRef] = rdflib.term.URIRef('http://www.w3.org/2002/07/owl#unionOf')