Package org.semanticweb.owlapi.model

Interface OWLQuantifiedObjectRestriction

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLClassExpression>, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLObjectPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLObjectRestriction, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression>, OWLRestriction, Serializable, SWRLPredicate

All Known Subinterfaces:

OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectExactCardinality, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectSomeValuesFrom

All Known Implementing Classes:

OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectSomeValuesFromImpl

public interface OWLQuantifiedObjectRestriction
extends OWLQuantifiedRestriction<OWLClassExpression>, OWLObjectRestriction

A quantified object restriction.

Method Summary

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

getProperty

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

getFiller

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

isDataRestriction, isObjectRestriction