public class OWLObjectHasValueImpl extends OWLValueRestrictionImpl<OWLIndividual> implements OWLObjectHasValue
Constructor and Description |
---|
OWLObjectHasValueImpl(OWLObjectPropertyExpression property,
OWLIndividual value) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asSomeValuesFrom()
A convenience method that obtains this restriction as an existential restriction with a
nominal filler.
|
OWLObjectPropertyExpression |
getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
getFiller
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex
components, getValue, initHashCode
isObjectRestriction
isDataRestriction
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLObjectHasValueImpl(OWLObjectPropertyExpression property, OWLIndividual value)
property
- propertyvalue
- valuepublic OWLObjectPropertyExpression getProperty()
OWLObjectRestriction
getProperty
in interface HasProperty<OWLObjectPropertyExpression>
getProperty
in interface OWLObjectRestriction
getProperty
in interface OWLRestriction
public OWLClassExpression asSomeValuesFrom()
OWLHasValueRestriction
asSomeValuesFrom
in interface OWLHasValueRestriction<OWLIndividual>
Copyright © 2020 The University of Manchester. All rights reserved.