Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance. Project price only 1 $
You can buy this project and download/modify it how often you want.
/*
* This file is part of the OWL API.
*
* The contents of this file are subject to the LGPL License, Version 3.0.
*
* Copyright (C) 2011, Clark & Parsia, LLC
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see http://www.gnu.org/licenses/.
*
*
* Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
* in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
*
* Copyright 2011, Clark & Parsia, LLC
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.clarkparsia.owlapi.modularity.locality;
import java.util.Collection;
import java.util.EnumSet;
import java.util.Iterator;
import java.util.Set;
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.OWLClass;
import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLClassExpressionVisitor;
import org.semanticweb.owlapi.model.OWLDataAllValuesFrom;
import org.semanticweb.owlapi.model.OWLDataExactCardinality;
import org.semanticweb.owlapi.model.OWLDataHasValue;
import org.semanticweb.owlapi.model.OWLDataMaxCardinality;
import org.semanticweb.owlapi.model.OWLDataMinCardinality;
import org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLDataSomeValuesFrom;
import org.semanticweb.owlapi.model.OWLDatatype;
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.OWLEntity;
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.OWLImportsDeclaration;
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.OWLObjectAllValuesFrom;
import org.semanticweb.owlapi.model.OWLObjectComplementOf;
import org.semanticweb.owlapi.model.OWLObjectExactCardinality;
import org.semanticweb.owlapi.model.OWLObjectHasSelf;
import org.semanticweb.owlapi.model.OWLObjectHasValue;
import org.semanticweb.owlapi.model.OWLObjectIntersectionOf;
import org.semanticweb.owlapi.model.OWLObjectMaxCardinality;
import org.semanticweb.owlapi.model.OWLObjectMinCardinality;
import org.semanticweb.owlapi.model.OWLObjectOneOf;
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.OWLObjectSomeValuesFrom;
import org.semanticweb.owlapi.model.OWLObjectUnionOf;
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 evaluator
*
*/
@SuppressWarnings("unused")
public class SyntacticLocalityEvaluator implements LocalityEvaluator {
protected final LocalityClass localityCls;
private final AxiomLocalityVisitor axiomVisitor;
private static final EnumSet supportedLocalityClasses = EnumSet.of(LocalityClass.TOP_BOTTOM, LocalityClass.BOTTOM_BOTTOM, LocalityClass.TOP_TOP);
/**
* Constructs a new locality evaluator for the given locality class.
* @param localityClass the locality class for this evaluator
*/
public SyntacticLocalityEvaluator(LocalityClass localityClass) {
localityCls = localityClass;
axiomVisitor = new AxiomLocalityVisitor();
if (!supportedLocalityClasses.contains(localityClass)) {
throw new RuntimeException("Unsupported locality class: " + localityClass);
}
}
/**
* Returns all supported locality classes.
* @return a set containing all supported locality classes
*/
public Set supportedLocalityClasses() {
return supportedLocalityClasses;
}
/**
* This is a convenience method for determining whether a given data range expression is the top datatype
* or a built-in datatype. This is used in the bottom- and top-equivalence evaluators
* for treating cardinality restrictions.
* @param dataRange a data range expression
* @return true if the specified data range expression is the top datatype
* or a built-in datatype; false otherwise
*/
protected static boolean isTopOrBuiltInDatatype(OWLDataRange dataRange) {
if (dataRange.isDatatype()) {
OWLDatatype dataType = dataRange.asOWLDatatype();
return dataType.isTopDatatype() || dataType.isBuiltIn();
} else {
return false;
}
}
/**
* This is a convenience method for determining whether a given data range expression is the top datatype
* or a built-in infinite datatype. This is used in the bottom- and top-equivalence evaluators
* for treating cardinality restrictions.
* @param dataRange a data range expression
* @return true if the specified data range expression is the top datatype
* or a built-in infinite datatype; false otherwise
*/
protected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange) {
if (dataRange.isDatatype()) {
OWLDatatype dataType = dataRange.asOWLDatatype();
return dataType.isTopDatatype() || dataType.isBuiltIn() && !dataType.getBuiltInDatatype().isFinite();
} else {
return false;
}
}
// TODO (TS): only visit logical axioms if possible
private class AxiomLocalityVisitor implements OWLAxiomVisitor {
private final BottomEquivalenceEvaluator bottomEvaluator;
private boolean isLocal;
private Collection signature;
private final TopEquivalenceEvaluator topEvaluator;
public AxiomLocalityVisitor() {
bottomEvaluator = new BottomEquivalenceEvaluator();
topEvaluator = new TopEquivalenceEvaluator();
topEvaluator.setBottomEvaluator(bottomEvaluator);
bottomEvaluator.setTopEvaluator(topEvaluator);
}
public boolean isLocal(OWLAxiom axiom, Collection sig) {
signature = sig;
isLocal = false;
axiom.accept(this);
return isLocal;
}
@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
isLocal = true;
}
// BUGFIX: (TS) Asymm OP axioms are local in the *_BOTTOM case:
// The empty object property is asymmetric!
// BUGFIX: (DT) OP in signature makes the axiom non-local
@Override
public void visit(OWLAsymmetricObjectPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
@Override
public void visit(OWLClassAssertionAxiom axiom) {
isLocal = topEvaluator.isTopEquivalent(axiom.getClassExpression(), signature, localityCls);
}
@Override
public void visit(OWLDataPropertyAssertionAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = false;
break;
case TOP_TOP:
isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty());
break;
default:
break;
}
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty()) || topEvaluator.isTopEquivalent(axiom.getDomain(), signature, localityCls);
break;
case TOP_TOP:
isLocal = topEvaluator.isTopEquivalent(axiom.getDomain(), signature, localityCls);
break;
default:
break;
}
}
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty()) || axiom.getRange().isTopDatatype();
break;
case TOP_TOP:
isLocal = axiom.getRange().isTopDatatype();
break;
default:
break;
}
}
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getSubProperty().asOWLDataProperty());
break;
case TOP_TOP:
isLocal = !signature.contains(axiom.getSuperProperty().asOWLDataProperty());
break;
default:
break;
}
}
// BUGFIX: (TS) Declaration axioms are local.
// They need to be added to the module after the locality checks have been performed.
@Override
public void visit(OWLDeclarationAxiom axiom) {
isLocal = true;
}
// BUGFIX: (TS) Different individuals axioms are local, too.
// They need to be added to the module after the locality checks have been performed.
@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
isLocal = true;
}
// BUGFIX: (TS) An n-ary disj classes axiom is local
// iff at most one of the involved class expressions is not bot-equivalent.
@Override
public void visit(OWLDisjointClassesAxiom axiom) {
Collection disjs = axiom.getClassExpressions();
int size = disjs.size();
if (size == 1) {
//XXX actually being here means the axiom is not OWL 2 conformant
isLocal = true;
}
else {
boolean nonBottomEquivDescFound = false;
for (OWLClassExpression desc : disjs) {
if (!bottomEvaluator.isBottomEquivalent(desc, signature, localityCls)) {
if (nonBottomEquivDescFound) {
isLocal = false;
return;
}
else {
nonBottomEquivDescFound = true;
}
}
}
}
isLocal = true;
}
// BUGFIX (TS): Added the case where it *is* local
@Override
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
Collection disjs = axiom.getProperties();
int size = disjs.size();
if (size == 1) {
//XXX actually being here means the axiom is not OWL 2 conformant
isLocal = true;
}
else {
boolean nonBottomEquivPropFound = false;
for (OWLDataPropertyExpression dpe : disjs) {
if (signature.contains(dpe.asOWLDataProperty())) {
if (nonBottomEquivPropFound) {
isLocal = false;
return;
}
else {
nonBottomEquivPropFound = true;
}
}
}
}
isLocal = true;
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
// BUGFIX (TS): Added the case where it *is* local
@Override
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
Collection disjs = axiom.getProperties();
int size = disjs.size();
if (size == 1) {
//XXX actually being here means the axiom is not OWL 2 conformant
isLocal = true;
}
else {
boolean nonBottomEquivPropFound = false;
for (OWLObjectPropertyExpression ope : disjs) {
if (signature.contains(ope.getNamedProperty())) {
if (nonBottomEquivPropFound) {
isLocal = false;
return;
}
else {
nonBottomEquivPropFound = true;
}
}
}
}
isLocal = true;
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
// BUGFIX (TS): added the two cases where a disj union axiom *is* local:
// - if LHS and all class expr on RHS are bot-equiv
// - if LHS is top-equiv, one expr on RHS is top-equiv and the others are bot-equiv
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
OWLClass lhs = axiom.getOWLClass();
Collection rhs = axiom.getClassExpressions();
switch (localityCls) {
case BOTTOM_BOTTOM:
// TODO (TS): "!signature.contains(lhs)" is not enough because lhs could be bot
if (!signature.contains(lhs)) {
for (OWLClassExpression desc : rhs) {
if (!bottomEvaluator.isBottomEquivalent(desc, signature, localityCls)) {
isLocal = false;
return;
}
}
isLocal = true;
}
else {
isLocal = false;
}
break;
case TOP_BOTTOM:
case TOP_TOP:
// TODO (TS): "!signature.contains(lhs)" is not enough because lhs could be top
if (!signature.contains(lhs)) {
boolean topEquivDescFound = false;
for (OWLClassExpression desc : rhs) {
if (!bottomEvaluator.isBottomEquivalent(desc, signature, localityCls)) {
if (topEvaluator.isTopEquivalent(desc, signature, localityCls)) {
if (topEquivDescFound) {
isLocal = false;
return;
}
else {
topEquivDescFound = true;
}
}
else {
isLocal = false;
return;
}
}
}
isLocal = true;
}
else {
isLocal = false;
}
break;
default:
break;
}
}
@Override
public void visit(OWLAnnotationAssertionAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
isLocal = true;
Iterator eqs = axiom.getClassExpressions().iterator();
OWLClassExpression first = eqs.next();
// axiom is local if it contains a single class expression
if (!eqs.hasNext()) {
return;
}
// axiom is local iff either all class expressions evaluate to TOP
// or all evaluate to BOTTOM
// check if first class expr. is BOTTOM
boolean isBottom = bottomEvaluator.isBottomEquivalent(first, signature, localityCls);
// if not BOTTOM or not TOP then this axiom is non-local
if (!isBottom && !topEvaluator.isTopEquivalent(first, signature, localityCls)) {
isLocal = false;
}
if (isBottom) {
// unless we find a non-locality, process all the class expressions
while (isLocal && eqs.hasNext()) {
OWLClassExpression next = eqs.next();
// first class expr. was BOTTOM, so this one should be BOTTOM too
if (!bottomEvaluator.isBottomEquivalent(next, signature, localityCls)) {
isLocal = false;
}
}
}
else {
// unless we find a non-locality, process all the class expressions
while (isLocal && eqs.hasNext()) {
OWLClassExpression next = eqs.next();
// first class expr. was TOP, so this one should be TOP too
if (!topEvaluator.isTopEquivalent(next, signature, localityCls)) {
isLocal = false;
}
}
}
}
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
Collection eqs = axiom.getProperties();
int size = eqs.size();
if (size == 1) {
isLocal = true;
}
else {
for (OWLDataPropertyExpression p : eqs) {
if (signature.contains(p.asOWLDataProperty())) {
isLocal = false;
return;
}
}
isLocal = true;
}
}
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
Collection eqs = axiom.getProperties();
int size = eqs.size();
if (size == 1) {
isLocal = true;
}
else {
for (OWLObjectPropertyExpression p : eqs) {
if (signature.contains(p.getNamedProperty())) {
isLocal = false;
return;
}
}
isLocal = true;
}
}
@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
//BUGFIX (TS): replaced call to asOWLObjectProperty() with getNamedProperty()
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
public void visit(OWLImportsDeclaration axiom) {
isLocal = false;
}
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
isLocal = !signature.contains(axiom.getFirstProperty().getNamedProperty()) && !signature.contains(axiom.getSecondProperty().getNamedProperty());
}
// BUGFIX: (TS) Irreflexive OP axioms are local in the *_BOTTOM case:
// The empty object property is irreflexive!
// BUGFIX: (DT) OP in signature makes the axiom non-local
@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
// BUGFIX: (TS) Added the case where this is local. (This is dual to the case of a "positive" DP assertion.)
@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
// BUGFIX: (TS) Added the case where this is local. (This is dual to the case of a "positive" OP assertion.)
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = false;
break;
default:
break;
}
}
@Override
public void visit(OWLObjectPropertyAssertionAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = false;
break;
case TOP_TOP:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
default:
break;
}
}
// BUGFIX: (TS) Added the cases where this is local
@Override
public void visit(OWLSubPropertyChainOfAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
// Axiom is local iff at least one prop in the chain is bot-equiv
for (OWLObjectPropertyExpression ope : axiom.getPropertyChain()) {
if (!signature.contains(ope.getNamedProperty())) {
isLocal = true;
return;
}
}
isLocal = false;
break;
case TOP_TOP:
// Axiom is local iff RHS is top-equiv
if (!signature.contains(axiom.getSuperProperty().getNamedProperty())) {
isLocal = true;
}
else {
isLocal = false;
}
break;
default:
break;
}
}
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty()) || topEvaluator.isTopEquivalent(axiom.getDomain(), signature, localityCls);
break;
case TOP_TOP:
isLocal = topEvaluator.isTopEquivalent(axiom.getDomain(), signature, localityCls);
break;
default:
break;
}
}
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty()) || topEvaluator.isTopEquivalent(axiom.getRange(), signature, localityCls);
break;
case TOP_TOP:
isLocal = topEvaluator.isTopEquivalent(axiom.getRange(), signature, localityCls);
break;
default:
break;
}
}
@Override
public void visit(OWLSubObjectPropertyOfAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = !signature.contains(axiom.getSubProperty().getNamedProperty());
break;
case TOP_TOP:
isLocal = !signature.contains(axiom.getSuperProperty().getNamedProperty());
break;
default:
break;
}
}
// BUGFIX: (DT) Bottom property is not reflexive
@Override
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isLocal = false;
break;
case TOP_TOP:
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
break;
default:
break;
}
}
// BUGFIX: (TS) Same individuals axioms are local, too.
// They need to be added to the module after the locality checks have been performed.
@Override
public void visit(OWLSameIndividualAxiom axiom) {
isLocal = true;
}
@Override
public void visit(OWLSubClassOfAxiom axiom) {
isLocal = bottomEvaluator.isBottomEquivalent(axiom.getSubClass(), signature, localityCls) || topEvaluator.isTopEquivalent(axiom.getSuperClass(), signature, localityCls);
}
@Override
public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
isLocal = !signature.contains(axiom.getProperty().getNamedProperty());
}
//TODO: (TS) Can't we treat this in a more differentiated way?
@Override
public void visit(SWRLRule axiom) {
isLocal = false;
}
@Override
public void visit(OWLHasKeyAxiom axiom) {
isLocal=true;
}
@Override
public void visit(OWLAnnotationPropertyDomainAxiom axiom) {
isLocal=true;
}
@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
isLocal=true;
}
@Override
public void visit(OWLSubAnnotationPropertyOfAxiom axiom) {
isLocal=true;
}
}
/**
* Used to determine if class expressions are equivalent to \bottom using the provided locality class
*/
private static class BottomEquivalenceEvaluator implements OWLClassExpressionVisitor {
private boolean isBottomEquivalent;
private LocalityClass localityCls;
private Collection signature;
private TopEquivalenceEvaluator topEvaluator;
public BottomEquivalenceEvaluator() {
}
private boolean isBottomEquivalent(OWLClassExpression desc) {
desc.accept(this);
return isBottomEquivalent;
}
public boolean isBottomEquivalent(OWLClassExpression desc,
Collection sig, LocalityClass locality) {
localityCls = locality;
signature = sig;
desc.accept(this);
return isBottomEquivalent;
}
public void setTopEvaluator(TopEquivalenceEvaluator evaluator) {
topEvaluator = evaluator;
}
@Override
public void visit(OWLClass desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
isBottomEquivalent = desc.isOWLNothing() || !desc.isOWLThing() && !signature.contains(desc);
break;
case TOP_BOTTOM:
case TOP_TOP:
isBottomEquivalent = desc.isOWLNothing();
break;
default:
break;
}
}
// BUGFIX: (TS) Even in the TOP_TOP case, this is not bottom-equiv:
// "forall top.D" is not necessarily empty
// BUGFIX: (TS, 3): In the TOP_TOP case, there is a bottom-equiv possibility.
@Override
public void visit(OWLDataAllValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = false;
break;
case TOP_TOP:
isBottomEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()) && !desc.getFiller().isTopDatatype();
break;
default:
break;
}
}
// BUGFIX: (TS) Corrected both conditions; included case n==0
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
// BUGFIX: (TS, 3) Repaired the cases where the filler is top-equiv
@Override
public void visit(OWLDataExactCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = desc.getCardinality() > 0 && !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isBottomEquivalent = desc.getCardinality() == 0 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInDatatype(desc.getFiller()) || desc.getCardinality() > 0 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInInfiniteDatatype(desc.getFiller());
break;
default:
break;
}
}
// BUGFIX: (TS) A data max card restriction is never bottom-equiv.
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
// BUGFIX: (TS, 3) Repaired the cases where the filler is top-equiv
@Override
public void visit(OWLDataMaxCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = false;
break;
case TOP_TOP:
isBottomEquivalent = desc.getCardinality() == 0 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInDatatype(desc.getFiller()) || desc.getCardinality() == 1 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInDatatype(desc.getFiller()) || desc.getCardinality() > 1 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInInfiniteDatatype(desc.getFiller());
break;
default:
break;
}
}
// BUGFIX: (TS) The *_BOTTOM case only works if n > 0.
@Override
public void visit(OWLDataMinCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = desc.getCardinality() > 0 && !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isBottomEquivalent = false;
break;
default:
break;
}
}
@Override
public void visit(OWLDataSomeValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isBottomEquivalent = false;
break;
default:
break;
}
}
@Override
public void visit(OWLDataHasValue desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isBottomEquivalent = false;
break;
default:
break;
}
}
// BUGFIX (TS): TOP_TOP case was missing the first conjunct
@Override
public void visit(OWLObjectAllValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = false;
break;
case TOP_TOP:
isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) && isBottomEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectComplementOf desc) {
isBottomEquivalent = topEvaluator.isTopEquivalent(desc.getOperand(), signature, localityCls);
}
// BUGFIX: (TS) Since an exact card restriction is a conjunction of a min and a max card restriction,
// there are cases where it is bottom-local
@Override
public void visit(OWLObjectExactCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = desc.getCardinality() > 0 && (!signature.contains(desc.getProperty().getNamedProperty()) || isBottomEquivalent(desc.getFiller()));
break;
case TOP_TOP:
isBottomEquivalent = desc.getCardinality() > 0 && (isBottomEquivalent(desc.getFiller()) || !signature.contains(desc.getProperty().getNamedProperty()) && topEvaluator.isTopEquivalent(desc.getFiller(), signature, localityCls));
break;
default:
break;
}
}
@Override
public void visit(OWLObjectIntersectionOf desc) {
for (OWLClassExpression conj : desc.getOperands()) {
if (isBottomEquivalent(conj)) {
isBottomEquivalent = true;
return;
}
}
isBottomEquivalent = false;
}
// BUGFIX (TS): Corrected all conditions.
// The n==0 case doesn't affect bottom-equivalence of this type of restriction,
// but n>0 does!
@Override
public void visit(OWLObjectMaxCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = false;
break;
case TOP_TOP:
isBottomEquivalent = desc.getCardinality() > 0 && !signature.contains(desc.getProperty().getNamedProperty()) && topEvaluator.isTopEquivalent(desc.getFiller(), signature, localityCls);
break;
default:
break;
}
}
// BUGFIX (TS): Corrected all conditions, considering the case n==0
@Override
public void visit(OWLObjectMinCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = desc.getCardinality() > 0 && (!signature.contains(desc.getProperty().getNamedProperty()) || isBottomEquivalent(desc.getFiller()));
break;
case TOP_TOP:
isBottomEquivalent = desc.getCardinality() > 0 && isBottomEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectOneOf desc) {
isBottomEquivalent = desc.getIndividuals().isEmpty();
}
@Override
public void visit(OWLObjectHasSelf desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty());
break;
case TOP_TOP:
isBottomEquivalent = false;
break;
default:
break;
}
}
@Override
public void visit(OWLObjectSomeValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) || isBottomEquivalent(desc.getFiller());
break;
case TOP_TOP:
isBottomEquivalent = isBottomEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectUnionOf desc) {
for (OWLClassExpression disj : desc.getOperands()) {
if (!isBottomEquivalent(disj)) {
isBottomEquivalent = false;
return;
}
}
isBottomEquivalent = true;
}
// BUGFIX (TS): desc.getValue() is an individual and therefore is *not* bot-equiv if not in the signature
// -> disjunct removed from *_BOTTOM case
@Override
public void visit(OWLObjectHasValue desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isBottomEquivalent = !signature.contains(desc.getProperty().getNamedProperty());
break;
case TOP_TOP:
isBottomEquivalent = false;
break;
default:
break;
}
}
}
/**
* Used to determine if class expressions are equivalent to \top using the provided locality class
*/
private static class TopEquivalenceEvaluator implements OWLClassExpressionVisitor {
private BottomEquivalenceEvaluator bottomEvaluator;
private boolean isTopEquivalent;
private LocalityClass localityCls;
private Collection signature;
public TopEquivalenceEvaluator() {
}
private boolean isTopEquivalent(OWLClassExpression desc) {
desc.accept(this);
return isTopEquivalent;
}
public boolean isTopEquivalent(OWLClassExpression desc,
Collection sig, LocalityClass locality) {
localityCls = locality;
signature = sig;
desc.accept(this);
return isTopEquivalent;
}
public void setBottomEvaluator(BottomEquivalenceEvaluator evaluator) {
bottomEvaluator = evaluator;
}
@Override
public void visit(OWLClass desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
isTopEquivalent = desc.isOWLThing();
break;
case TOP_BOTTOM:
case TOP_TOP:
isTopEquivalent = desc.isOWLThing() || !desc.isOWLNothing() && !signature.contains(desc);
break;
default:
break;
}
}
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
@Override
public void visit(OWLDataAllValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()) || desc.getFiller().isTopDatatype();
break;
case TOP_TOP:
isTopEquivalent = desc.getFiller().isTopDatatype();
break;
default:
break;
}
}
// BUGFIX: (TS) Added the case where this is top-equiv (including n==0).
@Override
public void visit(OWLDataExactCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = desc.getCardinality() == 0 && !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isTopEquivalent = false;
break;
default:
break;
}
}
// (TS) No special handling for n==0 required.
@Override
public void visit(OWLDataMaxCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty());
break;
case TOP_TOP:
isTopEquivalent = false;
break;
default:
break;
}
}
// BUGFIX: (TS) A data min card restriction is top-equiv iff the cardinality is 0.
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
// BUGFIX: (TS, 2) Left out redundant check cardinality > 0 in TOP_TOP case
// BUGFIX: (TS, 3) Extended the cases where the filler is top-equiv in TOP_TOP
@Override
public void visit(OWLDataMinCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = desc.getCardinality() == 0;
break;
case TOP_TOP:
isTopEquivalent = desc.getCardinality() == 0 || desc.getCardinality() == 1 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInDatatype(desc.getFiller()) || desc.getCardinality() > 1 && !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInInfiniteDatatype(desc.getFiller());
break;
default:
break;
}
}
// BUGFIX: (TS, 2) Added the cases where the filler is top-equiv
// BUGFIX: (TS, 3) Extended the cases where the filler is top-equiv
@Override
public void visit(OWLDataSomeValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = false;
break;
case TOP_TOP:
isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopOrBuiltInDatatype(desc.getFiller());
break;
default:
break;
}
}
// BUGFIX: (TS, 2) Added the cases where this is top-equiv
@Override
public void visit(OWLDataHasValue desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = false;
break;
case TOP_TOP:
isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectAllValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) || isTopEquivalent(desc.getFiller());
break;
case TOP_TOP:
isTopEquivalent = isTopEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectComplementOf desc) {
isTopEquivalent = bottomEvaluator.isBottomEquivalent(desc.getOperand(), signature, localityCls);
}
// BUGFIX: (TS) added the cases where this is top-equiv, including n==0
@Override
public void visit(OWLObjectExactCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = desc.getCardinality() == 0 && (!signature.contains(desc.getProperty().getNamedProperty()) || bottomEvaluator.isBottomEquivalent(desc.getFiller(), signature, localityCls));
break;
case TOP_TOP:
isTopEquivalent = desc.getCardinality() == 0 && bottomEvaluator.isBottomEquivalent(desc.getFiller(), signature, localityCls);
break;
default:
break;
}
}
@Override
public void visit(OWLObjectIntersectionOf desc) {
for (OWLClassExpression conj : desc.getOperands()) {
if (!isTopEquivalent(conj)) {
isTopEquivalent = false;
return;
}
}
isTopEquivalent = true;
}
// BUGFIX: (TS) Added the case of a bottom-equivalent filler to both conditions.
// The n==0 case doesn't affect top-equivalence of this type of restriction.
@Override
public void visit(OWLObjectMaxCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) || bottomEvaluator.isBottomEquivalent(desc.getFiller(), signature, localityCls);
break;
case TOP_TOP:
isTopEquivalent = bottomEvaluator.isBottomEquivalent(desc.getFiller(), signature, localityCls);
break;
default:
break;
}
}
// BUGFIX: (TS) Added the case n==0; repaired TOP_TOP condition
// BUGFIX: (TS, 2) Left out redundant check cardinality > 0 in TOP_TOP case
@Override
public void visit(OWLObjectMinCardinality desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = desc.getCardinality() == 0;
break;
case TOP_TOP:
// isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) && (desc.getCardinality() <= 1);
isTopEquivalent = desc.getCardinality() == 0 || !signature.contains(desc.getProperty().getNamedProperty()) && isTopEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectOneOf desc) {
isTopEquivalent = false;
}
@Override
public void visit(OWLObjectHasSelf desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = false;
break;
case TOP_TOP:
isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty());
break;
default:
break;
}
}
// BUGFIX (TS): added ".getNamedProperty()"
@Override
public void visit(OWLObjectSomeValuesFrom desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = false;
break;
case TOP_TOP:
isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty()) && isTopEquivalent(desc.getFiller());
break;
default:
break;
}
}
@Override
public void visit(OWLObjectUnionOf desc) {
for (OWLClassExpression conj : desc.getOperands()) {
if (isTopEquivalent(conj)) {
isTopEquivalent = true;
return;
}
}
isTopEquivalent = false;
}
@Override
public void visit(OWLObjectHasValue desc) {
switch (localityCls) {
case BOTTOM_BOTTOM:
case TOP_BOTTOM:
isTopEquivalent = false;
break;
case TOP_TOP:
isTopEquivalent = !signature.contains(desc.getProperty().getNamedProperty());
break;
default:
break;
}
}
}
@Override
public boolean isLocal(OWLAxiom axiom, Set signature) {
return axiomVisitor.isLocal(axiom, signature);
}
}
