@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { isLocal = processDisjointAxiom(axiom); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DisjointUnion(A, C1,..., Cn) is local if // (1) A and all of Ci are bot-equivalent, // or (2) A and one Ci are top-equivalent and the remaining Cj are // bot-equivalent isLocal = false; boolean lhsIsTopEq; if (isTopEquivalent(axiom.getOWLClass())) { // need to check (2) lhsIsTopEq = true; } else if (isBotEquivalent(axiom.getOWLClass())) { // need to check (1) lhsIsTopEq = false; } else { // neither (1) nor (2) return; } boolean topEqDesc = false; for (OWLClassExpression p : asList(axiom.classExpressions())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) { // 2nd top in there -- violate (2) -- non-local return; } else { topEqDesc = true; } } else { // either (1) or fail to have a top-eq for (2)
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DisjointUnion(A, C1,..., Cn) is local if // (1) A and all of Ci are bot-equivalent, // or (2) A and one Ci are top-equivalent and the remaining Cj are // bot-equivalent isLocal = false; boolean lhsIsTopEq; if (isTopEquivalent(axiom.getOWLClass())) { // need to check (2) lhsIsTopEq = true; } else if (isBotEquivalent(axiom.getOWLClass())) { // need to check (1) lhsIsTopEq = false; } else { // neither (1) nor (2) return; } boolean topEqDesc = false; for (OWLClassExpression p : asList(axiom.classExpressions())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) { // 2nd top in there -- violate (2) -- non-local return; } else { topEqDesc = true; } } else { // either (1) or fail to have a top-eq for (2)
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DisjointUnion(A, C1,..., Cn) is local if // (1) A and all of Ci are bot-equivalent, // or (2) A and one Ci are top-equivalent and the remaining Cj are // bot-equivalent isLocal = false; boolean lhsIsTopEq; if (isTopEquivalent(axiom.getOWLClass())) { // need to check (2) lhsIsTopEq = true; } else if (isBotEquivalent(axiom.getOWLClass())) { // need to check (1) lhsIsTopEq = false; } else { // neither (1) nor (2) return; } boolean topEqDesc = false; for (OWLClassExpression p : asList(axiom.classExpressions())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) { // 2nd top in there -- violate (2) -- non-local return; } else { topEqDesc = true; } } else { // either (1) or fail to have a top-eq for (2)
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DisjointUnion(A, C1,..., Cn) is local if // (1) A and all of Ci are bot-equivalent, // or (2) A and one Ci are top-equivalent and the remaining Cj are // bot-equivalent isLocal = false; boolean lhsIsTopEq; if (isTopEquivalent(axiom.getOWLClass())) { // need to check (2) lhsIsTopEq = true; } else if (isBotEquivalent(axiom.getOWLClass())) { // need to check (1) lhsIsTopEq = false; } else { // neither (1) nor (2) return; } boolean topEqDesc = false; for (OWLClassExpression p : asList(axiom.classExpressions())) { if (!isBotEquivalent(p)) { if (lhsIsTopEq && isTopEquivalent(p)) { if (topEqDesc) { // 2nd top in there -- violate (2) -- non-local return; } else { topEqDesc = true; } } else { // either (1) or fail to have a top-eq for (2)