public class OWLClassImpl extends OWLClassExpressionImpl implements OWLClass, Serializable
asOWLDataProperty, isOWLDataProperty
asOWLAnnotationProperty, isOWLAnnotationProperty
asOWLObjectProperty, isOWLObjectProperty
Constructor and Description |
---|
OWLClassImpl(IRI iri) |
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.
|
Stream<OWLClassExpression> |
conjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
boolean |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
Stream<OWLClassExpression> |
disjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
OWLClassExpression |
getComplementNNF()
Gets the negation normal form of the complement of this expression.
|
IRI |
getIRI()
Gets the IRI of this object.
|
OWLClassExpression |
getNNF()
Gets this expression in negation normal form.
|
OWLClassExpression |
getObjectComplementOf()
Gets the object complement of this class expression.
|
boolean |
isBuiltIn()
Determines if this entity is a built in entity.
|
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.
|
String |
toStringID() |
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, accept, accept, accept, accept, getClassExpressionType, getEntityType, hashIndex, isBottomEntity, isClassExpressionLiteral, isOWLClass, isTopEntity, typeIndex
components, initHashCode
isAnonymous, isType
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isAxiom, isIndividual, isIRI, isOntology, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
componentsAnnotationsFirst, componentsWithoutAnnotations
isNamed
asOWLClass
asOWLDataProperty, isOWLDataProperty
asOWLDatatype, isOWLDatatype
asOWLAnnotationProperty, isOWLAnnotationProperty
asOWLNamedIndividual, isOWLNamedIndividual
asOWLObjectProperty, isOWLObjectProperty
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLClassImpl(IRI iri)
iri
- class iripublic OWLClassExpression getObjectComplementOf()
OWLClassExpression
getObjectComplementOf
in interface OWLClassExpression
public String toStringID()
toStringID
in interface OWLEntity
toString()
representation of the IRIpublic boolean isBuiltIn()
OWLEntity
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 Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet
in interface OWLClassExpression
public Stream<OWLClassExpression> conjunctSet()
OWLClassExpression
conjunctSet
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
public OWLClassExpression getComplementNNF()
OWLClassExpression
getComplementNNF
in interface OWLClassExpression
public Stream<OWLClassExpression> disjunctSet()
OWLClassExpression
disjunctSet
in interface OWLClassExpression
Copyright © 2020 The University of Manchester. All rights reserved.