public interface OWLClassExpression extends OWLObject, OWLPropertyRange, SWRLPredicate
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor)
Accepts a visitor
|
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.
|
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
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 |
isAnonymous()
Determines whether or not this expression represents an anonymous class
expression.
|
boolean |
isClassExpressionLiteral()
Determines if this class is a literal.
|
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.
|
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
ClassExpressionType getClassExpressionType()
boolean isAnonymous()
true
if this is an anonymous class expression, or
false
if this is a named class ( OWLClass
)boolean isClassExpressionLiteral()
true
if this is a literal, or false if this is not a
literal.OWLClass asOWLClass()
OWLClass
without the need for
casting. The general pattern of use is to use the isAnonymous
to
first checkOWLClass
.OWLRuntimeException
- if this class expression is not an OWLClass
.boolean isOWLThing()
true
if this expression is owl:Thing, or false
if
this expression is not owl:Thingboolean isOWLNothing()
true
if this expression is owl:Nothing, or false
if this expression is not owl:Nothing.OWLClassExpression getNNF()
OWLClassExpression getComplementNNF()
OWLClassExpression getObjectComplementOf()
Set<OWLClassExpression> asConjunctSet()
boolean containsConjunct(OWLClassExpression ce)
ce
- The conjunct to test fortrue
if this class expression is equal to ce
or
if this class expression is an ObjectIntersectionOf
(possibly nested withing another ObjectIntersectionOf
)
that contains ce
, otherwise false
.Set<OWLClassExpression> asDisjunctSet()
void accept(OWLClassExpressionVisitor visitor)
visitor
- The visitor<O> O accept(OWLClassExpressionVisitorEx<O> visitor)
O
- visitor return typevisitor
- The visitorCopyright © 2017 The University of Manchester. All Rights Reserved.