P
- property typeR
- range typeF
- range typepublic abstract class OWLQuantifiedRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> extends OWLRestrictionImpl<R,P,F> implements OWLQuantifiedRestriction<R,P,F>
Constructor and Description |
---|
OWLQuantifiedRestrictionImpl(P property,
F filler) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
F |
getFiller() |
getProperty, isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getProperty, isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
public F getFiller()
getFiller
in interface HasFiller<F extends OWLPropertyRange>
getFiller
in interface OWLQuantifiedRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>
public boolean equals(Object obj)
equals
in class OWLRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>
Copyright © 2017 The University of Manchester. All Rights Reserved.