org.semanticweb.owlapi.model
Interface OWLQuantifiedRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>

All Superinterfaces:
java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, OWLRestriction<R,P,F>, SWRLPredicate
All Known Subinterfaces:
OWLCardinalityRestriction<R,P,F>, OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataSomeValuesFrom, OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectExactCardinality, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectSomeValuesFrom, OWLQuantifiedDataRestriction, OWLQuantifiedObjectRestriction
All Known Implementing Classes:
OWLCardinalityRestrictionImpl, OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataSomeValuesFromImpl, OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectSomeValuesFromImpl, OWLQuantifiedDataRestrictionImpl, OWLQuantifiedObjectRestrictionImpl, OWLQuantifiedRestrictionImpl

public interface OWLQuantifiedRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>
extends OWLRestriction<R,P,F>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006


Method Summary
 F getFiller()
           
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLRestriction
getProperty, isDataRestriction, isObjectRestriction
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
 

Method Detail

getFiller

F getFiller()