owlapy.model.OWLObjectHasValue¶

class owlapy.model.OWLObjectHasValue(property: owlapy.model.OWLObjectPropertyExpression, individual: owlapy.model.OWLIndividual)[source]¶

Bases: owlapy.model.OWLHasValueRestriction[owlapy.model.OWLIndividual], owlapy.model.OWLObjectRestriction

Represents an ObjectHasValue class expression in the OWL 2 Specification.

Parameters:

property – The property that the restriction acts along.
individual – individual for restriction

Returns:

a HasValue restriction with specified property and value

Methods

`as_some_values_from`	A convenience method that obtains this restriction as an existential restriction with a nominal filler.
`get_filler`	Gets the filler for this restriction.
`get_nnf`	Gets the negation normal form of the complement of this expression.
`get_object_complement_of`	Gets the object complement of this class expression
`get_property`	Returns: property being restricted
`is_anonymous`
`is_data_restriction`	Determines if this is a data restriction
`is_object_restriction`	Determines if this is an object restriction
`is_owl_nothing`	Determines if this expression is the built in class owl:Nothing.
`is_owl_thing`	Determines if this expression is the built in class owl:Thing.

Attributes

type_index

as_some_values_from() → owlapy.model.OWLClassExpression [source]¶

A convenience method that obtains this restriction as an existential restriction with a nominal filler.

Returns:: The existential equivalent of this value restriction. simp(HasValue(p a)) = some(p {a})

get_filler() → _T ¶

Gets the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value). For quantified restriction this will be a class expression or a data range.

Returns:: the value

get_nnf() → owlapy.model.OWLClassExpression ¶

Gets the negation normal form of the complement of this expression.

Returns:: A expression that represents the NNF of the complement of this expression.

get_object_complement_of() → owlapy.model.OWLObjectComplementOf ¶

Gets the object complement of this class expression

Returns:: A class expression that is the complement of this class expression.

get_property() → owlapy.model.OWLObjectPropertyExpression [source]¶: Returns: property being restricted

is_anonymous() → bool¶

is_data_restriction() → bool¶

Determines if this is a data restriction

Returns:: True if this is a data restriction

is_object_restriction() → bool¶

Determines if this is an object restriction

Returns:: True if this is an object restriction

is_owl_nothing() → bool¶: Determines if this expression is the built in class owl:Nothing. This method does not determine if the class is equivalent to owl:Nothing.

is_owl_thing() → bool¶

Determines if this expression is the built in class owl:Thing. This method does not determine if the class is equivalent to owl:Thing.

Returns:: True if this expression is owl:Thing

type_index: Final = 3007¶