ObjectAllValuesFrom

class ObjectAllValuesFrom(object_property_expression: ObjectPropertyExpression | URIRef | Reference | Referenced | str | IdentifierBox, class_expression: ClassExpression | URIRef | Reference | Referenced | str | IdentifierBox)[source]

Bases: _ObjectValuesFrom

A class expression defined in 8.2.2 Universal Quantification.

Instantiate a quantification.

Attributes Summary

restriction_predicate

The predicate used in the OWL restriction, either owl:someValuesFrom or owl:allValuesFrom

Attributes Documentation

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

The predicate used in the OWL restriction, either owl:someValuesFrom or owl:allValuesFrom