public interface OWLRestriction extends OWLAnonymousClassExpression
Modifier and Type | Method and Description |
---|---|
OWLPropertyExpression |
getProperty() |
boolean |
isDataRestriction()
Determines if this is a data restriction.
|
boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
boolean isObjectRestriction()
true
if this is an object restriction, otherwise
false
boolean isDataRestriction()
true
if this is a data restriction, otherwise
false
OWLPropertyExpression getProperty()
Copyright © 2020 The University of Manchester. All rights reserved.