uk.ac.manchester.cs.owl.owlapi
Class OWLDataHasValueImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl<R,P,P>
uk.ac.manchester.cs.owl.owlapi.OWLValueRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLLiteral>
uk.ac.manchester.cs.owl.owlapi.OWLDataHasValueImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLDataHasValue, OWLHasValueRestriction<OWLDataRange,OWLDataPropertyExpression,OWLLiteral>, OWLObject, OWLPropertyRange, OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataPropertyExpression>, SWRLPredicate
public class OWLDataHasValueImpl
- extends OWLValueRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLLiteral>
- implements OWLDataHasValue
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression |
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing |
OWLDataHasValueImpl
public OWLDataHasValueImpl(OWLDataFactory dataFactory,
OWLDataPropertyExpression property,
OWLLiteral value)
getClassExpressionType
public ClassExpressionType getClassExpressionType()
- Gets the class expression type for this class expression
- Specified by:
getClassExpressionType
in interface OWLClassExpression
- Returns:
- The class expression type
isObjectRestriction
public boolean isObjectRestriction()
- Description copied from interface:
OWLRestriction
- Determines if this is an object restriction.
- Specified by:
isObjectRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataPropertyExpression>
- Returns:
true
if this is an object restriction, otherwise false
isDataRestriction
public boolean isDataRestriction()
- Description copied from interface:
OWLRestriction
- Determines if this is a data restriction.
- Specified by:
isDataRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataPropertyExpression>
- Returns:
true
if this is a data restriction, otherwise false
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLValueRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLLiteral>
asSomeValuesFrom
public OWLClassExpression asSomeValuesFrom()
- Description copied from interface:
OWLHasValueRestriction
- A convenience method that obtains this restriction as an existential
restriction with a nominal filler.
- Specified by:
asSomeValuesFrom
in interface OWLHasValueRestriction<OWLDataRange,OWLDataPropertyExpression,OWLLiteral>
- Returns:
- The existential equivalent of this value restriction.
simp(HasValue(p a)) = some(p {a})
accept
public void accept(OWLClassExpressionVisitor visitor)
- Description copied from interface:
OWLClassExpression
- Accepts a visit from an
OWLExpressionVisitor
- Specified by:
accept
in interface OWLClassExpression
- Parameters:
visitor
- The visitor that wants to visit
accept
public void accept(OWLObjectVisitor visitor)
- Specified by:
accept
in interface OWLObject
accept
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLClassExpression
accept
public <O> O accept(OWLObjectVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLObject