org.semanticweb.owlapi.model

Interface OWLQuantifiedDataRestriction

All Superinterfaces:

AsOWLClass, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLDataRange>, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLDataRestriction, OWLObject, OWLPropertyRange, OWLQuantifiedRestriction<OWLDataRange>, OWLRestriction, Serializable, SWRLPredicate

All Known Subinterfaces:

OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataSomeValuesFrom

All Known Implementing Classes:

OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataSomeValuesFromImpl

public interface OWLQuantifiedDataRestriction
extends OWLQuantifiedRestriction<OWLDataRange>, OWLDataRestriction

A quantified data restriction.

Method Summary

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

components, initHashCode

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

getFiller

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

getProperty, isDataRestriction

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

isObjectRestriction

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

accept, accept, asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

asOWLClass, isOWLClass