Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2256] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2010-08-11 09:13:04
|
Revision: 2256
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2256&view=rev
Author: jenslehmann
Date: 2010-08-11 09:12:58 +0000 (Wed, 11 Aug 2010)
Log Message:
-----------
script to show how an axiom can be temporarily added to the OWL API reasoner and reasoner requests performed
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
Added Paths:
-----------
trunk/src/dl-learner/org/dllearner/scripts/OWLAPIReasonerIncremental.java
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2010-08-07 09:28:30 UTC (rev 2255)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2010-08-11 09:12:58 UTC (rev 2256)
@@ -143,6 +143,7 @@
private OWLReasoner reasoner;
private OWLOntologyManager manager;
+
private OWLOntology ontology;
// the data factory is used to generate OWL API objects
private OWLDataFactory factory;
@@ -1086,4 +1087,28 @@
return definitions;
}
+ /**
+ * Gets the OWL API ontology manager. Use with great caution.
+ * @return The OWL API ontology manager.
+ */
+ public OWLOntologyManager getManager() {
+ return manager;
+ }
+
+ /**
+ * Gets the internal OWL API ontology. Use with great caution.
+ * @return The internal OWL API ontology.
+ */
+ public OWLOntology getOntology() {
+ return ontology;
+ }
+
+ /**
+ * Gets the internal OWL API reasoner. Use with great caution.
+ * @return The internal OWL API reasoner.
+ */
+ public OWLReasoner getReasoner() {
+ return reasoner;
+ }
+
}
Added: trunk/src/dl-learner/org/dllearner/scripts/OWLAPIReasonerIncremental.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/OWLAPIReasonerIncremental.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/scripts/OWLAPIReasonerIncremental.java 2010-08-11 09:12:58 UTC (rev 2256)
@@ -0,0 +1,116 @@
+/**
+ * Copyright (C) 2007-2010, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner 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.
+ *
+ * DL-Learner 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/>.
+ *
+ */
+package org.dllearner.scripts;
+
+import java.net.MalformedURLException;
+import java.net.URL;
+import java.util.Set;
+import java.util.TreeSet;
+
+import org.dllearner.core.ComponentInitException;
+import org.dllearner.core.ComponentManager;
+import org.dllearner.core.KnowledgeSource;
+import org.dllearner.core.configurators.OWLFileConfigurator;
+import org.dllearner.core.owl.Description;
+import org.dllearner.core.owl.EquivalentClassesAxiom;
+import org.dllearner.core.owl.Intersection;
+import org.dllearner.core.owl.NamedClass;
+import org.dllearner.core.owl.ObjectProperty;
+import org.dllearner.core.owl.ObjectSomeRestriction;
+import org.dllearner.reasoning.OWLAPIReasoner;
+import org.dllearner.utilities.Helper;
+import org.dllearner.utilities.owl.OWLAPIAxiomConvertVisitor;
+import org.dllearner.utilities.owl.OWLAPIDescriptionConvertVisitor;
+import org.semanticweb.owlapi.model.AddAxiom;
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.model.OWLOntologyManager;
+import org.semanticweb.owlapi.model.RemoveAxiom;
+import org.semanticweb.owlapi.reasoner.OWLReasoner;
+
+/**
+ *
+ * Test script for incremental reasoning using the OWLAPIReasoner.
+ * Use with caution as reasoner components were designed for reasoning
+ * against a static knowledge base.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class OWLAPIReasonerIncremental {
+
+ public static void main(String[] args) throws MalformedURLException, ComponentInitException {
+ // some random OWL file
+ String url = "http://morpheus.cs.umbc.edu/aks1/ontosem.owl";
+ // create reasoner
+ ComponentManager cm = ComponentManager.getInstance();
+ KnowledgeSource ks = OWLFileConfigurator.getOWLFile(new URL(url));
+ OWLAPIReasoner reasoner = cm.reasoner(OWLAPIReasoner.class, ks);
+ ks.init();
+ reasoner.init();
+ System.out.println("Loaded ontology " + url + ".");
+
+ // create a definition
+ NamedClass nc1 = new NamedClass("http://morpheus.cs.umbc.edu/aks1/ontosem.owl#christianity");
+ NamedClass nc2 = new NamedClass("http://morpheus.cs.umbc.edu/aks1/ontosem.owl#priest");
+ NamedClass newNC = new NamedClass("http://nke.aksw.org/new");
+ ObjectProperty op1 = new ObjectProperty("http://morpheus.cs.umbc.edu/aks1/ontosem.owl#operated-by");
+ Description d1 = new ObjectSomeRestriction(op1, nc2);
+ Description d2 = new Intersection(nc1, d1);
+ EquivalentClassesAxiom eq = new EquivalentClassesAxiom(newNC,d2);
+
+ System.out.println("Adding " + eq + ".");
+ long startTime = System.nanoTime();
+ OWLOntologyManager manager = reasoner.getManager();
+ OWLOntology ontology = reasoner.getOntology();
+ OWLReasoner internalReasoner = reasoner.getReasoner();
+ OWLAxiom axiomOWLAPI = OWLAPIAxiomConvertVisitor.convertAxiom(eq);
+ manager.applyChange(new AddAxiom(ontology, axiomOWLAPI));
+ // perform reasoning using OWL API
+ boolean consistent = internalReasoner.isConsistent();
+ OWLClassExpression newNCO = OWLAPIDescriptionConvertVisitor.getOWLClassExpression(newNC);
+ Set<OWLClass> superClasses = internalReasoner.getSuperClasses(newNCO, true).getFlattened();
+ Set<OWLClass> subClasses = internalReasoner.getSubClasses(newNCO, true).getFlattened();
+ Set<OWLClass> parallelClasses = new TreeSet<OWLClass>();
+ for(OWLClass clazz : superClasses) {
+ parallelClasses.addAll(internalReasoner.getSubClasses(clazz, true).getFlattened());
+ }
+ parallelClasses.remove(newNCO);
+ // remove axiom again (otherwise internal DL-Learner state would be corrupt!)
+ manager.applyChange(new RemoveAxiom(ontology, axiomOWLAPI));
+ String timeStr = Helper.prettyPrintNanoSeconds(System.nanoTime()-startTime);
+
+ if(!consistent) {
+ System.out.println("Adding the axiom renders the ontology inconsistent.");
+ } else {
+ System.out.println("\nSuper classes of " + newNC + ":");
+ System.out.println(superClasses);
+ System.out.println("\nSub classes of " + newNC + ":");
+ System.out.println(subClasses);
+ System.out.println("\nParallel classes of " + newNC + ":");
+ System.out.println(parallelClasses);
+ System.out.println("\nReasoning time: " + timeStr);
+ }
+
+ }
+
+}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
