org.coode.oppl.datafactory

Class OPPLOWLDifferentIndividualsAxiom

java.lang.Object

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

org.coode.oppl.datafactory.OPPLOWLDifferentIndividualsAxiom

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom, org.semanticweb.owlapi.model.OWLIndividualAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryAxiom, org.semanticweb.owlapi.model.OWLNaryIndividualAxiom, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLSubClassOfAxiomSetShortCut

public class OPPLOWLDifferentIndividualsAxiom
extends AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLIndividual>
implements org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

Author:

Luigi Iannone

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OPPLOWLDifferentIndividualsAxiom(OPPLOWLDataFactory dataFactory, InlineSet<org.semanticweb.owlapi.model.OWLIndividual> individuals, 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.OWLDifferentIndividualsAxiom>	asPairwiseAxioms()
int	compareTo(org.semanticweb.owlapi.model.OWLObject o)
boolean	containsAnonymousIndividuals()
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.OWLDifferentIndividualsAxiom	getAxiomWithoutAnnotations()
Set<org.semanticweb.owlapi.model.OWLClass>	getClassesInSignature()
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDataPropertiesInSignature()
Set<org.semanticweb.owlapi.model.OWLDatatype>	getDatatypesInSignature()
Set<org.semanticweb.owlapi.model.OWLIndividual>	getIndividuals()
List<org.semanticweb.owlapi.model.OWLIndividual>	getIndividualsAsList()
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

OPPLOWLDifferentIndividualsAxiom

public OPPLOWLDifferentIndividualsAxiom(OPPLOWLDataFactory dataFactory,
                                        InlineSet<org.semanticweb.owlapi.model.OWLIndividual> individuals,
                                        Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
                                        boolean shouldExpandAsPairWise)

Parameters:

dataFactory - dataFactory

individuals - individuals

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

isAnnotationAxiom

public boolean isAnnotationAxiom()

Specified by:

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

getIndividuals

public Set<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals()

Specified by:

getIndividuals in interface org.semanticweb.owlapi.model.OWLNaryIndividualAxiom

getIndividualsAsList

public List<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsAsList()

Specified by:

getIndividualsAsList in interface org.semanticweb.owlapi.model.OWLNaryIndividualAxiom

asOWLSubClassOfAxioms

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

Specified by:

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

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

getDataPropertiesInSignature

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

Specified by:

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

asPairwiseAxioms

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

Specified by:

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

Specified by:

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

getObjectPropertiesInSignature

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

Specified by:

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

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 o)

Specified by:

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

getAxiomWithoutAnnotations

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

Specified by:

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

Specified by:

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

getClassesInSignature

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

Specified by:

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

containsAnonymousIndividuals

public boolean containsAnonymousIndividuals()

Specified by:

containsAnonymousIndividuals in interface org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

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

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