[DL-Learner SVN] SF.net SVN: dl-learner:[3438] trunk/scripts/src/main/java/org/dllearner/ scripts/SPARQLSampleDebugging.java

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

Revision: 3438
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3438&view=rev
Author:   lorenz_b
Date:     2011-11-27 22:14:21 +0000 (Sun, 27 Nov 2011)
Log Message:
-----------
Added simple method which checks consistency with anti-pattern.

Modified Paths:
--------------
    trunk/scripts/src/main/java/org/dllearner/scripts/SPARQLSampleDebugging.java

Modified: trunk/scripts/src/main/java/org/dllearner/scripts/SPARQLSampleDebugging.java
===================================================================
--- trunk/scripts/src/main/java/org/dllearner/scripts/SPARQLSampleDebugging.java	2011-11-24 18:11:01 UTC (rev 3437)
+++ trunk/scripts/src/main/java/org/dllearner/scripts/SPARQLSampleDebugging.java	2011-11-27 22:14:21 UTC (rev 3438)
@@ -2,10 +2,13 @@
 
 import java.io.ByteArrayInputStream;
 import java.io.ByteArrayOutputStream;
+import java.io.InputStream;
 import java.net.URL;
 import java.util.Collections;
-import java.util.EnumSet;
+import java.util.HashMap;
 import java.util.HashSet;
+import java.util.Map;
+import java.util.Map.Entry;
 import java.util.Set;
 
 import org.apache.log4j.ConsoleAppender;
@@ -19,6 +22,7 @@
 import org.dllearner.kb.sparql.SparqlEndpoint;
 import org.dllearner.kb.sparql.SparqlQuery;
 import org.semanticweb.owlapi.apibinding.OWLManager;
+import org.semanticweb.owlapi.model.AxiomType;
 import org.semanticweb.owlapi.model.IRI;
 import org.semanticweb.owlapi.model.OWLAxiom;
 import org.semanticweb.owlapi.model.OWLOntology;
@@ -29,19 +33,26 @@
 import com.clarkparsia.owlapi.explanation.PelletExplanation;
 import com.clarkparsia.pellet.owlapiv3.PelletReasoner;
 import com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory;
+import com.hp.hpl.jena.query.Query;
+import com.hp.hpl.jena.query.QueryExecution;
+import com.hp.hpl.jena.query.QueryExecutionFactory;
+import com.hp.hpl.jena.query.QueryFactory;
+import com.hp.hpl.jena.query.QuerySolution;
 import com.hp.hpl.jena.query.ResultSet;
 import com.hp.hpl.jena.rdf.model.Model;
 import com.hp.hpl.jena.rdf.model.ModelFactory;
+import com.hp.hpl.jena.rdf.model.Resource;
+import com.hp.hpl.jena.vocabulary.OWL;
 
 public class SPARQLSampleDebugging {
 	
 	private SparqlEndpoint endpoint;
 	private ExtractionDBCache cache = new ExtractionDBCache("cache");
 	
-	private int sampleSize = 10;
-	private int depth = 5;
-	private int nrOfChunks = 10;
-	private int maxNrOfExplanations = 10;
+	private int sampleSize = 100;
+	private int depth = 4;
+	private int nrOfChunks = 100;
+	private int maxNrOfExplanations = 20;
 	
 	private Logger logger = Logger.getLogger(SPARQLSampleDebugging.class);
 	
@@ -235,9 +246,22 @@
 			logger.info("Consistent: " + isConsistent);
 			if(!isConsistent){
 				Set<Set<OWLAxiom>> explanations = computeExplanations(reasoner);
+				logger.info("Found " + explanations.size() + " explanations.");
+				Map<AxiomType, Integer> axiomType2CountMap = new HashMap<AxiomType, Integer>();
 				for(Set<OWLAxiom> explanation : explanations){
 					logger.info(explanation);
+					for(OWLAxiom axiom : explanation){
+						Integer cnt = axiomType2CountMap.get(axiom.getAxiomType());
+						if(cnt == null){
+							cnt = Integer.valueOf(0);
+						}
+						cnt = Integer.valueOf(cnt + 1);
+						axiomType2CountMap.put(axiom.getAxiomType(), cnt);
+					}
 				}
+				for(Entry<AxiomType, Integer> entry : axiomType2CountMap.entrySet()){
+					logger.info(entry.getKey() + "\t: " + entry.getValue());
+				}
 			}
 			ontologies.remove(module);
 			reasoner.dispose();
@@ -246,6 +270,32 @@
 		
 	}
 	
+	public void runPatternBasedDetection(){
+		Model model = ModelFactory.createDefaultModel();
+
+		//read schema
+		InputStream in = getClass().getClassLoader().getResourceAsStream("dbpedia_0.75.owl");
+		model.read(in, null);
+		
+		//read data
+		ModelGenerator modelGen = new ModelGenerator(endpoint, cache);
+		model.add(modelGen.createModel("http://dbpedia.org/resource/Leipzig", Strategy.CHUNKS, depth));
+
+		//query for conflicts
+		String queryString = "SELECT ?s WHERE {?type1 <" + OWL.disjointWith + "> ?type2. ?s a ?type1. ?s a ?type2.} LIMIT 1";
+		Query query = QueryFactory.create(queryString) ;
+		QueryExecution qexec = QueryExecutionFactory.create(query, model) ;
+		try {
+		    ResultSet results = qexec.execSelect() ;
+		    for ( ; results.hasNext() ; )
+		    {
+		      QuerySolution soln = results.nextSolution() ;
+		      Resource r = soln.getResource("s") ; 
+		      System.out.println(r.getURI());
+		    }
+		  } finally { qexec.close() ; }
+	}
+	
 	/**
 	 * @param args
 	 * @throws Exception 
@@ -261,7 +311,8 @@
         
 		SparqlEndpoint endpoint = new SparqlEndpoint(new URL("http://dbpedia.aksw.org:8902/sparql"),
 				Collections.singletonList("http://dbpedia.org"), Collections.<String>emptyList());
-		new SPARQLSampleDebugging(endpoint).run3();
+		new SPARQLSampleDebugging(endpoint).runPatternBasedDetection();
+//		new SPARQLSampleDebugging(endpoint).run3();
 
 	}
 

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