public class OWLObjectHasValueImpl extends OWLValueRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLIndividual> implements OWLObjectHasValue
Constructor and Description |
---|
OWLObjectHasValueImpl(OWLObjectPropertyExpression property,
OWLIndividual value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor)
Accepts a visitor
|
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
OWLClassExpression |
asSomeValuesFrom()
A convenience method that obtains this restriction as an existential
restriction with a nominal filler.
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
boolean |
isDataRestriction()
Determines if this is a data restriction.
|
boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
getFiller, getValue
getProperty, isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getValue
getProperty
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
public OWLObjectHasValueImpl(OWLObjectPropertyExpression property, OWLIndividual value)
property
- propertyvalue
- valuepublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLValueRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLIndividual>
public boolean isObjectRestriction()
OWLRestriction
isObjectRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLObjectPropertyExpression>
true
if this is an object restriction, otherwise
false
public boolean isDataRestriction()
OWLRestriction
isDataRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLObjectPropertyExpression>
true
if this is a data restriction, otherwise
false
public OWLClassExpression asSomeValuesFrom()
OWLHasValueRestriction
asSomeValuesFrom
in interface OWLHasValueRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLIndividual>
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
accept
in interface OWLClassExpression
visitor
- The visitorpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
OWLClassExpression
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- The visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2017 The University of Manchester. All Rights Reserved.