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 Summary

Constructors

Constructor and Description
NamedConjunctChecker()

Method Summary

Modifier and Type	Method and Description
Set<OWLClass>	getNamedConjuncts(OWLClassExpression classExpression) Gets the named conjuncts for the specified expression.
boolean	hasNamedConjunct(OWLClassExpression classExpression) Checks whether the specified expression has a named conjunct.
boolean	isNamedConjunct(OWLClass conj, OWLClassExpression classExpression)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NamedConjunctChecker

public NamedConjunctChecker()

Method Detail

isNamedConjunct

public boolean isNamedConjunct(@Nonnull
                               OWLClass conj,
                               @Nonnull
                               OWLClassExpression classExpression)

Parameters:

conj - The conjunct to check for

classExpression - The expression to be checked

Returns:

true ifa 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(@Nonnull
                                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

@Nonnull
public Set<OWLClass> getNamedConjuncts(@Nonnull
                                                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.