ObjectAllValuesFrom

class ObjectAllValuesFrom(object_property_expression, class_expression)

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

Parameters:

• object_property_expression (ObjectPropertyExpression)

• class_expression (ClassExpression)

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