public abstract class OWLAnonymousClassExpressionImpl extends OWLClassExpressionImpl implements OWLAnonymousClassExpression
Constructor and Description |
---|
OWLAnonymousClassExpressionImpl() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
Set<OWLClassExpression> |
asDisjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
OWLClass |
asOWLClass()
If this class expression is in fact a named class then this method may be used to obtain the
expression as an
OWLClass without the need for casting. |
boolean |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
OWLClassExpression |
getComplementNNF()
Gets the negation normal form of the complement of this expression.
|
OWLClassExpression |
getNNF()
Gets this expression in negation normal form.
|
OWLClassExpression |
getObjectComplementOf()
Gets the object complement of this class expression.
|
boolean |
isOWLNothing()
Determines if this expression is the built in class owl:Nothing.
|
boolean |
isOWLThing()
Determines if this expression is the built in class owl:Thing.
|
compareTo, containsEntityInSignature, equals, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
accept, accept, getClassExpressionType, isClassExpressionLiteral
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public boolean isOWLThing()
OWLClassExpression
isOWLThing
in interface OWLClassExpression
true
if this expression is owl:Thing, or false
if this expression is
not owl:Thingpublic boolean isOWLNothing()
OWLClassExpression
isOWLNothing
in interface OWLClassExpression
true
if this expression is owl:Nothing, or false
if this expression
is not owl:Nothing.public OWLClassExpression getNNF()
OWLClassExpression
getNNF
in interface OWLClassExpression
public OWLClassExpression getComplementNNF()
OWLClassExpression
getComplementNNF
in interface OWLClassExpression
@Nonnull public OWLClassExpression getObjectComplementOf()
OWLClassExpression
getObjectComplementOf
in interface OWLClassExpression
public OWLClass asOWLClass()
OWLClassExpression
OWLClass
without the need for casting. The general pattern of use is
to use the isAnonymous
or the isNamed
methods to first checkasOWLClass
in interface OWLClassExpression
OWLClass
.public Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet
in interface OWLClassExpression
public boolean containsConjunct(OWLClassExpression ce)
OWLClassExpression
containsConjunct
in interface OWLClassExpression
ce
- The conjunct to test fortrue
if this class expression is equal to ce
or if this class
expression is an ObjectIntersectionOf
(possibly nested within another
ObjectIntersectionOf
) that contains ce
, otherwise false
.public Set<OWLClassExpression> asDisjunctSet()
OWLClassExpression
asDisjunctSet
in interface OWLClassExpression
Copyright © 2020 The University of Manchester. All rights reserved.