public interface OWLObjectComplementOf extends OWLBooleanClassExpression
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
getOperand() |
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
OWLClassExpression getOperand()
Copyright © 2017 The University of Manchester. All Rights Reserved.