Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[3573] trunk/components-core/src/main/java/org/ dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java
|
From: <lor...@us...> - 2012-02-07 09:48:13
|
Revision: 3573
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3573&view=rev
Author: lorenz_b
Date: 2012-02-07 09:48:07 +0000 (Tue, 07 Feb 2012)
Log Message:
-----------
Added option to debug classes and properties in one step or sequentially.
Modified Paths:
--------------
trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java
Modified: trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java 2012-02-06 20:22:07 UTC (rev 3572)
+++ trunk/components-core/src/main/java/org/dllearner/utilities/JustificationBasedCoherentOntologyExtractor.java 2012-02-07 09:48:07 UTC (rev 3573)
@@ -80,6 +80,9 @@
private Set<OWLTransitiveObjectPropertyAxiom> removedTransitiveAxioms;
private Set<OWLObjectProperty> unsatObjectProperties;
+ //whether to debug classes and properties in parallel
+ private boolean computeParallel = false;
+
public JustificationBasedCoherentOntologyExtractor() {
try {
md5 = MessageDigest.getInstance("MD5");
@@ -101,7 +104,7 @@
this.incoherentOntology = getOntologyWithoutAnnotations(ontology);
File diffFile = new File(new File(ontology.getOWLOntologyManager().getOntologyDocumentIRI(ontology).toURI()).getParent() + "/" + DIFF_ONTOLOGY_NAME);
- try {System.out.println(diffFile);
+ try {
if(diffFile.exists()){
diffOntology = manager.loadOntologyFromOntologyDocument(diffFile);
} else {
@@ -175,7 +178,9 @@
logger.info("Computing initial explanations...");
startTime = System.currentTimeMillis();
entity2Explanations.putAll(getInitialExplanations(unsatClasses));
- entity2Explanations.putAll(getInitialExplanations(unsatObjectProperties));
+ if(computeParallel){
+ entity2Explanations.putAll(getInitialExplanations(unsatObjectProperties));
+ }
logger.info("...done in " + (System.currentTimeMillis()-startTime) + "ms.");
while(!unsatClasses.isEmpty()){
@@ -211,8 +216,10 @@
logger.info("Remaining unsatisfiable classes: " + (rootCnt + derivedCnt) + "(" + rootCnt + " roots).");
//recompute unsatisfiable object properties
- unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
- logger.info("Remaining unsatisfiable object properties: " + unsatObjectProperties.size());
+ if(computeParallel){
+ unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
+ logger.info("Remaining unsatisfiable object properties: " + unsatObjectProperties.size());
+ }
//save
if(cnt - (rootCnt+derivedCnt) >= 1 || (unsatPropCnt - unsatObjectProperties.size()) >= 1){
@@ -226,11 +233,52 @@
logger.info("Recomputing explanations...");
startTime = System.currentTimeMillis();
refillExplanations(unsatClasses, entity2Explanations);
- refillExplanations(unsatObjectProperties, entity2Explanations);
+ if(computeParallel){
+ refillExplanations(unsatObjectProperties, entity2Explanations);
+ }
logger.info("...done in " + (System.currentTimeMillis()-startTime) + "ms.");
System.gc();
}
+ if(!computeParallel){
+ unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
+ logger.info("Remaining unsatisfiable object properties: " + unsatObjectProperties.size());
+ while(!unsatObjectProperties.isEmpty()){
+ //get frequency for each axiom
+ Map<OWLAxiom, Integer> axiom2CountMap = getAxiomFrequency(entity2Explanations);
+
+ //get a sorted list of entries with the highest axiom count first
+ List<Entry<OWLAxiom, Integer>> sortedEntries = MapUtils.sortByValues(axiom2CountMap);
+ //we remove the most frequent axiom from the ontology
+ OWLAxiom toRemove = sortedEntries.get(0).getKey();
+ removeAxiom(toRemove);
+
+ //recompute the unsatisfiable classes
+ logger.info("Reclassifying...");
+ startTime = System.currentTimeMillis();
+ reasoner.classify();
+ logger.info("...done in " + (System.currentTimeMillis()-startTime) + "ms.");
+
+ //recompute unsatisfiable object properties
+ unsatObjectProperties = getUnsatisfiableObjectProperties(reasoner);
+ logger.info("Remaining unsatisfiable object properties: " + unsatObjectProperties.size());
+
+ //save
+ if((unsatPropCnt - unsatObjectProperties.size()) >= 1){
+ save("log/dbpedia_" + cnt + "cls" + unsatPropCnt + "prop.owl");
+ unsatPropCnt = unsatObjectProperties.size();
+ }
+
+ //recompute explanations if necessary
+ logger.info("Recomputing explanations...");
+ startTime = System.currentTimeMillis();
+ refillExplanations(unsatObjectProperties, entity2Explanations);
+ logger.info("...done in " + (System.currentTimeMillis()-startTime) + "ms.");
+
+ System.gc();
+ }
+ }
+
try {
incoherentOntology.getOWLOntologyManager().saveOntology(getOntologyWithAnnotations(incoherentOntology), new RDFXMLOntologyFormat(), new BufferedOutputStream(new FileOutputStream("log/dbpedia_coherent.owl")));
} catch (OWLOntologyStorageException e) {
@@ -238,7 +286,6 @@
} catch (FileNotFoundException e) {
e.printStackTrace();
}
- System.out.println(incoherentOntology.getLogicalAxiomCount());
return getOntologyWithAnnotations(incoherentOntology);
}
@@ -584,17 +631,22 @@
this.numberOfJustifications = numberOfJustifications;
}
+ public void setComputeParallel(boolean computeParallel) {
+ this.computeParallel = computeParallel;
+ }
+
public static void main(String[] args) throws Exception{
Logger.getLogger(RBox.class.getName()).setLevel(Level.OFF);
OWLOntologyManager man = OWLManager.createOWLOntologyManager();
- if(args.length != 3){
- System.out.println("USAGE: JustificationBasedCoherentOntologyExtractor <incoherent.owl> <numberOfJustifcations> <preferRootClasses(true|false)>");
+ if(args.length != 4){
+ System.out.println("USAGE: JustificationBasedCoherentOntologyExtractor <incoherent.owl> <numberOfJustifcations> <preferRootClasses(true|false)> <computeParallel(true|false)>");
System.exit(0);
}
String filename = args[0];
int numberOfJustifications = Integer.parseInt(args[1]);
boolean preferRoots = Boolean.valueOf(args[2]);
+ boolean computeParallel = Boolean.valueOf(args[3]);
System.out.println("Loading ontology...");
File file = new File(filename);
@@ -620,6 +672,7 @@
JustificationBasedCoherentOntologyExtractor extractor = new JustificationBasedCoherentOntologyExtractor();
extractor.setNumberOfJustifications(numberOfJustifications);
+ extractor.setComputeParallel(computeParallel);
OWLOntology coherentOntology = extractor.getCoherentOntology(schema, preferRoots);
System.out.println("Coherent ontology contains " + coherentOntology.getLogicalAxiomCount() + " logical axioms.");
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
