@Override public void visit(OWLClass expr) { isTopEq = getSignature().topCLocal() && !getSignature().contains(expr); }
/** * build a module traversing axioms by a signature */ private void extractModuleQueue() { // init queue with a sig workQueue.addAll(sig.getSignature()); // add all the axioms that are non-local wrt given value of a // top-locality addNonLocal(sigIndex.getNonLocal(sig.topCLocal()), true); // main cycle while (!workQueue.isEmpty()) { // for all the axioms that contains entity in their signature Collection<AxiomWrapper> axioms = sigIndex.getAxioms(workQueue.poll()); addNonLocal(axioms, false); } }
/** * build a module traversing axioms by a signature */ private void extractModuleQueue() { // init queue with a sig workQueue.addAll(sig.getSignature()); // add all the axioms that are non-local wrt given value of a // top-locality addNonLocal(sigIndex.getNonLocal(sig.topCLocal()), true); // main cycle while (!workQueue.isEmpty()) { // for all the axioms that contains entity in their signature Collection<AxiomWrapper> axioms = sigIndex.getAxioms(workQueue.poll()); addNonLocal(axioms, false); } }
@Override public void visit(OWLClass expr) { isTopEq = getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLClass expr) { isBotEq = !getSignature().topCLocal() && !getSignature().contains(expr); }
/** * build a module traversing axioms by a signature */ private void extractModuleQueue() { // init queue with a sig workQueue.addAll(sig.getSignature()); // add all the axioms that are non-local wrt given value of a // top-locality addNonLocal(sigIndex.getNonLocal(sig.topCLocal()), true); // main cycle while (!workQueue.isEmpty()) { // for all the axioms that contains entity in their signature Collection<AxiomWrapper> axioms = sigIndex.getAxioms(workQueue.poll()); addNonLocal(axioms, false); } }
/** * build a module traversing axioms by a signature */ private void extractModuleQueue() { // init queue with a sig workQueue.addAll(sig.getSignature()); // add all the axioms that are non-local wrt given value of a // top-locality addNonLocal(sigIndex.getNonLocal(sig.topCLocal()), true); // main cycle while (!workQueue.isEmpty()) { // for all the axioms that contains entity in their signature Collection<AxiomWrapper> axioms = sigIndex.getAxioms(workQueue.poll()); addNonLocal(axioms, false); } }
@Override public void visit(OWLClass expr) { isTopEq = getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLClass expr) { isBotEq = !getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLClass expr) { isBotEq = !getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLClass expr) { isTopEq = getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLClass expr) { isBotEq = !getSignature().topCLocal() && !getSignature().contains(expr); }
@Override public DLTree visit(ConceptName expr) { if (nc(expr)) { return sig.topCLocal() ? DLTreeFactory.createTop() : DLTreeFactory.createBottom(); } else { NamedEntry entry = expr.getEntry(); if (entry == null) { entry = matchEntry(tbox.getConcept(expr.getIRI()), expr); } return DLTreeFactory.buildTree(new Lexeme(CNAME, entry)); } }