org.semanticweb.owlapi.debugging.JustificationMap Maven / Gradle / Ivy
/*
* 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, The University of Manchester
*
* 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, The University of Manchester
*
* 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 org.semanticweb.owlapi.debugging;
import java.io.Serializable;
import java.util.ArrayList;
import java.util.Collections;
import java.util.Comparator;
import java.util.HashMap;
import java.util.HashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;
import java.util.TreeSet;
import org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLAxiom;
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.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.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.OWLObjectPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLSameIndividualAxiom;
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;
import org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter;
import org.semanticweb.owlapi.util.OWLEntityCollector;
/** Author: Matthew Horridge
* The University Of Manchester
* Bio-Health Informatics Group
* Date: 30-Apr-2007
*
*/
public class JustificationMap {
private final Set axioms;
private final Set rootAxioms;
private final Set usedAxioms;
private final Map> map;
private final Map> axiomsByRHS;
private final Map> axiomsByLHS;
private final OWLClassExpression desc;
/** @param desc
* the class expression
* @param axioms
* the axioms */
public JustificationMap(OWLClassExpression desc, Set axioms) {
this.axioms = axioms;
this.desc = desc;
rootAxioms = new HashSet();
map = new HashMap>();
usedAxioms = new HashSet();
axiomsByRHS = new HashMap>();
axiomsByLHS = new HashMap>();
createMap();
}
private void createMap() {
for (OWLAxiom ax : axioms) {
OWLAxiomPartExtractor extractor = new OWLAxiomPartExtractor();
ax.accept(extractor);
Set rhscollected = new HashSet();
OWLEntityCollector rhsCollector = new OWLEntityCollector(rhscollected);
for (OWLObject rhsObject : extractor.getRHS()) {
rhsObject.accept(rhsCollector);
}
for (OWLEntity rhsEntity : rhscollected) {
index(rhsEntity, axiomsByRHS, ax);
}
Set lhscollected = new HashSet();
OWLEntityCollector lhsCollector = new OWLEntityCollector(lhscollected);
for (OWLObject lhsObject : extractor.getLHS()) {
lhsObject.accept(lhsCollector);
}
for (OWLEntity lhsEntity : lhscollected) {
index(lhsEntity, axiomsByLHS, ax);
}
}
buildChildren(desc);
}
private Set getAxiomsByLHS(OWLEntity lhs) {
Set axiomSet = axiomsByLHS.get(lhs);
if (axiomSet != null) {
Set ts = new TreeSet(new OWLAxiomComparator());
ts.addAll(axiomSet);
return ts;
} else {
return Collections.emptySet();
}
}
private void buildChildren(OWLClassExpression seed) {
// Return the axioms that have the entity on the LHS
Set result = new HashSet();
for (OWLEntity ent : seed.getSignature()) {
Set axs = getAxiomsByLHS(ent);
for (OWLAxiom ax : axs) {
result.add(ax);
usedAxioms.add(ax);
}
}
rootAxioms.addAll(result);
buildChildren(result);
}
private void buildChildren(Set axiomSet) {
List> axiomChildren = new ArrayList>();
for (OWLAxiom ax : axiomSet) {
Set children = build(ax);
for (OWLAxiom childAx : children) {
index(ax, map, childAx);
}
axiomChildren.add(children);
}
for (Set children : axiomChildren) {
buildChildren(children);
}
}
private Set build(OWLAxiom parentAxiom) {
usedAxioms.add(parentAxiom);
OWLAxiomPartExtractor extractor = new OWLAxiomPartExtractor();
parentAxiom.accept(extractor);
Set result = new HashSet();
for (OWLObject obj : extractor.getRHS()) {
for (OWLEntity ent : obj.getSignature()) {
Set axs = getAxiomsByLHS(ent);
for (OWLAxiom ax : axs) {
if (!usedAxioms.contains(ax)) {
result.add(ax);
usedAxioms.add(ax);
}
}
}
}
return result;
}
private static void index(K key, Map> map, V value) {
Set values = map.get(key);
if (values == null) {
values = new HashSet();
map.put(key, values);
}
values.add(value);
}
/** @return the root axioms */
public Set getRootAxioms() {
return rootAxioms;
}
/** @param ax
* the axiom whose children are to be retrieved
* @return children of ax */
public Set getChildAxioms(OWLAxiom ax) {
Set result = map.get(ax);
if (result != null) {
return result;
} else {
return Collections.emptySet();
}
}
private static class OWLAxiomPartExtractor extends OWLAxiomVisitorAdapter {
private Set rhs;
private Set lhs;
public Set getRHS() {
return rhs;
}
public Set getLHS() {
return lhs;
}
public OWLAxiomPartExtractor() {
rhs = new HashSet();
lhs = new HashSet();
}
@Override
public void visit(OWLSubClassOfAxiom axiom) {
rhs.add(axiom.getSuperClass());
lhs.add(axiom.getSubClass());
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
rhs.add(axiom.getObject());
rhs.add(axiom.getProperty());
lhs.add(axiom.getSubject());
}
@Override
public void visit(OWLAsymmetricObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLDisjointClassesAxiom axiom) {
rhs.addAll(axiom.getClassExpressions());
lhs.addAll(axiom.getClassExpressions());
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
rhs.add(axiom.getDomain());
lhs.add(axiom.getProperty());
}
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
rhs.add(axiom.getDomain());
lhs.add(axiom.getProperty());
}
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
rhs.addAll(axiom.getProperties());
lhs.addAll(axiom.getProperties());
}
@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
rhs.add(axiom.getProperty());
rhs.add(axiom.getObject());
lhs.add(axiom.getSubject());
}
@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
rhs.addAll(axiom.getIndividuals());
lhs.addAll(axiom.getIndividuals());
}
@Override
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
rhs.addAll(axiom.getProperties());
lhs.addAll(axiom.getProperties());
}
@Override
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
rhs.addAll(axiom.getProperties());
lhs.addAll(axiom.getProperties());
}
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
rhs.add(axiom.getRange());
lhs.add(axiom.getProperty());
}
@Override
public void visit(OWLObjectPropertyAssertionAxiom axiom) {
rhs.add(axiom.getProperty());
rhs.add(axiom.getObject());
lhs.add(axiom.getSubject());
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLSubObjectPropertyOfAxiom axiom) {
rhs.add(axiom.getSuperProperty());
lhs.add(axiom.getSubProperty());
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
rhs.addAll(axiom.getClassExpressions());
rhs.add(axiom.getOWLClass());
lhs.add(axiom.getOWLClass());
lhs.addAll(axiom.getClassExpressions());
}
@Override
public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
rhs.add(axiom.getRange());
lhs.add(axiom.getProperty());
}
@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
rhs.addAll(axiom.getProperties());
lhs.addAll(axiom.getProperties());
}
@Override
public void visit(OWLClassAssertionAxiom axiom) {
rhs.add(axiom.getClassExpression());
lhs.add(axiom.getIndividual());
}
@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
rhs.addAll(axiom.getClassExpressions());
lhs.addAll(axiom.getClassExpressions());
}
@Override
public void visit(OWLDataPropertyAssertionAxiom axiom) {
rhs.add(axiom.getProperty());
lhs.add(axiom.getSubject());
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
rhs.add(axiom.getSuperProperty());
}
@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
rhs.add(axiom.getProperty());
}
@Override
public void visit(OWLSameIndividualAxiom axiom) {
rhs.addAll(axiom.getIndividuals());
lhs.addAll(axiom.getIndividuals());
}
@Override
public void visit(OWLSubPropertyChainOfAxiom axiom) {
rhs.add(axiom.getSuperProperty());
lhs.addAll(axiom.getPropertyChain());
}
@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
rhs.addAll(axiom.getProperties());
lhs.addAll(axiom.getProperties());
}
@Override
public void visit(SWRLRule rule) {}
}
private static class OWLAxiomComparator extends OWLAxiomVisitorAdapter implements
Comparator, Serializable {
private static final long serialVersionUID = 30402L;
public OWLAxiomComparator() {}
@Override
public void visit(OWLSubClassOfAxiom axiom) {
result = 0;
}
@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
result = 1;
}
@Override
public void visit(OWLDisjointClassesAxiom axiom) {
result = 2;
}
private int result;
@Override
public int compare(OWLAxiom o1, OWLAxiom o2) {
result = 0;
o1.accept(this);
int result1 = result;
o2.accept(this);
int result2 = result;
int diff = result2 - result1;
if (diff != 0) {
return diff;
} else {
return -1;
}
}
}
}