public interface OWLRestriction extends OWLAnonymousClassExpression
Modifier and Type | Method and Description |
---|---|
OWLPropertyExpression |
getProperty() |
default boolean |
isDataRestriction()
Determines if this is a data restriction.
|
default boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
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
default boolean isObjectRestriction()
true
if this is an object restriction, otherwise false
default boolean isDataRestriction()
true
if this is a data restriction, otherwise false
OWLPropertyExpression getProperty()
Copyright © 2020 The University of Manchester. All rights reserved.