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

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousDescription, OWLDescription, OWLObject, OWLPropertyRange, OWLRestriction<P>

All Known Subinterfaces:

OWLCardinalityRestriction<P,F>, OWLDataAllRestriction, OWLDataCardinalityRestriction, OWLDataExactCardinalityRestriction, OWLDataMaxCardinalityRestriction, OWLDataMinCardinalityRestriction, OWLDataSomeRestriction, OWLObjectAllRestriction, OWLObjectCardinalityRestriction, OWLObjectExactCardinalityRestriction, OWLObjectMaxCardinalityRestriction, OWLObjectMinCardinalityRestriction, OWLObjectSomeRestriction

All Known Implementing Classes:

OWLCardinalityRestrictionImpl, OWLDataAllRestrictionImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityRestrictionImpl, OWLDataMaxCardinalityRestrictionImpl, OWLDataMinCardinalityRestrictionImpl, OWLDataSomeRestrictionImpl, OWLObjectAllRestrictionImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityRestrictionImpl, OWLObjectMaxCardinalityRestrictionImpl, OWLObjectMinCardinalityRestrictionImpl, OWLObjectSomeRestrictionImpl, 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.owl.model.OWLRestriction

getProperty

Methods inherited from interface org.semanticweb.owl.model.OWLDescription

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getFiller

F getFiller()