org.coode.oppl.datafactory

Class OPPLOWLDisjointDataPropertiesAxiom

java.lang.Object

org.coode.oppl.datafactory.AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>

org.coode.oppl.datafactory.OPPLOWLDisjointDataPropertiesAxiom

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.OWLDataPropertyExpression>, org.semanticweb.owlapi.model.HasSignature, org.semanticweb.owlapi.model.IsAnonymous, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLDataPropertyAxiom, org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>, org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLPropertyAxiom

public class OPPLOWLDisjointDataPropertiesAxiom
extends AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>
implements org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

Author:

Luigi Iannone

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OPPLOWLDisjointDataPropertiesAxiom(OPPLOWLDataFactory dataFactory, InlineSet<org.semanticweb.owlapi.model.OWLDataPropertyExpression> propertyExpressions, Collection<org.semanticweb.owlapi.model.OWLAnnotation> annotations, boolean shouldExpandAsPairWise)

Method Summary

Modifier and Type	Method and Description
void	accept(org.semanticweb.owlapi.model.OWLAxiomVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O> visitor)
void	accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)
Collection<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>	asPairwiseAxioms()
int	compareTo(org.semanticweb.owlapi.model.OWLObject o)
boolean	containsEntityInSignature(org.semanticweb.owlapi.model.OWLEntity owlEntity)
boolean	equals(Object obj)
boolean	equalsIgnoreAnnotations(org.semanticweb.owlapi.model.OWLAxiom axiom)
<T extends org.semanticweb.owlapi.model.OWLAxiom> T	getAnnotatedAxiom(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLAnnotation> annotations)
org.semanticweb.owlapi.model.AxiomType<?>	getAxiomType()
org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom	getAxiomWithoutAnnotations()
org.semanticweb.owlapi.model.OWLAxiom	getNNF()
Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression>	getPropertiesMinus(org.semanticweb.owlapi.model.OWLDataPropertyExpression property)
int	hashCode()
boolean	isAnnotated()
boolean	isAnnotationAxiom()
boolean	isBottomEntity()
boolean	isLogicalAxiom()
boolean	isOfType(org.semanticweb.owlapi.model.AxiomType<?>... axiomTypes)
boolean	isOfType(Collection<org.semanticweb.owlapi.model.AxiomType<?>> types)
boolean	isTopEntity()
java.util.stream.Stream<org.semanticweb.owlapi.model.OWLDataPropertyExpression>	properties()
boolean	shouldExpandAsPairWise()
Collection<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>	splitToAnnotatedPairs()
String	toString()
<T> Collection<T>	walkPairwise(org.semanticweb.owlapi.model.OWLPairwiseVisitor<T,org.semanticweb.owlapi.model.OWLDataPropertyExpression> visitor)

Methods inherited from class org.coode.oppl.datafactory.AbstractInlineSetAxiom

getInlineSet

Methods inherited from class java.lang.Object

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

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

hashIndex

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

components, componentsAnnotationsFirst, componentsWithoutAnnotations, getProperties, initHashCode, operands

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

getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, isAnonymous, isAxiom, isIndividual, isOfType, typeIndex

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

getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isIRI, isOntology, nestedClassExpressions

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

getSignature, signature, unsortedSignature

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.HasObjectPropertiesInSignature

getObjectPropertiesInSignature, objectPropertiesInSignature

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

dataPropertiesInSignature, getDataPropertiesInSignature

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

getIndividualsInSignature, individualsInSignature

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

datatypesInSignature, getDatatypesInSignature

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.OWLNaryAxiom

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

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

getOperandsAsList

Constructor Detail

OPPLOWLDisjointDataPropertiesAxiom

public OPPLOWLDisjointDataPropertiesAxiom(OPPLOWLDataFactory dataFactory,
                                          InlineSet<org.semanticweb.owlapi.model.OWLDataPropertyExpression> propertyExpressions,
                                          Collection<org.semanticweb.owlapi.model.OWLAnnotation> annotations,
                                          boolean shouldExpandAsPairWise)

Parameters:

dataFactory - dataFactory

propertyExpressions - propertyExpressions

annotations - annotations

shouldExpandAsPairWise - shouldExpandAsPairWise

Method Detail

shouldExpandAsPairWise

public boolean shouldExpandAsPairWise()

Returns:

the shouldExpandAsPairwise

containsEntityInSignature

public boolean containsEntityInSignature(org.semanticweb.owlapi.model.OWLEntity owlEntity)

Specified by:

containsEntityInSignature in interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

properties

public java.util.stream.Stream<org.semanticweb.owlapi.model.OWLDataPropertyExpression> properties()

Specified by:

properties in interface org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>

getPropertiesMinus

public Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> getPropertiesMinus(org.semanticweb.owlapi.model.OWLDataPropertyExpression property)

Specified by:

getPropertiesMinus in interface org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>

getAxiomWithoutAnnotations

public org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom getAxiomWithoutAnnotations()

Specified by:

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

Specified by:

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

accept

public void accept(org.semanticweb.owlapi.model.OWLAxiomVisitor visitor)

Specified by:

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

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O> visitor)

Specified by:

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

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

getAnnotatedAxiom

public <T extends org.semanticweb.owlapi.model.OWLAxiom> T getAnnotatedAxiom(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLAnnotation> annotations)

Specified by:

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

accept

public void accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

compareTo

public int compareTo(org.semanticweb.owlapi.model.OWLObject o)

Specified by:

compareTo in interface Comparable<org.semanticweb.owlapi.model.OWLObject>

equalsIgnoreAnnotations

public boolean equalsIgnoreAnnotations(org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

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

isTopEntity

public boolean isTopEntity()

Specified by:

isTopEntity in interface org.semanticweb.owlapi.model.OWLObject

isLogicalAxiom

public boolean isLogicalAxiom()

Specified by:

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

Specified by:

isLogicalAxiom in interface org.semanticweb.owlapi.model.OWLLogicalAxiom

isBottomEntity

public boolean isBottomEntity()

Specified by:

isBottomEntity in interface org.semanticweb.owlapi.model.OWLObject

isAnnotated

public boolean isAnnotated()

Specified by:

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

getAxiomType

public org.semanticweb.owlapi.model.AxiomType<?> getAxiomType()

Specified by:

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

Specified by:

getAxiomType in interface org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

isOfType

public boolean isOfType(org.semanticweb.owlapi.model.AxiomType<?>... axiomTypes)

Specified by:

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

isOfType

public boolean isOfType(Collection<org.semanticweb.owlapi.model.AxiomType<?>> types)

Specified by:

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

getNNF

public org.semanticweb.owlapi.model.OWLAxiom getNNF()

Specified by:

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

isAnnotationAxiom

public boolean isAnnotationAxiom()

Specified by:

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

splitToAnnotatedPairs

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

Specified by:

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

Specified by:

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

walkPairwise

public <T> Collection<T> walkPairwise(org.semanticweb.owlapi.model.OWLPairwiseVisitor<T,org.semanticweb.owlapi.model.OWLDataPropertyExpression> visitor)

Specified by:

walkPairwise in interface org.semanticweb.owlapi.model.OWLNaryAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>

asPairwiseAxioms

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

Specified by:

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

Specified by:

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