public abstract class OWLQuantifiedObjectRestrictionImpl extends OWLQuantifiedRestrictionImpl<OWLClassExpression> implements OWLObjectRestriction
Constructor and Description |
---|
OWLQuantifiedObjectRestrictionImpl(OWLObjectPropertyExpression property,
OWLClassExpression filler) |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
getFiller
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
isObjectRestriction
isDataRestriction
accept, accept, asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
components, componentsAnnotationsFirst, componentsWithoutAnnotations
isAnonymous, isNamed
asOWLClass, isOWLClass
components, initHashCode
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLQuantifiedObjectRestrictionImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
property
- propertyfiller
- fillerpublic OWLObjectPropertyExpression getProperty()
OWLObjectRestriction
getProperty
in interface HasProperty<OWLObjectPropertyExpression>
getProperty
in interface OWLObjectRestriction
getProperty
in interface OWLRestriction
Copyright © 2020 The University of Manchester. All rights reserved.