uk.ac.manchester.cs.owl.owlapi
Class OWLObjectIntersectionOfImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLNaryBooleanClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLObjectIntersectionOfImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLBooleanClassExpression, OWLClassExpression, OWLNaryBooleanClassExpression, OWLObject, OWLObjectIntersectionOf, OWLPropertyRange, SWRLPredicate
public class OWLObjectIntersectionOfImpl
- extends OWLNaryBooleanClassExpressionImpl
- implements OWLObjectIntersectionOf
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
OWLObjectIntersectionOfImpl
public OWLObjectIntersectionOfImpl(OWLDataFactory dataFactory,
java.util.Set<? extends OWLClassExpression> operands)
getClassExpressionType
public ClassExpressionType getClassExpressionType()
- Gets the class expression type for this class expression
- Specified by:
getClassExpressionType
in interface OWLClassExpression
- Returns:
- The class expression type
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLNaryBooleanClassExpressionImpl
accept
public void accept(OWLClassExpressionVisitor visitor)
- Description copied from interface:
OWLClassExpression
- Accepts a visit from an
OWLExpressionVisitor
- Specified by:
accept
in interface OWLClassExpression
- Parameters:
visitor
- The visitor that wants to visit
accept
public void accept(OWLObjectVisitor visitor)
- Specified by:
accept
in interface OWLObject
accept
public <O> O accept(OWLObjectVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLObject
accept
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLClassExpression
asConjunctSet
public java.util.Set<OWLClassExpression> asConjunctSet()
- Description copied from interface:
OWLClassExpression
- Interprets this expression as a conjunction and returns the conjuncts. This method does not normalise the
expression (full CNF is not computed).
- Specified by:
asConjunctSet
in interface OWLClassExpression
- Overrides:
asConjunctSet
in class OWLAnonymousClassExpressionImpl
- Returns:
- The conjucts of this expression if it is a conjunction (object intersection of), or otherwise a
singleton set containing this expression. Note that nested conjunctions will be flattened, for example,
calling this method on (A and B) and C will return the set {A, B, C}
containsConjunct
public boolean containsConjunct(OWLClassExpression ce)
- Description copied from interface:
OWLClassExpression
- Determines if this class expression contains a particular conjunct. This method does not do any normalisation
such as applying DeMorgans rules.
- Specified by:
containsConjunct
in interface OWLClassExpression
- Overrides:
containsConjunct
in class OWLAnonymousClassExpressionImpl
- Parameters:
ce
- The conjunct to test for
- Returns:
true
if this class expression is equal to ce
or if this class expression
is an ObjectIntersectionOf
(possibly nested withing another ObjectIntersectionOf
)
that contains ce
, otherwise false
.