Package com.github.owlcs.ontapi.owlapi.axioms

Class EquivalentClassesAxiomImpl

java.lang.Object

com.github.owlcs.ontapi.owlapi.OWLObjectImpl

com.github.owlcs.ontapi.owlapi.axioms.AxiomImpl

com.github.owlcs.ontapi.owlapi.axioms.LogicalAxiomImpl

com.github.owlcs.ontapi.owlapi.axioms.ClassAxiomImpl

com.github.owlcs.ontapi.owlapi.axioms.NaryClassAxiomImpl

com.github.owlcs.ontapi.owlapi.axioms.EquivalentClassesAxiomImpl

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature, org.semanticweb.owlapi.model.HasAnnotations, org.semanticweb.owlapi.model.HasAnonymousIndividuals, org.semanticweb.owlapi.model.HasClassesInSignature, org.semanticweb.owlapi.model.HasComponents, org.semanticweb.owlapi.model.HasContainsEntityInSignature, org.semanticweb.owlapi.model.HasDataPropertiesInSignature, org.semanticweb.owlapi.model.HasDatatypesInSignature, org.semanticweb.owlapi.model.HasHashIndex, org.semanticweb.owlapi.model.HasIndex, org.semanticweb.owlapi.model.HasIndividualsInSignature, org.semanticweb.owlapi.model.HasObjectPropertiesInSignature, org.semanticweb.owlapi.model.HasOperands<org.semanticweb.owlapi.model.OWLClassExpression>, org.semanticweb.owlapi.model.HasSignature, org.semanticweb.owlapi.model.IsAnonymous, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLClassAxiom, org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryAxiom<org.semanticweb.owlapi.model.OWLClassExpression>, org.semanticweb.owlapi.model.OWLNaryClassAxiom, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLSubClassOfAxiomSetShortCut

public class EquivalentClassesAxiomImpl
extends NaryClassAxiomImpl
implements org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

See Also:

• Serialized Form

Field Summary

Fields inherited from class com.github.owlcs.ontapi.owlapi.axioms.NaryClassAxiomImpl

classes

Fields inherited from class com.github.owlcs.ontapi.owlapi.axioms.AxiomImpl

annotations

Fields inherited from class com.github.owlcs.ontapi.owlapi.OWLObjectImpl

DEFAULT_COMPARATOR, hashCode, NO_ANNOTATIONS

Constructor Summary

Constructors

Constructor	Description
EquivalentClassesAxiomImpl(Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression> classes, Collection<org.semanticweb.owlapi.model.OWLAnnotation> annotations)

Method Summary

Modifier and Type	Method	Description
Collection<org.semanticweb.owlapi.model.OWLSubClassOfAxiom>	asOWLSubClassOfAxioms()
Collection<org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom>	asPairwiseAxioms()
boolean	containsNamedEquivalentClass()
boolean	containsOWLNothing()
boolean	containsOWLThing()
<T extends org.semanticweb.owlapi.model.OWLAxiom> T	getAnnotatedAxiom(Stream<org.semanticweb.owlapi.model.OWLAnnotation> anns)
EquivalentClassesAxiomImpl	getAxiomWithoutAnnotations()
static boolean	isNamed(org.semanticweb.owlapi.model.OWLClassExpression ce)	Answers true if the given class expression is a named class, but not owl:Thing and not owl:Nothing.
Stream<org.semanticweb.owlapi.model.OWLClass>	namedClasses()
Collection<org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom>	splitToAnnotatedPairs()

Methods inherited from class com.github.owlcs.ontapi.owlapi.axioms.NaryClassAxiomImpl

classExpressions, contains, getClassExpressionsMinus, getOperandsAsList

Methods inherited from class com.github.owlcs.ontapi.owlapi.axioms.AxiomImpl

annotations, annotationsAsList, getNNF, isAnnotated

