Revision: 2093
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2093&view=rev
Author: lorenz_b
Date: 2010-03-06 18:44:55 +0000 (Sat, 06 Mar 2010)
Log Message:
-----------
Started implementing axiom editing option. Updated SwingX lib.
Modified Paths:
--------------
trunk/build.xml
trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java
trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_ontologies.txt
trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java
trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java
trunk/src/dl-learner/org/dllearner/tools/ore/explanation/RootFinder.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTable.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ExplanationTableModel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairDialog.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/RepairPlanPanel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/ResultTableModel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/StatsPanel.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/TextAreaRenderer.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/descriptors/UnsatisfiableExplanationPanelDescriptor.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/ManualLearnPanel.java
Added Paths:
-----------
trunk/lib/ore-tool/swingx-1.6.jar
trunk/src/dl-learner/org/dllearner/tools/ore/cache/
trunk/src/dl-learner/org/dllearner/tools/ore/cache/OWLEntityRenderingCache.java
trunk/src/dl-learner/org/dllearner/tools/ore/cache/OWLObjectRenderingCache.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/AutoCompleterMatcher.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditor.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ExpressionEditorPreferences.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OREOWLEntityChecker.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLAutoCompleter.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLClassAxiomChecker.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLClassAxiomEditor.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLEntityFinder.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLExpressionChecker.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLExpressionHistoryCompleter.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/OWLExpressionParserException.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/editor/ParserUtil.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/KeywordColorMap.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/rendering/OWLEntityRenderer.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/ManualLearnPanel2.java
trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/UnsatisfiableExplanationPanel2.java
Removed Paths:
-------------
trunk/lib/ore-tool/swingx-1.0.jar
Modified: trunk/build.xml
===================================================================
--- trunk/build.xml 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/build.xml 2010-03-06 18:44:55 UTC (rev 2093)
@@ -569,7 +569,7 @@
<fileset dir="${source}/META-INF" includes="MANIFEST.MF," />
</copy>
<copy toDir="${temp}/lib" >
- <fileset dir="${lib_dir}/ore-tool" includes="swingx-1.0.jar" />
+ <fileset dir="${lib_dir}/ore-tool" includes="swingx-1.6.jar" />
</copy>
<copy toDir="${temp}/lib" >
<fileset dir="${lib_dir}/jena" includes="json.jar" />
Deleted: trunk/lib/ore-tool/swingx-1.0.jar
===================================================================
(Binary files differ)
Added: trunk/lib/ore-tool/swingx-1.6.jar
===================================================================
(Binary files differ)
Property changes on: trunk/lib/ore-tool/swingx-1.6.jar
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Modified: trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java 2010-03-06 18:44:55 UTC (rev 2093)
@@ -62,6 +62,7 @@
import org.dllearner.utilities.Helper;
import org.dllearner.utilities.owl.ConceptComparator;
import org.dllearner.utilities.owl.ConceptTransformation;
+import org.dllearner.utilities.owl.DLLearnerDescriptionConvertVisitor;
import org.dllearner.utilities.owl.OWLAPIAxiomConvertVisitor;
import org.dllearner.utilities.owl.OWLAPIConverter;
import org.dllearner.utilities.owl.OWLAPIDescriptionConvertVisitor;
@@ -116,7 +117,7 @@
private PelletReasonerConfigurator configurator;
-
+ private Set<OWLOntology> loadedOntologies;
private ConceptComparator conceptComparator = new ConceptComparator();
private RoleComparator roleComparator = new RoleComparator();
@@ -127,6 +128,7 @@
SortedSet<DatatypeProperty> booleanDatatypeProperties = new TreeSet<DatatypeProperty>();
SortedSet<DatatypeProperty> doubleDatatypeProperties = new TreeSet<DatatypeProperty>();
SortedSet<DatatypeProperty> intDatatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<DatatypeProperty> stringDatatypeProperties = new TreeSet<DatatypeProperty>();
TreeSet<Individual> individuals = new TreeSet<Individual>();
@@ -174,7 +176,7 @@
namedObjectComparator);
Set<OWLIndividual> owlIndividuals = new TreeSet<OWLIndividual>(
namedObjectComparator);
-
+ loadedOntologies = new HashSet<OWLOntology>();
Set<OWLOntology> allImports = new HashSet<OWLOntology>();
prefixes = new TreeMap<String, String>();
@@ -205,6 +207,7 @@
Set<OWLOntology> imports = manager
.getImportsClosure(ontology);
allImports.addAll(imports);
+ loadedOntologies.addAll(imports);
// System.out.println(imports);
for (OWLOntology ont : imports) {
classes.addAll(ont.getReferencedClasses());
@@ -249,7 +252,9 @@
else if(uri.equals(Datatype.DOUBLE.getURI()))
doubleDatatypeProperties.add(dtp);
else if(uri.equals(Datatype.INT.getURI()))
- intDatatypeProperties.add(dtp);
+ intDatatypeProperties.add(dtp);
+ else if(uri.equals(Datatype.STRING.getURI()))
+ stringDatatypeProperties.add(dtp);
}
}
datatypeProperties.add(dtp);
@@ -1466,6 +1471,13 @@
return intDatatypeProperties;
}
+ /**
+ * @return the intDatatypeProperties
+ */
+ @Override
+ public SortedSet<DatatypeProperty> getStringDatatypePropertiesImpl() {
+ return stringDatatypeProperties;
+ }
public OWLOntology getOWLAPIOntologies() {
return owlAPIOntologies.get(0);
@@ -1543,5 +1555,29 @@
return classifier;
}
+ public Set<OWLOntology> getLoadedOWLAPIOntologies(){
+ return loadedOntologies;
+ }
+
+ public OWLDataFactory getOWLDataFactory(){
+ return factory;
+ }
+
+ /**
+ * Returns asserted class definitions of given class
+ * @param nc the class
+ * @return the asserted class definitions
+ */
+ @Override
+ protected Set<Description> getAssertedDefinitionsImpl(NamedClass nc){
+ OWLClass owlClass = OWLAPIDescriptionConvertVisitor.getOWLDescription(nc).asOWLClass();
+ Set<OWLDescription> owlAPIDescriptions = owlClass.getEquivalentClasses(new HashSet<OWLOntology>(owlAPIOntologies));
+ Set<Description> definitions = new HashSet<Description>();
+ for(OWLDescription owlAPIDescription : owlAPIDescriptions) {
+ definitions.add(DLLearnerDescriptionConvertVisitor.getDLLearnerDescription(owlAPIDescription));
+ }
+ return definitions;
+ }
+
}
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java 2010-03-06 18:44:55 UTC (rev 2093)
@@ -27,6 +27,7 @@
import java.net.URI;
import java.util.HashMap;
import java.util.HashSet;
+import java.util.Hashtable;
import java.util.Map;
import java.util.Set;
import java.util.Map.Entry;
@@ -58,6 +59,8 @@
public static void main(String[] args) throws ComponentInitException, MalformedURLException {
Map<String, Integer> ontologyRelClassCountMap = new HashMap<String, Integer>();
+ Set<String> inconsistentOntologies = new HashSet<String>();
+ Hashtable<String, Integer> incohaerentOntologies = new Hashtable<String, Integer>();
File file = new File(args[0]);
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
@@ -70,9 +73,10 @@
try {
BufferedReader in = new BufferedReader(new FileReader(file));
sb2.append("#axioms \t #classes \t #inds. \t #ob.prop. \t #da.prop. classif. time(ms) \t url \n");
+ int count = 1;
while ((url = in.readLine()) != null) {
try {
- System.out.println(url);
+ System.out.println(count++ + ":" + url);
ontology = manager.loadOntology(URI.create(url));
ontologies.add(ontology);
ontologies.addAll(manager.getImportsClosure(ontology));
@@ -88,13 +92,19 @@
sb2.append(ontology.getReferencedDataProperties().size() + "\t");
sb.append("#individuals: " + reasoner.getIndividuals().size() + "\n");
sb2.append(url + "\t");
- reasoner.setOntology(ontology);
+
if (reasoner.isConsistent()) {
long startTime = System.currentTimeMillis();
reasoner.classify();
sb.append("classification time in ms: " + (System.currentTimeMillis() - startTime) + "\n");
- sb.append("#unsatisfiable classes: " + reasoner.getInconsistentClasses().size() + "\n");
+ int unsatCount = reasoner.getInconsistentClasses().size();
+ sb.append("#unsatisfiable classes: " + unsatCount + "\n");
+ if(unsatCount > 0){
+ incohaerentOntologies.put(url, Integer.valueOf(unsatCount));
+ }
+
int classCount = 0;
+
StringBuffer tmp = new StringBuffer();
if (reasoner.getIndividuals().size() > 0) {
for (OWLClass cl : reasoner.getClasses()) {
@@ -116,20 +126,34 @@
}
}
}
+
sb.append("#classes with min. " + minInstanceCount + " individuals: " + classCount + "\n");
if(displayClasses) {
sb.append(tmp);
}
ontologyRelClassCountMap.put(url, classCount);
} else {
+ inconsistentOntologies.add(url);
sb.append("Ontology is inconsistent. \n");
}
sb.append("++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ \n");
sb2.append("\n");
-
+
reasoner.unloadOntologies(ontologies);
manager.removeOntology(URI.create(url));
ontologies.clear();
+ System.out.println(inconsistentOntologies.size() + " inconsistent ontologies:");
+ int cnt = 1;
+ for(String uri : inconsistentOntologies){
+ System.out.println(uri);
+ }
+ System.out.println();
+ System.out.println(incohaerentOntologies.size() + " incohaerent ontologies(#unsatisfiable classes):");
+ cnt = 1;
+ for (Entry<String, Integer> ent : incohaerentOntologies.entrySet()) {
+ System.out.println(cnt++ + ": " + ent.getKey() + "(" + ent.getValue() + ")");
+ }
+ System.out.println();
} catch (OWLOntologyCreationException e) {
// TODO Auto-generated catch block
e.printStackTrace();
@@ -141,10 +165,18 @@
}
System.out.println(sb.toString());
- // System.out.println(sb2.toString());
+ System.out.println(sb2.toString());
for (Entry<String, Integer> ent : ontologyRelClassCountMap.entrySet()) {
System.out.println(ent.getValue() + "\t - \t" + ent.getKey());
}
+ System.out.println("Inconsistent ontologies:");
+ for(String uri : inconsistentOntologies){
+ System.out.println(uri);
+ }
+ System.out.println("Incohaerent ontologies(#unsatisfiable classes):");
+ for (Entry<String, Integer> ent : incohaerentOntologies.entrySet()) {
+ System.out.println(ent.getKey() + "(" + ent.getValue() + ")");
+ }
}
}
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt 2010-03-06 18:44:55 UTC (rev 2093)
@@ -1,3 +1,6 @@
+http://www.biopax.org/release/biopax-level2.owl
+http://www.ifomis.org/bfo/owl
+http://www.acl.icnet.uk/~mw/MDM0.73.owl
http://www.co-ode.org/ontologies/amino-acid/2005/10/11/amino-acid.owl
http://transontology.org/bhakti_gaudiya/bhakti.owl
http://protege.cim3.net/file/pub/ontologies/camera/camera.owl
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt 2010-03-06 18:44:55 UTC (rev 2093)
@@ -1,3 +1,33 @@
+http://www.biopax.org/release/biopax-level2.owl
+#logical axioms: 338
+#classes: 40
+#object properties: 35
+#data properties: 39
+#individuals: 0
+classification time in ms: 144
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.ifomis.org/bfo/owl
+#logical axioms: 95
+#classes: 39
+#object properties: 2
+#data properties: 2
+#individuals: 0
+classification time in ms: 198
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.acl.icnet.uk/~mw/MDM0.73.owl
+#logical axioms: 878
+#classes: 196
+#object properties: 24
+#data properties: 5
+#individuals: 113
+classification time in ms: 478
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 31
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
http://www.co-ode.org/ontologies/amino-acid/2005/10/11/amino-acid.owl
#logical axioms: 469
#classes: 54
@@ -4,7 +34,7 @@
#object properties: 16
#data properties: 3
#individuals: 1
-classification time in ms: 548
+classification time in ms: 527
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -14,7 +44,7 @@
#object properties: 4
#data properties: 11
#individuals: 0
-classification time in ms: 148
+classification time in ms: 272
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -24,7 +54,7 @@
#object properties: 9
#data properties: 10
#individuals: 2
-classification time in ms: 24
+classification time in ms: 9
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -42,17 +72,27 @@
#object properties: 14
#data properties: 2
#individuals: 14
-classification time in ms: 136
+classification time in ms: 76
#unsatisfiable classes: 0
#classes with min. 5 individuals: 1
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://on.cs.unibas.ch/owl/1.0/Context.owl
+#logical axioms: 54
+#classes: 9
+#object properties: 16
+#data properties: 12
+#individuals: 5
+classification time in ms: 12
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
http://www.ecs.soton.ac.uk/%7Eaoj04r/resist.owl
#logical axioms: 240
#classes: 348
#object properties: 136
#data properties: 41
#individuals: 76
-classification time in ms: 786
+classification time in ms: 1580
#unsatisfiable classes: 0
#classes with min. 5 individuals: 15
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -62,7 +102,7 @@
#object properties: 30
#data properties: 37
#individuals: 44
-classification time in ms: 255
+classification time in ms: 199
#unsatisfiable classes: 0
#classes with min. 5 individuals: 4
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -72,7 +112,7 @@
#object properties: 249
#data properties: 76
#individuals: 2466
-classification time in ms: 412
+classification time in ms: 352
#unsatisfiable classes: 0
#classes with min. 5 individuals: 111
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -82,7 +122,7 @@
#object properties: 6
#data properties: 2
#individuals: 7
-classification time in ms: 85
+classification time in ms: 53
#unsatisfiable classes: 0
#classes with min. 5 individuals: 1
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -92,7 +132,7 @@
#object properties: 25
#data properties: 23
#individuals: 2572
-classification time in ms: 18096
+classification time in ms: 18544
#unsatisfiable classes: 0
#classes with min. 5 individuals: 167
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -102,7 +142,7 @@
#object properties: 62
#data properties: 34
#individuals: 0
-classification time in ms: 155
+classification time in ms: 125
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -112,7 +152,7 @@
#object properties: 6
#data properties: 3
#individuals: 6
-classification time in ms: 28
+classification time in ms: 31
#unsatisfiable classes: 3
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -122,7 +162,7 @@
#object properties: 28
#data properties: 16
#individuals: 62
-classification time in ms: 34
+classification time in ms: 33
#unsatisfiable classes: 0
#classes with min. 5 individuals: 7
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -132,7 +172,7 @@
#object properties: 88
#data properties: 50
#individuals: 712
-classification time in ms: 114049
+classification time in ms: 142437
#unsatisfiable classes: 0
#classes with min. 5 individuals: 80
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -142,7 +182,7 @@
#object properties: 145
#data properties: 8
#individuals: 35
-classification time in ms: 92
+classification time in ms: 93
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -152,7 +192,7 @@
#object properties: 230
#data properties: 8
#individuals: 45
-classification time in ms: 608
+classification time in ms: 361
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -162,7 +202,7 @@
#object properties: 135
#data properties: 29
#individuals: 42
-classification time in ms: 255
+classification time in ms: 258
#unsatisfiable classes: 0
#classes with min. 5 individuals: 2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -172,7 +212,7 @@
#object properties: 16
#data properties: 3
#individuals: 21
-classification time in ms: 154
+classification time in ms: 143
#unsatisfiable classes: 1
#classes with min. 5 individuals: 4
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -182,7 +222,7 @@
#object properties: 242
#data properties: 44
#individuals: 193
-classification time in ms: 12378
+classification time in ms: 12456
#unsatisfiable classes: 2
#classes with min. 5 individuals: 57
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -192,7 +232,7 @@
#object properties: 315
#data properties: 2
#individuals: 0
-classification time in ms: 454
+classification time in ms: 252
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -202,7 +242,7 @@
#object properties: 53
#data properties: 32
#individuals: 55
-classification time in ms: 75
+classification time in ms: 82
#unsatisfiable classes: 0
#classes with min. 5 individuals: 2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -212,10 +252,10 @@
#object properties: 64
#data properties: 14
#individuals: 4
-classification time in ms: 36047
+classification time in ms: 38372
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
http://www.uv.es/%7Eagentes/SVECore.owl
#logical axioms: 134
#classes: 20
@@ -232,7 +272,7 @@
#object properties: 101
#data properties: 3
#individuals: 0
-classification time in ms: 1474
+classification time in ms: 1425
#unsatisfiable classes: 144
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -250,7 +290,7 @@
#object properties: 8
#data properties: 6
#individuals: 14
-classification time in ms: 133
+classification time in ms: 55
#unsatisfiable classes: 1
#classes with min. 5 individuals: 1
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -260,7 +300,7 @@
#object properties: 14
#data properties: 2
#individuals: 0
-classification time in ms: 46826
+classification time in ms: 48140
#unsatisfiable classes: 0
#classes with min. 5 individuals: 0
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -270,7 +310,7 @@
#object properties: 18
#data properties: 3
#individuals: 206
-classification time in ms: 11631
+classification time in ms: 12675
#unsatisfiable classes: 0
#classes with min. 5 individuals: 41
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -280,16 +320,19 @@
0 - http://www.tssg.org/public/ontologies/omg/mof/2004/MOF.owl
2 - http://protege.cim3.net/file/pub/ontologies/shuttle/shuttle-crew-ont.owl
167 - http://i2geo.net/ontologies/current/GeoSkills.owl
+0 - http://lsi.ugr.es/joseluisgs/videojuegos.owl
2 - http://www.tssg.org/public/ontologies/omg/odm/2006/odm_2006_04_03_kludge.owl
-0 - http://lsi.ugr.es/joseluisgs/videojuegos.owl
+31 - http://www.acl.icnet.uk/~mw/MDM0.73.owl
7 - http://lifeeventontology.googlepages.com/leo.owl
111 - http://www.fadyart.com/ontologies/data/Finance.owl
0 - http://philosurfical.open.ac.uk/ontology/philosurfical.owl
0 - http://www.tssg.org/public/ontologies/omg/qvt/2005/QVT.owl
+1 - http://protege.cim3.net/file/pub/ontologies/travel/travel.owl
1 - http://transontology.org/consciousness/consciousness1.owl
-1 - http://protege.cim3.net/file/pub/ontologies/travel/travel.owl
+0 - http://on.cs.unibas.ch/owl/1.0/Context.owl
15 - http://www.ecs.soton.ac.uk/%7Eaoj04r/resist.owl
0 - http://www.loria.fr/%7Ecoulet/ontology/snpontology/version1.3/snpontology_full.owl
+0 - http://www.biopax.org/release/biopax-level2.owl
57 - http://swap.uib.es/ontologies/performance.owl
0 - http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl
0 - http://protege.cim3.net/file/pub/ontologies/ka/ka.owl
@@ -297,7 +340,17 @@
41 - http://protege.cim3.net/file/pub/ontologies/wine/wine.owl
0 - http://protege.cim3.net/file/pub/ontologies/camera/camera.owl
0 - http://transontology.org/bhakti_gaudiya/bhakti.owl
+0 - http://www.ifomis.org/bfo/owl
0 - http://www.co-ode.org/ontologies/amino-acid/2005/10/11/amino-acid.owl
4 - http://protege.cim3.net/file/pub/ontologies/people.pets/people+pets.owl
80 - http://mged.sourceforge.net/ontologies/MGEDOntology.owl
-0 - http://protege.cim3.net/file/pub/ontologies/koala/koala.owl
\ No newline at end of file
+0 - http://protege.cim3.net/file/pub/ontologies/koala/koala.owl
+Inconsistent ontologies:
+http://www.bltk.ru/OWL/tourism.owl
+http://www.bltk.ru/OWL/camera2.owl
+Incohaerent ontologies(#unsatisfiable classes):
+http://protege.cim3.net/file/pub/ontologies/people.pets/people+pets.owl(1)
+http://protege.cim3.net/file/pub/ontologies/koala/koala.owl(3)
+http://protege.cim3.net/file/pub/ontologies/travel/travel.owl(1)
+http://swap.uib.es/ontologies/performance.owl(2)
+http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl(144)
\ No newline at end of file
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_ontologies.txt
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_ontologies.txt 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_ontologies.txt 2010-03-06 18:44:55 UTC (rev 2093)
@@ -1,232 +0,0 @@
-http://owl.cs.manchester.ac.uk/repository/download?ontology=file:/Users/seanb/Desktop/Cercedilla2005/hands-on/people.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=ftp://rgd.mcw.edu/pub/data_release/pathway.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://PCS.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://attempto.ifi.uzh.ch/ontologies/owlswrl/test&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://bioontology.org/projects/ontologies/fma/fmaOwlDlComponent_1_4_0&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ccdb.ucsd.edu/SAO/1.2&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://cmt&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://cocus&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://confOf&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://conference&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://confious&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://edas&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ekaw&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://iasted&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://keg.cs.tsinghua.edu.cn/ontology/software&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ksg.meraka.co.za/adolena.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19103&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19107&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19108&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19109&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19111&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19112&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://loki.cae.drexel.edu/%7Ewbs/ontology/2004/09/iso-19115&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://lsdis.cs.uga.edu/projects/glycomics/propreo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://mged.sourceforge.net/ontologies/MGEDOntology.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://micro&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://miniTambis&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://msi-ontology.sourceforge.net/ontology/NMR.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://myreview&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.07.12e.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.08.02d.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.08.08d.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/caro/caro.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/caro/spatial.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/cell_type/cell.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/amphibian/amphibian_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/fish/medaka_ontology.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/fish/teleost_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/fish/zebrafish_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/fly/fly_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/frog/xenopus_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/human/human-dev-anat-abstract.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/human/human-dev-anat-staged.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/mosquito_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/mouse/EMAP.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/mouse/adult_mouse_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/spider/spider_comparative_biology.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/animal_gross_anatomy/worm/worm_anatomy/WBbt.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/microbial_gross_anatomy/dictyostelium/dictyostelium_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/anatomy/gross_anatomy/microbial_gross_anatomy/fungi/fungal_anatomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/chemical/chebi.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/developmental/animal_development/fly/fly_development.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/developmental/animal_development/worm/worm_development.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/developmental/plant_development/plant/po_temporal.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/environmental/envo.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/evidence_code.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/experimental_conditions/imaging_methods/image.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/genomic-proteomic/gene_ontology_edit.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/genomic-proteomic/pro.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/environment/environment_ontology.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/human_disease.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/infectious_disease.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/mammalian_phenotype.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/mosquito_insecticide_resistance.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/plant_traits/plant_trait.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/quality.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/transmission_process.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/phenotype/worm_phenotype.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/physicochemical/rex.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/taxonomy/fly_taxonomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.cvs.sourceforge.net/*checkout*/obo/obo/ontology/taxonomy/teleost_taxonomy.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.sourceforge.net/cl.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.sourceforge.net/so.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://obo.svn.sourceforge.net/viewvc/*checkout*/obo/fma-conversion/trunk/fma_obo.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/annotation&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/atom-common&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/atom-complex-disjoint&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/atom-complex-proton-2.0.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/atom-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/bfo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/biochemical-reaction-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/biochemistry-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/biochemistry-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/biological-measure-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/bro-owl11&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/bro-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/bro&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/chemistry-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/chemistry-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/element-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/goslim&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/molecule-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/molecule-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/nulo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/organic-compound-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/organic-compound-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/organic-functional-group-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/organic-functional-group-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/periodic-table-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/periodic-table-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/pharmacogenomics-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/pharmacogenomics-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/physics-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/physics-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/property-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/property-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/subatomic-particle-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/subatomic-particle-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/unit-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/unit-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/yowl-complex&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://ontology.dumontierlab.com/yowl-primitive&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://org.semanticweb.ontologies/Ontology1225724807074194000&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://org.semanticweb.ontologies/Ontology1225725433367251000&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://owl.cs.manchester.ac.uk/repository/download?ontology%3Dinteresting_equivalences.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://owl.cs.manchester.ac.uk/repository/download?ontology%3Dtopbotprop.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://paperdyne&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://pcs&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://pellet.owldl.com/ontologies/cancer_cc.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://pellet.owldl.com/ontologies/cancer_ra.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.stanford.edu/plugins/owl/dc/protege-dc.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.stanford.edu/plugins/owl/owl-library/koala.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.stanford.edu/plugins/owl/protege&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://psidev.sourceforge.net/mi/psi-mi.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://psidev.sourceforge.net/mod/data/PSI-MOD.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://purl.org/NET/biopax-obo/examples/reaction.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://purl.org/obo/owl/OBO_REL&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://purl.org/ontology/po/&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://reliant.teknowledge.com/DAML/Economy.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://reliant.teknowledge.com/DAML/Transportation.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sigkdd&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://smi.stanford.edu/people/dameron/ontology/anatomy/heart&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://song.cvs.sourceforge.net/viewvc/*checkout*/song/ontology/so-xp.obo?revision%3D1.163&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/biosphere.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/data.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/earthrealm.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/human_activities.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/material_thing.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/numerics.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/phenomena.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/process.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/property.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/substance.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/time.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/1.1/units.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/biosphere.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/earthrealm.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/human_activities.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/material_thing.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/numerics.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/process.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/property.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/space.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/substance.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/time.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://sweet.jpl.nasa.gov/ontology/units.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://tripcom.tid.es/DAM&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.berkeleybop.org/ontologies/obo-all/molecular_function_xp_chebi/molecular_function_xp_chebi.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.berkeleybop.org/ontologies/obo-all/worm_phenotype_xp/worm_phenotype_xp.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.biopax.org/release/biopax-level2.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.bootstrep.eu/ontology/GRO&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.bpiresearch.com/BPMO/2004/03/03/cdl/Countries&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/nautilus&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/amino-acid/2006/05/18/amino-acid.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/brokenPizza/2005/07/06/brokenPizza.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/eukariotic/2005/06/01/eukariotic.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/galen&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/photography/photography.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/pizza/pizza.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/ontologies/ribosome/ribosome.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/roberts/family-tree.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/roberts/particle.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.co-ode.org/roberts/pto.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.man.ac.uk/%7Ehorridgm/ontologies/aero.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.man.ac.uk/%7Ehorridgm/ontologies/complexity/UnsatCook.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.man.ac.uk/%7Ehorrocks/OWL/Ontologies/galen.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/mob.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/obr.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/org.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/owl/ontologies/tambis-patched.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/proc.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.cs.manchester.ac.uk/substance.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.ebi.ac.uk/sbo/docs/exports/SBO_OBO.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.ebi.ac.uk/%7Ekirill/FIX/fix.obo&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/action.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/expression.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/legal-action.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/legal-role.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/lkif-core.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/lkif-rules.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/lkif-top.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/mereology.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/norm.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/process.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/relative-places.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/role.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/time-modification.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.estrellaproject.org/lkif-core/time.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.gong.manchester.ac.uk/cton.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.inoh.org/inohblog/main/MoleculeRoleOntology_222.zip&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.inter2geo.eu/2008/ontology/ontology.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.lehigh.edu/%7Ezhp2/2004/0401/univ-bench.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.loa-cnr.it/Files/DLPOnts/DOLCE_Lite_397.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.loa-cnr.it/ontologies/DUL.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.loria.fr/%7Ecoulet/ontology/sopharm/version2.0/sopharm.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/2003/nciOncology.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/dav/ontologies/commonsense/food/foodswap.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/dav/ontologies/policyContainmentTest.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/ontologies/GH5Complete.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/ontologies/IEDM.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/ontologies/SC.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/ontologies/debugging/university.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mindswap.org/ontologies/family.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mygrid.org.uk/mygrid-moby-service&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mygrid.org.uk/ontology/mygrid-unclassified&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.mygrid.org.uk/ontology&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.opengalen.org/owl/opengalen-no-propchains.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.ordnancesurvey.co.uk/ontology/BuildingsAndPlaces/v1.1/BuildingsAndPlaces.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.ordnancesurvey.co.uk/ontology/Hydrology/v2.0/Hydrology.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.owl-ontologies.com/Movie.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.owl-ontologies.com/Ontology1191594278.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.owl-ontologies.com/generations-minus-same-individual-axioms.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.owl-ontologies.com/generations.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.owl-ontologies.com/unnamed.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontolgies/chemical&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontologies/2007/9/AirSystem.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontologies/2008/7/Ontology1217839243861.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontologies/FMA-1.4.0-allinone.owl&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontologies/Three-SAT&format=RDF/XML
-http://owl.cs.manchester.ac.uk/repository/download?ontology=http://www.semanticweb.org/ontologies/propertyinferences.owl&format=RDF/XML
\ No newline at end of file
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java 2010-03-06 18:44:55 UTC (rev 2093)
@@ -43,6 +43,7 @@
import org.dllearner.tools.ore.ui.wizard.descriptors.ManualLearnPanelDescriptor;
import org.dllearner.tools.ore.ui.wizard.descriptors.RepairPanelDescriptor;
import org.dllearner.tools.ore.ui.wizard.descriptors.SavePanelDescriptor;
+import org.dllearner.tools.ore.ui.wizard.descriptors.UnsatisfiableExplanationPanelDescriptor;
import com.jgoodies.looks.plastic.PlasticLookAndFeel;
@@ -113,6 +114,8 @@
WizardPanelDescriptor descriptor5 = new ClassChoosePanelDescriptor();
wizard.registerWizardPanel(ClassChoosePanelDescriptor.IDENTIFIER, descriptor5);
+ wizard.registerWizardPanel(UnsatisfiableExplanationPanelDescriptor.IDENTIFIER, new UnsatisfiableExplanationPanelDescriptor());
+
WizardPanelDescriptor descriptor9 = new AutoLearnPanelDescriptor();
wizard.registerWizardPanel(AutoLearnPanelDescriptor.IDENTIFIER, descriptor9);
Modified: trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java 2010-03-05 14:03:25 UTC (rev 2092)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/OREManager.java 2010-03-06 18:44:55 UTC (rev 2093)
@@ -33,18 +33,30 @@
import org.dllearner.learningproblems.ClassLearningProblem;
import org.dllearner.learningproblems.EvaluatedDescriptionClass;
import org.dllearner.reasoning.PelletReasoner;
+import org.dllearner.tools.ore.cache.OWLEntityRenderingCache;
+import org.dllearner.tools.ore.cache.OWLObjectRenderingCache;
import org.dllearner.tools.ore.ui.DescriptionLabel;
+import org.dllearner.tools.ore.ui.editor.OWLEntityFinder;
+import org.dllearner.tools.ore.ui.rendering.OWLEntityRenderer;
import org.dllearner.utilities.owl.OWLAPIConverter;
import org.mindswap.pellet.exceptions.InconsistentOntologyException;
import org.mindswap.pellet.utils.SetUtils;
+import org.semanticweb.owl.io.OWLObjectRenderer;
import org.semanticweb.owl.io.OWLXMLOntologyFormat;
+import org.semanticweb.owl.model.OWLAxiom;
import org.semanticweb.owl.model.OWLDataFactory;
import org.semanticweb.owl.model.OWLDescription;
+import org.semanticweb.owl.model.OWLEntity;
+import org.semanticweb.owl.model.OWLObject;
import org.semanticweb.owl.model.OWLObjectProperty;
+import org.semanticweb.owl.model.OWLOntology;
import org.semanticweb.owl.model.OWLOntologyCreationException;
import org.semanticweb.owl.model.OWLOntologyStorageException;
import org.semanticweb.owl.model.UnknownOWLOntologyException;
+import org.semanticweb.owl.util.SimpleShortFormProvider;
+import uk.ac.manchester.cs.owl.mansyntaxrenderer.ManchesterOWLSyntaxOWLObjectRendererImpl;
+
public class OREManager {
private static OREManager instance;
@@ -70,6 +82,12 @@
private double threshold;
private int minInstanceCount;
+ private OWLObjectRenderingCache owlObjectRenderingCache;
+ private OWLEntityRenderingCache owlEntityRenderingCache;
+ private OWLObjectRenderer owlObjectRenderer;
+ private OWLEntityRenderer owlEntityRenderer;
+ private OWLEntityFinder owlEntityFinder;
+
private List<OREManagerListener> listeners;
@@ -80,6 +98,12 @@
public OREManager(){
cm = ComponentManager.getInstance();
listeners = new ArrayList<OREManagerListener>();
+ owlObjectRenderingCache = new OWLObjectRenderingCache(this);
+ owlEntityRenderingCache = new OW...
[truncated message content] |
