public Node<OWLClass> getEquivalentClasses(OWLClassExpression classExpression) { HierarchyNode<AtomicConcept> node=getHierarchyNode(classExpression); return atomicConceptHierarchyNodeToNode(node); } public NodeSet<OWLClass> getSuperClasses(OWLClassExpression classExpression,boolean direct) {
@Override public Node<OWLClass> getEquivalentClasses(OWLClassExpression classExpression) { HierarchyNode<AtomicConcept> node=getHierarchyNode(classExpression); return atomicConceptHierarchyNodeToNode(node); } @Override
protected NodeSet<OWLClass> atomicConceptHierarchyNodesToNodeSet(Collection<HierarchyNode<AtomicConcept>> hierarchyNodes) { Set<Node<OWLClass>> result=new HashSet<Node<OWLClass>>(); for (HierarchyNode<AtomicConcept> hierarchyNode : hierarchyNodes) { Node<OWLClass> node=atomicConceptHierarchyNodeToNode(hierarchyNode); if (node.getSize()!=0) result.add(node); } return new OWLClassNodeSet(result); } protected Node<OWLObjectPropertyExpression> objectPropertyHierarchyNodeToNode(HierarchyNode<Role> hierarchyNode) {
protected NodeSet<OWLClass> atomicConceptHierarchyNodesToNodeSet(Collection<HierarchyNode<AtomicConcept>> hierarchyNodes) { Set<Node<OWLClass>> result=new HashSet<>(); for (HierarchyNode<AtomicConcept> hierarchyNode : hierarchyNodes) { Node<OWLClass> node=atomicConceptHierarchyNodeToNode(hierarchyNode); if (node.getSize()!=0) result.add(node); } return new OWLClassNodeSet(result); } protected Node<OWLObjectPropertyExpression> objectPropertyHierarchyNodeToNode(HierarchyNode<Role> hierarchyNode) {
@Override public Node<OWLClass> getBottomClassNode() { classifyClasses(); return atomicConceptHierarchyNodeToNode(m_atomicConceptHierarchy.getBottomNode()); } @Override
public Node<OWLClass> getUnsatisfiableClasses() { classifyClasses(); HierarchyNode<AtomicConcept> node=m_atomicConceptHierarchy.getBottomNode(); return atomicConceptHierarchyNodeToNode(node); } public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression classExpression) {
@Override public Node<OWLClass> getTopClassNode() { classifyClasses(); return atomicConceptHierarchyNodeToNode(m_atomicConceptHierarchy.getTopNode()); } @Override
public Node<OWLClass> getBottomClassNode() { classifyClasses(); return atomicConceptHierarchyNodeToNode(m_atomicConceptHierarchy.getBottomNode()); } public boolean isSatisfiable(OWLClassExpression classExpression) {
public Node<OWLClass> getTopClassNode() { classifyClasses(); return atomicConceptHierarchyNodeToNode(m_atomicConceptHierarchy.getTopNode()); } public Node<OWLClass> getBottomClassNode() {
@Override public Node<OWLClass> getUnsatisfiableClasses() { classifyClasses(); HierarchyNode<AtomicConcept> node=m_atomicConceptHierarchy.getBottomNode(); return atomicConceptHierarchyNodeToNode(node); } @Override