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

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.OWLAnonymousClassExpression

isAnonymous

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