Methods inherited from class com.github.owlcs.ontapi.owlapi.OWLObjectImpl

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareIterators, compareTo, containsEntityInSignature, createSet, createSet, createSortedSet, createSortedSet, dataPropertiesInSignature, datatypesInSignature, equalIterators, equals, equalStreams, forOutput, getAnnotationPropertiesInSignature, getAnnotationPropertySet, getAnonymousIndividuals, getAnonymousIndividualSet, getClassesInSignature, getClassExpressionSet, getDataPropertiesInSignature, getDataPropertySet, getDatatypeSet, getDatatypesInSignature, getIndividualsInSignature, getNamedClassSet, getNamedIndividualSet, getNestedClassExpressions, getObjectPropertiesInSignature, getObjectPropertySet, getSignature, getSignatureSet, hashCode, individualsInSignature, mergeAnnotations, nestedClassExpressions, notSame, objectPropertiesInSignature, prepareAnnotations, signature, toContentList, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotations

annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

anonymousIndividuals, getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

classesInSignature, getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

dataPropertiesInSignature, getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

datatypesInSignature, getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature, individualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature, objectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasOperands

getOperandsAsList

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature, signature, unsortedSignature

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

isAnonymous, isNamed

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex

Methods inherited from interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

accept, accept, accept, accept, getAxiomType, getNamedClasses, hashIndex

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiom

isLogicalAxiom

Methods inherited from interface org.semanticweb.owlapi.model.OWLNaryAxiom

allMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, forEach, forEachAllPairs, walkAllPairwise, walkPairwise

Methods inherited from interface org.semanticweb.owlapi.model.OWLNaryClassAxiom

classExpressions, components, componentsAnnotationsFirst, componentsWithoutAnnotations, contains, getClassExpressions, getClassExpressionsAsList, getClassExpressionsMinus, initHashCode, operands

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

getNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions

Constructor Details

EquivalentClassesAxiomImpl

public EquivalentClassesAxiomImpl(Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression> classes,
 Collection<org.semanticweb.owlapi.model.OWLAnnotation> annotations)

Parameters:

classes - a Collection of OWLClassExpressions, the equivalent classes

annotations - a Collection of OWLAnnotations

Method Details

isNamed

public static boolean isNamed(org.semanticweb.owlapi.model.OWLClassExpression ce)

Answers true if the given class expression is a named class, but not owl:Thing and not owl:Nothing.

Parameters:

ce - OWLClassExpression, not null

Returns:

boolean

getAxiomWithoutAnnotations

public EquivalentClassesAxiomImpl getAxiomWithoutAnnotations()

Specified by:

getAxiomWithoutAnnotations in interface org.semanticweb.owlapi.model.OWLAxiom

Specified by:

getAxiomWithoutAnnotations in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

getAnnotatedAxiom

public <T extends org.semanticweb.owlapi.model.OWLAxiom>
T getAnnotatedAxiom(@Nonnull
 Stream<org.semanticweb.owlapi.model.OWLAnnotation> anns)

Specified by:

getAnnotatedAxiom in interface org.semanticweb.owlapi.model.OWLAxiom

asPairwiseAxioms

public Collection<org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom> asPairwiseAxioms()

Specified by:

asPairwiseAxioms in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

Specified by:

asPairwiseAxioms in interface org.semanticweb.owlapi.model.OWLNaryAxiom<org.semanticweb.owlapi.model.OWLClassExpression>

splitToAnnotatedPairs

public Collection<org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom> splitToAnnotatedPairs()

Specified by:

splitToAnnotatedPairs in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

Specified by:

splitToAnnotatedPairs in interface org.semanticweb.owlapi.model.OWLNaryAxiom<org.semanticweb.owlapi.model.OWLClassExpression>

containsNamedEquivalentClass

public boolean containsNamedEquivalentClass()

Specified by:

containsNamedEquivalentClass in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

containsOWLNothing

public boolean containsOWLNothing()

Specified by:

containsOWLNothing in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

containsOWLThing

public boolean containsOWLThing()

Specified by:

containsOWLThing in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

namedClasses

public Stream<org.semanticweb.owlapi.model.OWLClass> namedClasses()

Specified by:

namedClasses in interface org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

asOWLSubClassOfAxioms

public Collection<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> asOWLSubClassOfAxioms()

Specified by:

asOWLSubClassOfAxioms in interface org.semanticweb.owlapi.model.OWLSubClassOfAxiomSetShortCut