org.dllearner.core.owl

Class OWLNaryBooleanClassExpressionImplExt

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

org.dllearner.core.owl.OWLNaryBooleanClassExpressionImplExt

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature, org.semanticweb.owlapi.model.HasAnonymousIndividuals, org.semanticweb.owlapi.model.HasClassesInSignature, org.semanticweb.owlapi.model.HasContainsEntityInSignature, org.semanticweb.owlapi.model.HasDataPropertiesInSignature, org.semanticweb.owlapi.model.HasDatatypesInSignature, org.semanticweb.owlapi.model.HasIndividualsInSignature, org.semanticweb.owlapi.model.HasObjectPropertiesInSignature, org.semanticweb.owlapi.model.HasSignature, org.semanticweb.owlapi.model.IsAnonymous, org.semanticweb.owlapi.model.OWLAnonymousClassExpression, org.semanticweb.owlapi.model.OWLBooleanClassExpression, org.semanticweb.owlapi.model.OWLClassExpression, org.semanticweb.owlapi.model.OWLNaryBooleanClassExpression, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLPropertyRange, org.semanticweb.owlapi.model.SWRLPredicate, uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

Direct Known Subclasses:

OWLObjectIntersectionOfImplExt, OWLObjectUnionOfImplExt

public abstract class OWLNaryBooleanClassExpressionImplExt
extends uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
implements org.semanticweb.owlapi.model.OWLNaryBooleanClassExpression

Since:

Jan 24, 2015 Modification: use a list instead of a set of operands to allow for (A and A) as well as (A or A)

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 26-Oct-2006 modified by, Lorenz Buehmann

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLNaryBooleanClassExpressionImplExt(List<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)
OWLNaryBooleanClassExpressionImplExt(Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)

Method Summary

Modifier and Type	Method and Description
void	addAnonymousIndividualsToSet(Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual> anons)
void	addSignatureEntitiesToSet(Set<org.semanticweb.owlapi.model.OWLEntity> entities)
boolean	equals(Object obj)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	getOperands()
List<org.semanticweb.owlapi.model.OWLClassExpression>	getOperandsAsList()
boolean	isClassExpressionLiteral()

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing

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

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

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

isNamed

Constructor Detail

OWLNaryBooleanClassExpressionImplExt

public OWLNaryBooleanClassExpressionImplExt(Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)

Parameters:

operands - operands

OWLNaryBooleanClassExpressionImplExt

public OWLNaryBooleanClassExpressionImplExt(List<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)

Parameters:

operands - operands

Method Detail

addSignatureEntitiesToSet

public void addSignatureEntitiesToSet(Set<org.semanticweb.owlapi.model.OWLEntity> entities)

Specified by:

addSignatureEntitiesToSet in interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet

public void addAnonymousIndividualsToSet(Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual> anons)

Specified by:

addAnonymousIndividualsToSet in interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

getOperandsAsList

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

Specified by:

getOperandsAsList in interface org.semanticweb.owlapi.model.OWLNaryBooleanClassExpression

getOperands

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

Specified by:

getOperands in interface org.semanticweb.owlapi.model.OWLNaryBooleanClassExpression

isClassExpressionLiteral

public boolean isClassExpressionLiteral()

Specified by:

isClassExpressionLiteral in interface org.semanticweb.owlapi.model.OWLClassExpression

equals

public boolean equals(Object obj)

Overrides:

equals in class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching