Package org.semanticweb.owlapi.model

Interface OWLDataHasValue

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLLiteral>, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLDataRestriction, OWLHasValueRestriction<OWLLiteral>, OWLObject, OWLPropertyRange, OWLRestriction, Serializable, SWRLPredicate

All Known Implementing Classes:

OWLDataHasValueImpl

public interface OWLDataHasValue
extends OWLHasValueRestriction<OWLLiteral>, OWLDataRestriction

Represents DataHasValue retrictions in the OWL 2 Specification.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owlapi.model.OWLDataRestriction

getProperty

Methods inherited from interface org.semanticweb.owlapi.model.OWLHasValueRestriction

asSomeValuesFrom, getFiller, getValue

Methods inherited from interface org.semanticweb.owlapi.model.OWLRestriction

isDataRestriction, isObjectRestriction