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, isOWLThingaccept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturehashIndexcomponents, componentsAnnotationsFirst, componentsWithoutAnnotationsisAnonymous, isNamedasOWLClass, isOWLClassdefault boolean isObjectRestriction()
true if this is an object restriction, otherwise falsedefault boolean isDataRestriction()
true if this is a data restriction, otherwise falseOWLPropertyExpression getProperty()
Copyright © 2019 The University of Manchester. All rights reserved.