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, 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.util.ArrayList;
import java.util.Arrays;
import java.util.Collections;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import org.semanticweb.owlapi.model.AddAxiom;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLException;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyChange;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.model.OWLRuntimeException;
import org.semanticweb.owlapi.model.RemoveAxiom;
/**
* Author: Matthew Horridge
* The University Of Manchester
* Bio-Health Informatics Group
* Date: 24-Nov-2006
*
* An abstract debugger which provides common infrastructure for finding
* multiple justification. This functionality relies on a concrete implementation
* of a debugger that can compute a minimal set of axioms that cause the unsatisfiability.
*/
public abstract class AbstractOWLDebugger implements OWLDebugger {
private final OWLOntologyManager owlOntologyManager;
private OWLOntology ontology;
protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) {
this.owlOntologyManager = owlOntologyManager;
this.ontology = ontology;
mergeImportsClosure();
}
private void mergeImportsClosure() {
OWLOntology originalOntology = ontology;
try {
ontology = owlOntologyManager.createOntology(IRI.create("http://debugger.semanticweb.org/", "ontolog" + System.nanoTime()));
}
catch (OWLOntologyCreationException e) {
throw new OWLRuntimeException(e);
}
List changes = new ArrayList();
for (OWLOntology ont : owlOntologyManager.getImportsClosure(originalOntology)) {
for (OWLAxiom ax : ont.getLogicalAxioms()) {
changes.add(new AddAxiom(ontology, ax));
}
}
owlOntologyManager.applyChanges(changes);
}
protected abstract OWLClassExpression getCurrentClass() throws OWLException;
@Override
public OWLOntology getOWLOntology() throws OWLException {
return ontology;
}
/** @return the manager*/
public OWLOntologyManager getOWLOntologyManager() {
return owlOntologyManager;
}
@Override
public Set> getAllSOSForIncosistentClass(OWLClassExpression cls) throws OWLException {
Set firstMups = getSOSForIncosistentClass(cls);
if (firstMups.isEmpty()) {
return Collections.emptySet();
}
Set> allMups = new HashSet>();
allMups.add(firstMups);
Set> satPaths = new HashSet>();
Set currentPathContents = new HashSet();
constructHittingSetTree(firstMups, allMups, satPaths, currentPathContents);
return allMups;
}
////////////////////////////////////////////////////////////////////////////////////////////
//
// Hitting Set Stuff
//
///////////////////////////////////////////////////////////////////////////////////////////
/**
* This is a recursive method that builds a hitting set tree to obtain all justifications
* for an unsatisfiable class.
* @param mups The current justification for the current class. This corresponds to a node
* in the hitting set tree.
* @param allMups All of the MUPS that have been found - this set gets populated over the course
* of the tree building process. Initially this should just contain the first justification
* @param satPaths Paths that have been completed.
* @param currentPathContents The contents of the current path. Initially this should be an
* empty set.
* @throws OWLException if there is any problem
*/
public void constructHittingSetTree(Set mups, Set> allMups, Set> satPaths, Set currentPathContents) throws OWLException {
// We go through the current mups, axiom by axiom, and extend the tree
// with edges for each axiom
for (OWLAxiom axiom : mups) {
// Remove the current axiom from the ontology
owlOntologyManager.applyChanges(Arrays.asList(new RemoveAxiom(ontology, axiom)));
currentPathContents.add(axiom);
boolean earlyTermination = false;
// Early path termination. If our path contents are the superset of
// the contents of a path then we can terminate here.
for (Set satPath : satPaths) {
if (satPath.containsAll(currentPathContents)) {
earlyTermination = true;
break;
}
}
if (!earlyTermination) {
// Generate a new node - i.e. a new justification set
// generateSOSAxioms();
Set newMUPS = getSOSForIncosistentClass(getCurrentClass());
if (!newMUPS.isEmpty()) {
// We have a new justification set, and a new node
if (!allMups.contains(newMUPS)) {
// Entirely new justification set
allMups.add(newMUPS);
constructHittingSetTree(newMUPS, allMups, satPaths, currentPathContents);
}
}
else {
// End of current path - add it to the list of paths
satPaths.add(new HashSet(currentPathContents));
}
}
// Back track - go one level up the tree and run for the next axiom
currentPathContents.remove(axiom);
// Done with the axiom that was removed. Add it back in
owlOntologyManager.applyChanges(Arrays.asList(new AddAxiom(ontology, axiom)));
}
}
///////////////////////////////////////////////////////////////////////////////////////////////////////
//
// Stats stuff
//
///////////////////////////////////////////////////////////////////////////////////////////////////////
}
