ObjectIntersectionOf

class ObjectIntersectionOf(class_expressions: Sequence[ClassExpression | URIRef | Reference | Referenced | str | IdentifierBox])[source]

Bases: _ObjectList

A class expression defined in 8.1.1 Intersection of Class Expressions.

Consider the ontology consisting of the following axioms.

>>> ClassAssertion("a:Dog", "a:Brian")  # Brian is a dog.
>>> ClassAssertion("a:CanTalk", "a:Brian")  # Brian can talk.

The following class expression describes all dogs that can talk; furthermore, a:Brian is classified as its instance.

>>> ObjectIntersectionOf(["a:Dog", "a:CanTalk"])

Initialize the model with a list of class expressions.

Attributes Summary

property_type

Attributes Documentation

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