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

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

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

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, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
 

Method Detail

getFiller

F getFiller()