org.dllearner.core.owl

Class OWLObjectIntersectionOfImplExt

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

org.dllearner.core.owl.OWLObjectIntersectionOfImplExt

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.OWLObjectIntersectionOf, org.semanticweb.owlapi.model.OWLPropertyRange, org.semanticweb.owlapi.model.SWRLPredicate, uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

public class OWLObjectIntersectionOfImplExt
extends OWLNaryBooleanClassExpressionImplExt
implements org.semanticweb.owlapi.model.OWLObjectIntersectionOf

Since:

Jan 24, 2015 Modification: extend modified super class

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
OWLObjectIntersectionOfImplExt(List<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)
OWLObjectIntersectionOfImplExt(Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> operands)

Method Summary

Modifier and Type	Method and Description
void	accept(org.semanticweb.owlapi.model.OWLClassExpressionVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<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.OWLClassExpression>	asConjunctSet()
boolean	containsConjunct(org.semanticweb.owlapi.model.OWLClassExpression ce)
boolean	equals(Object obj)
org.semanticweb.owlapi.model.ClassExpressionType	getClassExpressionType()

Methods inherited from class org.dllearner.core.owl.OWLNaryBooleanClassExpressionImplExt

addAnonymousIndividualsToSet, addSignatureEntitiesToSet, getOperands, getOperandsAsList, isClassExpressionLiteral

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

asDisjunctSet, asOWLClass, 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.OWLNaryBooleanClassExpression

getOperands, getOperandsAsList

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

asDisjunctSet, asOWLClass, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

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

OWLObjectIntersectionOfImplExt

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

Parameters:

operands - operands

OWLObjectIntersectionOfImplExt

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

Parameters:

operands - operands

Method Detail

getClassExpressionType

public org.semanticweb.owlapi.model.ClassExpressionType getClassExpressionType()

Specified by:

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

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLNaryBooleanClassExpressionImplExt

accept

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

Specified by:

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

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

accept

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

Specified by:

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

asConjunctSet

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

Specified by:

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

Overrides:

asConjunctSet in class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

containsConjunct

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

Specified by:

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

Overrides:

containsConjunct in class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl