public class OWLDisjointUnionAxiomImpl extends OWLClassAxiomImpl implements OWLDisjointUnionAxiom
Constructor and Description |
---|
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLClassExpression> |
classExpressions()
Gets the class expressions which are operands of the disjoint union.
|
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified annotations.
|
OWLDisjointUnionAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
List<OWLClassExpression> |
getOperandsAsList()
Gets the operands as a list.
|
OWLClass |
getOWLClass()
Gets the class which is equivalent to the disjoint union.
|
OWLDisjointClassesAxiom |
getOWLDisjointClassesAxiom()
Gets the part of this axiom that corresponds to an
DisjointClasses axiom. |
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom()
Gets the part of this axiom that corresponds to an
EquivalentClasses axiom. |
Stream<OWLClassExpression> |
operands()
Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent
classes axiom.
|
annotations, annotationsAsList, getNNF, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, components, componentsAnnotationsFirst, componentsWithoutAnnotations, getAxiomType, getClassExpressions, hashIndex, initHashCode
isLogicalAxiom
equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLDisjointUnionAxiomImpl(OWLClass owlClass, List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
owlClass
- unionclassExpressions
- disjoint classes (list must be sorted in the factory)annotations
- annotationspublic Stream<OWLClassExpression> classExpressions()
OWLDisjointUnionAxiom
classExpressions
in interface OWLDisjointUnionAxiom
OWLClass
that is equivalent to the disjoint union.public Stream<OWLClassExpression> operands()
HasOperands
operands
in interface HasOperands<OWLClassExpression>
public List<OWLClassExpression> getOperandsAsList()
HasOperands
getOperandsAsList
in interface HasOperands<OWLClassExpression>
public OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLDisjointUnionAxiom
public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
OWLAxiom
getAnnotatedAxiom
in interface OWLAxiom
T
- typeanns
- The annotations that will be added to existing annotations to annotate the
copy of this axiomOWLAxiom#getAnnotations()
method.public OWLClass getOWLClass()
OWLDisjointUnionAxiom
getOWLClass
in interface OWLDisjointUnionAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom()
OWLDisjointUnionAxiom
EquivalentClasses
axiom.getOWLEquivalentClassesAxiom
in interface OWLDisjointUnionAxiom
EquivalentClasses(CE, CEUnion)
where CEUnion
is the union of the classes returned by
the OWLDisjointUnionAxiom.getClassExpressions()
method and CE
is the class returned by the
OWLDisjointUnionAxiom.getOWLClass()
method.public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom()
OWLDisjointUnionAxiom
DisjointClasses
axiom.getOWLDisjointClassesAxiom
in interface OWLDisjointUnionAxiom
DisjointClasses(CE1, ..., CEn)
where CEi in (CE1, ..., CEn)
is contained in the
classes returned by the OWLDisjointUnionAxiom.getClassExpressions()
method.Copyright © 2020 The University of Manchester. All rights reserved.