[DL-Learner SVN] SF.net SVN: dl-learner:[2213] trunk/src/dl-learner/org/dllearner/tools/ore

[<lor...@us...>]

Revision: 2213
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2213&view=rev
Author:   lorenz_b
Date:     2010-07-21 17:27:28 +0000 (Wed, 21 Jul 2010)

Log Message:
-----------
Added main method to IncrementalInconsistencyFinder with 2 arguments SPARQL_ENDPOINT and DEFAULT_GRAPH_URI.
Added progress monitor class with no output.

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java
    trunk/src/dl-learner/org/dllearner/tools/ore/sparql/IncrementalInconsistencyFinder.java
    trunk/src/dl-learner/org/dllearner/tools/ore/ui/DebugFromSparqlDialog.java

Added Paths:
-----------
    trunk/src/dl-learner/org/dllearner/tools/ore/sparql/SilentSPARQLProgressMonitor.java

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java	2010-07-21 16:44:12 UTC (rev 2212)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java	2010-07-21 17:27:28 UTC (rev 2213)
@@ -158,7 +158,7 @@
 	}
 	
 	public boolean isSourceOWLAxiom(OWLAxiom ax){
-		for(OWLOntology ont : reasoner.getLoadedOWLAPIOntologies()){System.out.println(ont.getLogicalAxiomCount());
+		for(OWLOntology ont : reasoner.getLoadedOWLAPIOntologies()){
 			if(ont.containsAxiom(ax)){
 				return true;
 			}
@@ -502,7 +502,6 @@
 
 		}
 		allIndividuals.remove(ind);
-		System.out.println();
 	
 		return allIndividuals;
 	}
@@ -526,7 +525,6 @@
 		
 		for(OWLClassExpression domain : domains){
 			if(complements.contains(OWLAPIConverter.convertClass(domain.asOWLClass()))){
-				System.out.println(domain);
 				return false;
 			}
 		}

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/sparql/IncrementalInconsistencyFinder.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/sparql/IncrementalInconsistencyFinder.java	2010-07-21 16:44:12 UTC (rev 2212)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/sparql/IncrementalInconsistencyFinder.java	2010-07-21 17:27:28 UTC (rev 2213)
@@ -82,7 +82,7 @@
 	private String endpointURI;
 	private String defaultGraphURI;
 	
-	private SPARQLProgressMonitor mon;
+	private SPARQLProgressMonitor mon = new SilentSPARQLProgressMonitor();
 	
 	private boolean consistent = true;
 	private boolean useLinkedData;
@@ -107,7 +107,7 @@
 		ConsoleAppender consoleAppender = new ConsoleAppender(layout);
 		logger.removeAllAppenders();
 		logger.addAppender(consoleAppender);
-		logger.setLevel(Level.OFF);
+		logger.setLevel(Level.INFO);
 		
 		PelletOptions.USE_COMPLETION_QUEUE = true;
 		PelletOptions.USE_INCREMENTAL_CONSISTENCY = true;
@@ -1423,16 +1423,12 @@
 	public static void main(String[] args) throws OWLOntologyCreationException, IOException{
 		PelletExplanation.setup();
 		IncrementalInconsistencyFinder incFinder = new IncrementalInconsistencyFinder();
-//		incFinder.checkForUnsatisfiableClasses(ENDPOINT_URL);
-//		incFinder.checkForInconsistency(ENDPOINT_URL);
-		incFinder.run(ENDPOINT_URL, DEFAULT_GRAPH_URI);
+		if(args.length == 1){
+			incFinder.run(args[0], "");
+		} else if(args.length == 2){
+			incFinder.run(args[0], args[1]);
+		}
 		
-//		String queryString = "CONSTRUCT { ?x <" + RDFS.subClassOf + "> ?y } WHERE { ?x <" + RDFS.subClassOf + "> ?y } ORDER BY ?x LIMIT 100 ";
-//		Query query = QueryFactory.create(queryString) ;
-//		QueryExecution qexec = QueryExecutionFactory.sparqlService(ENDPOINT_URL, query);
-//		Model resultModel = qexec.execConstruct() ;
-//		qexec.close() ;
-//		resultModel.write(System.out);
 		
 		
 	}

Added: trunk/src/dl-learner/org/dllearner/tools/ore/sparql/SilentSPARQLProgressMonitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/sparql/SilentSPARQLProgressMonitor.java	                        (rev 0)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/sparql/SilentSPARQLProgressMonitor.java	2010-07-21 17:27:28 UTC (rev 2213)
@@ -0,0 +1,57 @@
+package org.dllearner.tools.ore.sparql;
+
+import java.util.Set;
+
+import org.semanticweb.owlapi.model.OWLAxiom;
+
+public class SilentSPARQLProgressMonitor implements SPARQLProgressMonitor{
+
+	@Override
+	public void inconsistencyFound(Set<OWLAxiom> explanation) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public boolean isCancelled() {
+		// TODO Auto-generated method stub
+		return false;
+	}
+
+	@Override
+	public void setFinished() {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public void setIndeterminate(boolean b) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public void setMessage(String message) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public void setProgress(long progress) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public void setSize(long size) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	@Override
+	public void setStarted() {
+		// TODO Auto-generated method stub
+		
+	}
+
+}

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/DebugFromSparqlDialog.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/DebugFromSparqlDialog.java	2010-07-21 16:44:12 UTC (rev 2212)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/DebugFromSparqlDialog.java	2010-07-21 17:27:28 UTC (rev 2213)
@@ -349,12 +349,10 @@
              */
             private static final long serialVersionUID = 6590889767286900162L;
 
-
             protected void handleAdd() {
                 addURI();
             }
 
-
             protected void handleDelete() {
                 deleteSelectedBookmark();
             }


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.