org.coode.oppl.datafactory

Class OPPLOWLDisjointClassesAxiom

java.lang.Object

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

org.coode.oppl.datafactory.OPPLOWLDisjointClassesAxiom

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLClassAxiom, org.semanticweb.owlapi.model.OWLDisjointClassesAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryAxiom, org.semanticweb.owlapi.model.OWLNaryClassAxiom, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLSubClassOfAxiomSetShortCut

public class OPPLOWLDisjointClassesAxiom
extends AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLClassExpression>
implements org.semanticweb.owlapi.model.OWLDisjointClassesAxiom

Author:

Luigi Iannone

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OPPLOWLDisjointClassesAxiom(OPPLOWLDataFactory dataFactory, InlineSet<org.semanticweb.owlapi.model.OWLClassExpression> classExpressions, Set<? extends 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)
Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom>	asOWLSubClassOfAxioms()
Set<org.semanticweb.owlapi.model.OWLDisjointClassesAxiom>	asPairwiseAxioms()
int	compareTo(org.semanticweb.owlapi.model.OWLObject arg0)
boolean	contains(org.semanticweb.owlapi.model.OWLClassExpression ce)
boolean	equals(Object obj)
boolean	equalsIgnoreAnnotations(org.semanticweb.owlapi.model.OWLAxiom axiom)
org.semanticweb.owlapi.model.OWLAxiom	getAnnotatedAxiom(Set<org.semanticweb.owlapi.model.OWLAnnotation> annotations)
Set<org.semanticweb.owlapi.model.OWLAnnotation>	getAnnotations()
Set<org.semanticweb.owlapi.model.OWLAnnotation>	getAnnotations(org.semanticweb.owlapi.model.OWLAnnotationProperty annotationProperty)
Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual>	getAnonymousIndividuals()
org.semanticweb.owlapi.model.AxiomType<?>	getAxiomType()
org.semanticweb.owlapi.model.OWLDisjointClassesAxiom	getAxiomWithoutAnnotations()
Set<org.semanticweb.owlapi.model.OWLClass>	getClassesInSignature()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	getClassExpressions()
List<org.semanticweb.owlapi.model.OWLClassExpression>	getClassExpressionsAsList()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	getClassExpressionsMinus(org.semanticweb.owlapi.model.OWLClassExpression... desc)
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDataPropertiesInSignature()
Set<org.semanticweb.owlapi.model.OWLDatatype>	getDatatypesInSignature()
Set<org.semanticweb.owlapi.model.OWLNamedIndividual>	getIndividualsInSignature()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	getNestedClassExpressions()
org.semanticweb.owlapi.model.OWLAxiom	getNNF()
Set<org.semanticweb.owlapi.model.OWLObjectProperty>	getObjectPropertiesInSignature()
Set<org.semanticweb.owlapi.model.OWLEntity>	getSignature()
int	hashCode()
boolean	isAnnotated()
boolean	isAnnotationAxiom()
boolean	isBottomEntity()
boolean	isLogicalAxiom()
boolean	isOfType(org.semanticweb.owlapi.model.AxiomType<?>... axiomTypes)
boolean	isOfType(Set<org.semanticweb.owlapi.model.AxiomType<?>> types)
boolean	isTopEntity()
boolean	shouldExpandAsPairWise()
String	toString()

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

Constructor Detail

OPPLOWLDisjointClassesAxiom

public OPPLOWLDisjointClassesAxiom(OPPLOWLDataFactory dataFactory,
                                   InlineSet<org.semanticweb.owlapi.model.OWLClassExpression> classExpressions,
                                   Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
                                   boolean shouldExpandAsPairWise)

Parameters:

dataFactory - dataFactory

classExpressions - classExpressions

annotations - annotations

shouldExpandAsPairWise - shouldExpandAsPairWise

Method Detail

shouldExpandAsPairWise

public boolean shouldExpandAsPairWise()

Returns:

the shouldExpandAsPairwise

getSignature

public Set<org.semanticweb.owlapi.model.OWLEntity> getSignature()

Specified by:

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

getAnonymousIndividuals

public Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual> getAnonymousIndividuals()

Specified by:

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

getClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getClassExpressions()

Specified by:

getClassExpressions in interface org.semanticweb.owlapi.model.OWLNaryClassAxiom

asOWLSubClassOfAxioms

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

Specified by:

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

asPairwiseAxioms

public Set<org.semanticweb.owlapi.model.OWLDisjointClassesAxiom> asPairwiseAxioms()

Specified by:

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

Specified by:

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

accept

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

Specified by:

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

accept

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

Specified by:

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

getClassExpressionsAsList

public List<org.semanticweb.owlapi.model.OWLClassExpression> getClassExpressionsAsList()

Specified by:

getClassExpressionsAsList in interface org.semanticweb.owlapi.model.OWLNaryClassAxiom

getDataPropertiesInSignature

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDataPropertiesInSignature()

Specified by:

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

getObjectPropertiesInSignature

public Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectPropertiesInSignature()

Specified by:

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

getClassExpressionsMinus

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getClassExpressionsMinus(org.semanticweb.owlapi.model.OWLClassExpression... desc)

Specified by:

getClassExpressionsMinus in interface org.semanticweb.owlapi.model.OWLNaryClassAxiom

getIndividualsInSignature

public Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getIndividualsInSignature()

Specified by:

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

getDatatypesInSignature

public Set<org.semanticweb.owlapi.model.OWLDatatype> getDatatypesInSignature()

Specified by:

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

getNestedClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getNestedClassExpressions()

Specified by:

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

accept

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

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

compareTo

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

Specified by:

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

getClassesInSignature

public Set<org.semanticweb.owlapi.model.OWLClass> getClassesInSignature()

Specified by:

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

getAxiomWithoutAnnotations

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

Specified by:

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

Specified by:

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

getAnnotations

public Set<org.semanticweb.owlapi.model.OWLAnnotation> getAnnotations()

Specified by:

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

getAnnotations

public Set<org.semanticweb.owlapi.model.OWLAnnotation> getAnnotations(org.semanticweb.owlapi.model.OWLAnnotationProperty annotationProperty)

Specified by:

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

contains

public boolean contains(org.semanticweb.owlapi.model.OWLClassExpression ce)

Specified by:

contains in interface org.semanticweb.owlapi.model.OWLNaryClassAxiom

getAnnotatedAxiom

public org.semanticweb.owlapi.model.OWLAxiom getAnnotatedAxiom(Set<org.semanticweb.owlapi.model.OWLAnnotation> annotations)

Specified by:

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

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

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

isOfType

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

Specified by:

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

isOfType

public boolean isOfType(Set<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