org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker Maven / Gradle / Ivy
package org.semanticweb.owlapitools.decomposition;
import static org.semanticweb.owlapi.util.OWLAPIStreamUtils.asList;
import java.util.Collection;
import java.util.Iterator;
import java.util.List;
import org.semanticweb.owlapi.model.HasOperands;
import org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLAxiomVisitor;
import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom;
import org.semanticweb.owlapi.model.OWLDeclarationAxiom;
import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom;
import org.semanticweb.owlapi.model.OWLDisjointClassesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointUnionAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom;
import org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLHasKeyAxiom;
import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObject;
import org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLSameIndividualAxiom;
import org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubClassOfAxiom;
import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom;
import org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.SWRLRule;
/**
* syntactic locality checker for DL axioms
*/
public class SyntacticLocalityChecker implements OWLAxiomVisitor, LocalityChecker {
/**
* top evaluator
*/
TopEquivalenceEvaluator topEval;
/**
* bottom evaluator
*/
BotEquivalenceEvaluator botEval;
/**
* remember the axiom locality value here
*/
boolean isLocal;
private Signature sig = new Signature();
/**
* init c'tor
*/
public SyntacticLocalityChecker() {
topEval = new TopEquivalenceEvaluator(this);
botEval = new BotEquivalenceEvaluator(this);
}
/**
* @return true iff EXPR is top equivalent
*/
@Override
public boolean isTopEquivalent(OWLObject expr) {
return topEval.isTopEquivalent(expr);
}
/**
* @return true iff EXPR is bottom equivalent
*/
@Override
public boolean isBotEquivalent(OWLObject expr) {
return botEval.isBotEquivalent(expr);
}
@Override
public Signature getSignature() {
return sig;
}
/**
* set a new value of a signature (without changing a locality parameters)
*/
@Override
public void setSignatureValue(Signature sig) {
this.sig = sig;
}
// set fields
/**
* @return true iff an AXIOM is local wrt defined policy
*/
@Override
public boolean local(OWLAxiom axiom) {
axiom.accept(this);
return isLocal;
}
private boolean processEquivalentAxiom(HasOperands axiom) {
// 1 element => local
if (axiom.operands().count() <= 1) {
return true;
}
// axiom is local iff all the elements are either top- or bot-local
List args = asList(axiom.operands());
Boolean pos = null;
for (OWLObject arg : args) {
if (pos == null) {
// setup polarity of an equivalence
if (isTopEquivalent(arg)) {
pos = Boolean.TRUE;
} else if (isBotEquivalent(arg)) {
pos = Boolean.FALSE;
} else {
return false;
}
} else {
if (pos.booleanValue() && !isTopEquivalent(arg)) {
return false;
} else if (!pos.booleanValue() && !isBotEquivalent(arg)) {
return false;
}
}
}
return true;
}
/**
* Processing method for all Disjoint axioms.
*
* @param axiom axiom
* @return true if axiom is local
*/
private boolean processDisjointAxiom(HasOperands axiom) {
// local iff at most 1 element is not bot-equiv
boolean hasNBE = false;
Iterator it = axiom.operands().iterator();
while (it.hasNext()) {
T p = it.next();
if (!isBotEquivalent(p)) {
if (hasNBE) {
// already seen one non-bot-eq element
return false;
} else {
// record that 1 non-bot-eq element was found
hasNBE = true;
}
}
}
return true;
}
@Override
public void visit(OWLDeclarationAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
isLocal = processEquivalentAxiom(axiom);
}
@Override
public void visit(OWLDisjointClassesAxiom 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)
return;
}
}
}
// check whether for (2) we found a top-eq concept
if (lhsIsTopEq && !topEqDesc) {
return;
}
// it is local in the end!
isLocal = true;
}
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
isLocal = processEquivalentAxiom(axiom);
}
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
isLocal = processEquivalentAxiom(axiom);
}
@Override
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
isLocal = processDisjointAxiom(axiom);
}
@Override
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
isLocal = processDisjointAxiom(axiom);
}
@Override
public void visit(OWLSameIndividualAxiom axiom) {
isLocal = false;
}
@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
isLocal = false;
}
@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(OWLSubObjectPropertyOfAxiom axiom) {
isLocal =
isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty());
}
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
isLocal =
isTopEquivalent(axiom.getSuperProperty()) || isBotEquivalent(axiom.getSubProperty());
}
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
isLocal = isTopEquivalent(axiom.getDomain()) || isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
isLocal = isTopEquivalent(axiom.getDomain()) || isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
isLocal = isTopEquivalent(axiom.getRange()) || isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
isLocal = isTopEquivalent(axiom.getRange()) || isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty()) || isTopEquivalent(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(OWLIrreflexiveObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty()) || isTopEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLAsymmetricObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLSubClassOfAxiom axiom) {
isLocal = isBotEquivalent(axiom.getSubClass()) || isTopEquivalent(axiom.getSuperClass());
}
@Override
public void visit(OWLClassAssertionAxiom axiom) {
isLocal = isTopEquivalent(axiom.getClassExpression());
}
@Override
public void visit(OWLObjectPropertyAssertionAxiom axiom) {
isLocal = isTopEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
isLocal = isBotEquivalent(axiom.getProperty());
}
@Override
public void visit(OWLDataPropertyAssertionAxiom axiom) {
isLocal = isTopEquivalent(axiom.getObject());
}
@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
isLocal = isBotEquivalent(axiom.getObject());
}
@Override
public void preprocessOntology(Collection s) {
sig = new Signature();
s.forEach(ax -> sig.addAll(ax.getAxiom().signature()));
}
// TODO verify the following
@Override
public void visit(OWLAnnotationAssertionAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLAnnotationPropertyDomainAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLSubPropertyChainOfAxiom axiom) {
isLocal = true;
if (isTopEquivalent(axiom.getSuperProperty())) {
return;
}
for (OWLObjectPropertyExpression R : axiom.getPropertyChain()) {
if (isBotEquivalent(R)) {
return;
}
}
isLocal = false;
}
@Override
public void visit(OWLHasKeyAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
isLocal = true;
}
@Override
public void visit(SWRLRule rule) {
isLocal = true;
}
}