@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { isLocal = processEquivalentAxiom(axiom); }
if (isTopEquivalent(axiom.getOWLClass())) { } else if (isBotEquivalent(axiom.getOWLClass())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) {
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { isLocal = isBotEquivalent(axiom.getObject()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * @param useSemantic * useSemantic * @param r * reasoner * @return module extractor */ @PortedFrom(file = "Kernel.h", name = "getModExtractor") public Decomposer getModExtractor(boolean useSemantic, OWLReasoner r) { if (useSemantic) { if (modSem == null) { modSem = new Decomposer(ontology.getAxioms(), new SemanticLocalityChecker(r)); } return modSem; } if (modSyn == null) { modSyn = new Decomposer(ontology.getAxioms(), new SyntacticLocalityChecker()); } return modSyn; }
if (isTopEquivalent(axiom.getOWLClass())) { } else if (isBotEquivalent(axiom.getOWLClass())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) {
@Override public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) { isLocal = isBotEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
if (isTopEquivalent(axiom.getOWLClass())) { } else if (isBotEquivalent(axiom.getOWLClass())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) {
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { isLocal = isBotEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { isLocal = processEquivalentAxiom(axiom); }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression p1 = axiom.getFirstProperty(); OWLObjectPropertyExpression p2 = axiom.getSecondProperty(); isLocal = isBotEquivalent(p1) && isBotEquivalent(p2) || isTopEquivalent(p1) && isTopEquivalent( p2); }
if (isTopEquivalent(axiom.getOWLClass())) { } else if (isBotEquivalent(axiom.getOWLClass())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) {