Package org.semanticweb.owlapi.util

Class NamedConjunctChecker

java.lang.Object
org.semanticweb.owlapi.util.NamedConjunctChecker
public class NamedConjunctChecker extends Object
A utility class which checks if a class expression has a named conjunct or a specific named conjunct.
Since:
2.0.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Constructor Details

    • NamedConjunctChecker

      public NamedConjunctChecker()

  • Method Details

    • isNamedConjunct

      public boolean isNamedConjunct(OWLClass conj, OWLClassExpression classExpression)
      Parameters:
      conj - The conjunct to check for
      classExpression - The expression to be checked
      Returns:
      true if a named class is a conjunct in a given class expression. For class expressions which aren't named classes or object intersections this method will always return false.

    • hasNamedConjunct

      public boolean hasNamedConjunct(OWLClassExpression classExpression)
      Checks whether the specified expression has a named conjunct. For For class expressions which aren't named classes or object intersections this method will always return false.
      Parameters:
      classExpression - The expression to be checked.
      Returns:
      true if the expression is in fact a named class ( OWLClass) or if the expression is an intersection that has a named operand (included nested intersections), otherwise false

    • getNamedConjuncts

      public Set<OWLClass> getNamedConjuncts(OWLClassExpression classExpression)
      Gets the named conjuncts for the specified expression.
      Parameters:
      classExpression - The expression whose conjuncts are to be retrieved.
      Returns:
      A set containing the named conjuncts of the specified expression. If the expression is not a named class or an intersection then the set will definitely be empty.