public class NamedConjunctChecker extends Object
Constructor and Description |
---|
NamedConjunctChecker() |
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) |
public boolean isNamedConjunct(OWLClass conj, OWLClassExpression classExpression)
conj
- The conjunct to check forclassExpression
- The expression to be checkedpublic boolean hasNamedConjunct(OWLClassExpression classExpression)
classExpression
- The expression to be checked.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
public Set<OWLClass> getNamedConjuncts(OWLClassExpression classExpression)
classExpression
- The expression whose conjuncts are to be retrieved.Copyright © 2020 The University of Manchester. All rights reserved.