Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2146] trunk
|
From: <lor...@us...> - 2010-05-16 15:27:27
|
Revision: 2146
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2146&view=rev
Author: lorenz_b
Date: 2010-05-16 15:27:19 +0000 (Sun, 16 May 2010)
Log Message:
-----------
2 bugfixes for evaluation plugin.
Added latest Pellet libs 2.1.1.
Updated list and output for Tones and Protege repository ontologies.
Modified Paths:
--------------
trunk/lib/pellet/pellet-core.jar
trunk/lib/pellet/pellet-datatypes.jar
trunk/lib/pellet/pellet-el.jar
trunk/lib/pellet/pellet-explanation.jar
trunk/lib/pellet/pellet-modularity.jar
trunk/lib/pellet/pellet-owlapiv3.jar
trunk/lib/pellet/pellet-query.jar
trunk/lib/pellet/pellet-rules.jar
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/tones_ontologies.txt
trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/GraphicalCoveragePanel.java
trunk/src/dl-learner/org/dllearner/tools/evaluationplugin/META-INF/MANIFEST.MF
Added Paths:
-----------
trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_output.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_output.txt
Removed Paths:
-------------
trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_errors.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_list.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_ontologies_output.txt
trunk/src/dl-learner/org/dllearner/scripts/evaluation/tones_tractable.txt
Modified: trunk/lib/pellet/pellet-core.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-datatypes.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-el.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-explanation.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-modularity.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-owlapiv3.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-query.jar
===================================================================
(Binary files differ)
Modified: trunk/lib/pellet/pellet-rules.jar
===================================================================
(Binary files differ)
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java 2010-05-14 16:02:25 UTC (rev 2145)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/OntologyChecker.java 2010-05-16 15:27:19 UTC (rev 2146)
@@ -20,13 +20,21 @@
package org.dllearner.scripts.evaluation;
import java.io.BufferedReader;
+import java.io.BufferedWriter;
import java.io.File;
import java.io.FileReader;
+import java.io.FileWriter;
import java.io.IOException;
import java.net.MalformedURLException;
+import java.util.Collections;
+import java.util.Comparator;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Hashtable;
+import java.util.Iterator;
+import java.util.LinkedHashMap;
+import java.util.LinkedList;
+import java.util.List;
import java.util.Map;
import java.util.Set;
import java.util.Map.Entry;
@@ -40,8 +48,15 @@
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
+import org.semanticweb.owlapi.reasoner.ConsoleProgressMonitor;
+import org.semanticweb.owlapi.reasoner.FreshEntityPolicy;
+import org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy;
+import org.semanticweb.owlapi.reasoner.OWLReasoner;
+import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
+import org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor;
+import org.semanticweb.owlapi.reasoner.SimpleConfiguration;
+import org.semanticweb.owlapi.reasoner.TimeOutException;
-import com.clarkparsia.pellet.owlapiv3.PelletReasoner;
import com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory;
/**
@@ -59,6 +74,8 @@
private static boolean displayInstances = true;
// set to Integer.MAX_VALUE for displaying all instances
private static int maxInstances = 10;
+
+ private static long reasonerTaskTimeoutInMinutes = 10;
public static void main(String[] args) throws ComponentInitException, MalformedURLException {
Map<String, Integer> ontologyRelClassCountMap = new HashMap<String, Integer>();
@@ -67,9 +84,12 @@
File file = new File(args[0]);
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
- PelletReasoner reasoner;
+ OWLReasoner reasoner;
+ ReasonerProgressMonitor progressMonitor = new ConsoleProgressMonitor();
+ FreshEntityPolicy freshEntityPolicy = FreshEntityPolicy.ALLOW;
+ IndividualNodeSetPolicy individualNodeSetPolicy = IndividualNodeSetPolicy.BY_SAME_AS;
+ OWLReasonerConfiguration conf = new SimpleConfiguration(progressMonitor, freshEntityPolicy, reasonerTaskTimeoutInMinutes * 60000, individualNodeSetPolicy);
OWLOntology ontology;
- Set<OWLOntology> ontologies = new HashSet<OWLOntology>();
StringBuffer sb = new StringBuffer();
StringBuffer sb2 = new StringBuffer();
String url = null;
@@ -79,11 +99,15 @@
int count = 1;
while ((url = in.readLine()) != null) {
try {
+ if(url.startsWith("#")){
+ continue;
+ }
+ url = url.replace("%26", "&");
+ url = url.replace("%3D", "=");
System.out.println(count++ + ":" + url);
+ manager = null;
+ manager = OWLManager.createOWLOntologyManager();
ontology = manager.loadOntology(IRI.create(url));
- ontologies.add(ontology);
- ontologies.addAll(manager.getImportsClosure(ontology));
- reasoner = new PelletReasonerFactory().createReasoner(ontology);
sb.append(url + "\n");
sb.append("#logical axioms: " + ontology.getLogicalAxiomCount() + "\n");
sb2.append(ontology.getLogicalAxiomCount() + "\t");
@@ -96,55 +120,63 @@
sb.append("#individuals: " + ontology.getIndividualsInSignature(true).size() + "\n");
sb2.append(url + "\t");
- if (reasoner.isConsistent()) {
- long startTime = System.currentTimeMillis();
- reasoner.prepareReasoner();
- sb.append("classification time in ms: " + (System.currentTimeMillis() - startTime) + "\n");
- int unsatCount = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom().size();
- sb.append("#unsatisfiable classes: " + unsatCount + "\n");
- if(unsatCount > 0){
- incohaerentOntologies.put(url, Integer.valueOf(unsatCount));
- }
-
- int classCount = 0;
-
- StringBuffer tmp = new StringBuffer();
- if (ontology.getIndividualsInSignature(true).size() > 0) {
- for (OWLClass cl : ontology.getClassesInSignature(true)) {
- Set<OWLNamedIndividual> inds = reasoner.getInstances(cl, false).getFlattened();
- if (inds.size() >= minInstanceCount) {
- classCount++;
- tmp.append(" " + cl.getIRI() + "\n");
- if(displayInstances) {
- int indCount = 0;
- for(OWLIndividual ind : inds) {
- tmp.append(" " + ind.toString() + "\n");
- indCount++;
- if(indCount >= maxInstances) {
- tmp.append(" ... " + inds.size() + " more\n");
- break;
+ if(ontology.getIndividualsInSignature(true).size() > 0){
+ //Pellet
+ reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology, conf);
+ //HermiT
+// reasoner = new Reasoner(ontology);
+ if (reasoner.isConsistent()) {
+ long startTime = System.currentTimeMillis();
+ reasoner.prepareReasoner();
+ sb.append("classification time in ms: " + (System.currentTimeMillis() - startTime) + "\n");
+ int unsatCount = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom().size();
+ sb.append("#unsatisfiable classes: " + unsatCount + "\n");
+ if(unsatCount > 0){
+ incohaerentOntologies.put(url, Integer.valueOf(unsatCount));
+ }
+
+ int classCount = 0;
+
+ StringBuffer tmp = new StringBuffer();
+ if (ontology.getIndividualsInSignature(true).size() > 0) {
+ for (OWLClass cl : ontology.getClassesInSignature(true)) {
+ if(!cl.isOWLThing()){
+ Set<OWLNamedIndividual> inds = reasoner.getInstances(cl, false).getFlattened();
+ if (inds.size() >= minInstanceCount) {
+ classCount++;
+ tmp.append(" " + cl.getIRI() + "\n");
+ if(displayInstances) {
+ int indCount = 0;
+ for(OWLIndividual ind : inds) {
+ tmp.append(" " + ind.toString() + "\n");
+ indCount++;
+ if(indCount >= maxInstances) {
+ tmp.append(" ... " + (inds.size()-maxInstances+1) + " more\n");
+ break;
+ }
+ }
}
- }
+ }
}
}
}
+
+ 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("#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");
+ reasoner.dispose();
}
sb.append("++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ \n");
sb2.append("\n");
- reasoner.dispose();
+
manager.removeOntology(ontology);
- ontologies.clear();
System.out.println(inconsistentOntologies.size() + " inconsistent ontologies:");
int cnt = 1;
for(String uri : inconsistentOntologies){
@@ -158,28 +190,72 @@
}
System.out.println();
} catch (OWLOntologyCreationException e) {
- // TODO Auto-generated catch block
+ sb.append(url + "\n");
+ sb.append("ERROR: Could not load ontology.");
e.printStackTrace();
+ } catch (TimeOutException e){
+ sb.append(url + "\n");
+ sb.append("TIMEOUT: Some reasoning tasks are too complex.");
+ e.printStackTrace();
}
}
} catch (IOException e) {
e.printStackTrace();
}
-
- System.out.println(sb.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(sb.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() + ")");
+// }
+ BufferedWriter out;
+ try {
+ out = new BufferedWriter(new FileWriter("protege_output.txt"));
+ out.write(sb.toString());
+ out.write(sb2.toString());
+ out.write("\n");
+ ontologyRelClassCountMap = sortByValue(ontologyRelClassCountMap);
+ for (Entry<String, Integer> ent : ontologyRelClassCountMap.entrySet()) {
+ out.write(ent.getValue() + "\t - \t" + ent.getKey() + "\n");
+ }
+ out.write("Inconsistent ontologies:\n");
+ for(String uri : inconsistentOntologies){
+ out.write(uri + "\n");
+ }
+ out.write("Incohaerent ontologies(#unsatisfiable classes):\n");
+ for (Entry<String, Integer> ent : incohaerentOntologies.entrySet()) {
+ out.write(ent.getKey() + "(" + ent.getValue() + ")\n");
+ }
+ out.close();
+ } catch (IOException e) {
+ e.printStackTrace();
}
- System.out.println("Inconsistent ontologies:");
- for(String uri : inconsistentOntologies){
- System.out.println(uri);
+
+ }
+
+ static Map sortByValue(Map map) {
+ List list = new LinkedList(map.entrySet());
+ Collections.sort(list, new Comparator() {
+ public int compare(Object o1, Object o2) {
+ return ((Comparable) ((Map.Entry) (o1)).getValue()).compareTo(((Map.Entry) (o2)).getValue());
+ }
+ });
+ Map result = new LinkedHashMap();
+ for (Iterator it = list.iterator(); it.hasNext();) {
+ Map.Entry entry = (Map.Entry) it.next();
+ result.put(entry.getKey(), entry.getValue());
}
- System.out.println("Incohaerent ontologies(#unsatisfiable classes):");
- for (Entry<String, Integer> ent : incohaerentOntologies.entrySet()) {
- System.out.println(ent.getKey() + "(" + ent.getValue() + ")");
- }
+ return result;
}
+
}
Modified: trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt 2010-05-14 16:02:25 UTC (rev 2145)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies.txt 2010-05-16 15:27:19 UTC (rev 2146)
@@ -25,7 +25,7 @@
http://www.tssg.org/public/ontologies/omg/mof/2004/MOF.owl
http://www.tssg.org/public/ontologies/omg/qvt/2005/QVT.owl
http://www.tssg.org/public/ontologies/omg/odm/2006/odm_2006_04_03_kludge.owl
-http://www.tssg.org/public/ontologies/omg/uml/2004/UML2-Super-MDL-041007.owl
+#http://www.tssg.org/public/ontologies/omg/uml/2004/UML2-Super-MDL-041007.owl
http://protege.cim3.net/file/pub/ontologies/people.pets/people+pets.owl
http://swap.uib.es/ontologies/performance.owl
http://philosurfical.open.ac.uk/ontology/philosurfical.owl
@@ -41,4 +41,5 @@
http://protege.cim3.net/file/pub/ontologies/travel/travel.owl
http://lsi.ugr.es/joseluisgs/videojuegos.owl
http://protege.cim3.net/file/pub/ontologies/wine/wine.owl
+http://abulaish.com/Wood_Ontology/woodontology.xml
http://drtc.isibang.ac.in/%7Ebisu/ontology/instOntology.owl
\ No newline at end of file
Deleted: 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-05-14 16:02:25 UTC (rev 2145)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_ontologies_output.txt 2010-05-16 15:27:19 UTC (rev 2146)
@@ -1,356 +0,0 @@
-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
-#object properties: 16
-#data properties: 3
-#individuals: 1
-classification time in ms: 527
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://transontology.org/bhakti_gaudiya/bhakti.owl
-#logical axioms: 52
-#classes: 47
-#object properties: 4
-#data properties: 11
-#individuals: 0
-classification time in ms: 272
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/camera/camera.owl
-#logical axioms: 48
-#classes: 12
-#object properties: 9
-#data properties: 10
-#individuals: 2
-classification time in ms: 9
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.bltk.ru/OWL/camera2.owl
-#logical axioms: 346
-#classes: 37
-#object properties: 14
-#data properties: 55
-#individuals: 67
-Ontology is inconsistent.
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://transontology.org/consciousness/consciousness1.owl
-#logical axioms: 119
-#classes: 29
-#object properties: 14
-#data properties: 2
-#individuals: 14
-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: 1580
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 15
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.csm.ornl.gov/%7E7lp/esg-owl/ESG1.1.owl
-#logical axioms: 398
-#classes: 36
-#object properties: 30
-#data properties: 37
-#individuals: 44
-classification time in ms: 199
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 4
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.fadyart.com/ontologies/data/Finance.owl
-#logical axioms: 16014
-#classes: 322
-#object properties: 249
-#data properties: 76
-#individuals: 2466
-classification time in ms: 352
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 111
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/generations/generations.owl
-#logical axioms: 38
-#classes: 18
-#object properties: 6
-#data properties: 2
-#individuals: 7
-classification time in ms: 53
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 1
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://i2geo.net/ontologies/current/GeoSkills.owl
-#logical axioms: 16781
-#classes: 595
-#object properties: 25
-#data properties: 23
-#individuals: 2572
-classification time in ms: 18544
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 167
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/ka/ka.owl
-#logical axioms: 216
-#classes: 96
-#object properties: 62
-#data properties: 34
-#individuals: 0
-classification time in ms: 125
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/koala/koala.owl
-#logical axioms: 42
-#classes: 20
-#object properties: 6
-#data properties: 3
-#individuals: 6
-classification time in ms: 31
-#unsatisfiable classes: 3
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://lifeeventontology.googlepages.com/leo.owl
-#logical axioms: 356
-#classes: 32
-#object properties: 28
-#data properties: 16
-#individuals: 62
-classification time in ms: 33
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 7
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://mged.sourceforge.net/ontologies/MGEDOntology.owl
-#logical axioms: 1387
-#classes: 235
-#object properties: 88
-#data properties: 50
-#individuals: 712
-classification time in ms: 142437
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 80
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.tssg.org/public/ontologies/omg/mof/2004/MOF.owl
-#logical axioms: 0
-#classes: 65
-#object properties: 145
-#data properties: 8
-#individuals: 35
-classification time in ms: 93
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.tssg.org/public/ontologies/omg/qvt/2005/QVT.owl
-#logical axioms: 0
-#classes: 149
-#object properties: 230
-#data properties: 8
-#individuals: 45
-classification time in ms: 361
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.tssg.org/public/ontologies/omg/odm/2006/odm_2006_04_03_kludge.owl
-#logical axioms: 0
-#classes: 123
-#object properties: 135
-#data properties: 29
-#individuals: 42
-classification time in ms: 258
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 2
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/people.pets/people+pets.owl
-#logical axioms: 105
-#classes: 59
-#object properties: 16
-#data properties: 3
-#individuals: 21
-classification time in ms: 143
-#unsatisfiable classes: 1
-#classes with min. 5 individuals: 4
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://swap.uib.es/ontologies/performance.owl
-#logical axioms: 80
-#classes: 2412
-#object properties: 242
-#data properties: 44
-#individuals: 193
-classification time in ms: 12456
-#unsatisfiable classes: 2
-#classes with min. 5 individuals: 57
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://philosurfical.open.ac.uk/ontology/philosurfical.owl
-#logical axioms: 1465
-#classes: 377
-#object properties: 315
-#data properties: 2
-#individuals: 0
-classification time in ms: 252
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/shuttle/shuttle-crew-ont.owl
-#logical axioms: 95
-#classes: 46
-#object properties: 53
-#data properties: 32
-#individuals: 55
-classification time in ms: 82
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 2
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.loria.fr/%7Ecoulet/ontology/snpontology/version1.3/snpontology_full.owl
-#logical axioms: 279
-#classes: 113
-#object properties: 64
-#data properties: 14
-#individuals: 4
-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
-#object properties: 13
-#data properties: 25
-#individuals: 0
-classification time in ms: 34
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl
-#logical axioms: 596
-#classes: 394
-#object properties: 101
-#data properties: 3
-#individuals: 0
-classification time in ms: 1425
-#unsatisfiable classes: 144
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://www.bltk.ru/OWL/tourism.owl
-#logical axioms: 417
-#classes: 76
-#object properties: 28
-#data properties: 29
-#individuals: 57
-Ontology is inconsistent.
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/travel/travel.owl
-#logical axioms: 93
-#classes: 34
-#object properties: 8
-#data properties: 6
-#individuals: 14
-classification time in ms: 55
-#unsatisfiable classes: 1
-#classes with min. 5 individuals: 1
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://lsi.ugr.es/joseluisgs/videojuegos.owl
-#logical axioms: 517
-#classes: 114
-#object properties: 14
-#data properties: 2
-#individuals: 0
-classification time in ms: 48140
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 0
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-http://protege.cim3.net/file/pub/ontologies/wine/wine.owl
-#logical axioms: 657
-#classes: 137
-#object properties: 18
-#data properties: 3
-#individuals: 206
-classification time in ms: 12675
-#unsatisfiable classes: 0
-#classes with min. 5 individuals: 41
-++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-
-1 - http://protege.cim3.net/file/pub/ontologies/generations/generations.owl
-4 - http://www.csm.ornl.gov/%7E7lp/esg-owl/ESG1.1.owl
-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
-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
-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
-0 - http://www.uv.es/%7Eagentes/SVECore.owl
-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
-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
Added: trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_output.txt
===================================================================
--- trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_output.txt (rev 0)
+++ trunk/src/dl-learner/org/dllearner/scripts/evaluation/protege_output.txt 2010-05-16 15:27:19 UTC (rev 2146)
@@ -0,0 +1,2454 @@
+http://www.biopax.org/release/biopax-level2.owl
+#logical axioms: 343
+#classes: 42
+#object properties: 33
+#data properties: 37
+#individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.ifomis.org/bfo/owl
+#logical axioms: 95
+#classes: 39
+#object properties: 0
+#data properties: 0
+#individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.acl.icnet.uk/~mw/MDM0.73.owl
+#logical axioms: 878
+#classes: 196
+#object properties: 22
+#data properties: 3
+#individuals: 112
+classification time in ms: 406
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 31
+ http://acl/BMV#Tamoxifen
+ <http://acl/BMV#TamFgt5Yr>
+ <http://acl/BMV#Tam30mg>
+ <http://acl/BMV#TamD2Yr>
+ <http://acl/BMV#TamE5Yr>
+ <http://acl/BMV#TamA20mg>
+ <http://acl/BMV#TamC40mg>
+ http://acl/BMV#EarlyBreastCancer
+ <http://acl/BMV#ProtoERPosLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNPosStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage2BrCa>
+ http://acl/BMV#Outcomes
+ <http://acl/BMV#DecreasedBrCaDFS0.8>
+ <http://acl/BMV#IncreasedRiskGastricCa3.0>
+ <http://acl/BMV#IncreasedRiskGastricCa3.2>
+ <http://acl/BMV#DecreasedBrCaDFS0.5>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#NoChangeRiskEndometrialAbnormality1>
+ <http://acl/BMV#IncreasedLumbarBMD1.012>
+ <http://acl/BMV#DecreasedRiskBrCa0.55>
+ <http://acl/BMV#DecreasedRiskBrCa0.6>
+ <http://acl/BMV#IncreasedOS1.2>
+ ... 50 more
+ http://acl/BMV#BiologicalLevels
+ <http://acl/BMV#PlasmaPlatelet>
+ <http://acl/BMV#PlasmaLDL>
+ <http://acl/BMV#LumbarBMDLevel>
+ <http://acl/BMV#PlasmaCholesterolInst>
+ <http://acl/BMV#RadialBMDLevel>
+ <http://acl/BMV#PlasmaFibrinogen>
+ http://acl/BMV#MedicalIntervention
+ <http://acl/BMV#TamFgt5Yr>
+ <http://acl/BMV#ProtoPFTChemoTam>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoPAFTChemoTam>
+ <http://acl/BMV#TamC40mg>
+ <http://acl/BMV#ProtoMFTChemoTam>
+ <http://acl/BMV#ProtoClonidine>
+ <http://acl/BMV#ProtoLateCMFTChemTam>
+ <http://acl/BMV#Tam30mg>
+ <http://acl/BMV#TamD2Yr>
+ ... 5 more
+ http://acl/BMV#ChangeRiskEndometrialAbnormality
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.4>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.0>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.53>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer4.1>
+ <http://acl/BMV#NoChangeRiskEndometrialAbnormality1>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer7.5>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.3>
+ http://acl/BMV#Abstract
+ <http://acl/BMV#ProtoEndoAbnormality>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoLNNeg>
+ <http://acl/BMV#IncreasedLumbarBMD1.012>
+ <http://acl/BMV#DecreasedRiskBrCa0.55>
+ <http://acl/BMV#PlasmaLDL>
+ <http://acl/BMV#DecreasedRiskBrCa0.6>
+ <http://acl/BMV#IncreasedOS1.2>
+ <http://acl/BMV#IncreasedOS1.1>
+ <http://acl/BMV#IncreasedRiskPersistentSideEffects2.3>
+ ... 102 more
+ http://acl/BMV#HormoneRARegimeTypes
+ <http://acl/BMV#TamFgt5Yr>
+ <http://acl/BMV#Tam30mg>
+ <http://acl/BMV#TamD2Yr>
+ <http://acl/BMV#TamE5Yr>
+ <http://acl/BMV#TamA20mg>
+ <http://acl/BMV#TamC40mg>
+ http://acl/BMV#IncreasedBrCaDFS
+ <http://acl/BMV#IncreasedBrCaDFS1.1>
+ <http://acl/BMV#IncreasedBrCaDFS1.2>
+ <http://acl/BMV#IncreasedBrCaDFS1.3>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#IncreasedBrCaDFS1.05>
+ <http://acl/BMV#IncreasedBrCaDFS1.x>
+ <http://acl/BMV#IncreasedBrCaDFS1.5>
+ <http://acl/BMV#IncreasedBrCaDFS1.21>
+ <http://acl/BMV#IncreasedBrCaDFS1.7>
+ http://acl/BMV#IncreasedRiskEndometrialCancer
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.4>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.0>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.53>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer4.1>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer7.5>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.3>
+ http://acl/BMV#ChangeLumbarBMD
+ <http://acl/BMV#IncreasedLumbarBMD1.006>
+ <http://acl/BMV#DecreasedLumbarBMD0.986>
+ <http://acl/BMV#DecreasedLumbarBMD0.993>
+ <http://acl/BMV#IncreasedLumbarBMD1.008>
+ <http://acl/BMV#IncreasedLumbarBMD1.012>
+ http://acl/BMV#CancerTypes
+ <http://acl/BMV#ProtoERPosLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage1BrCa>
+ <http://acl/BMV#ProtoGastricCa>
+ <http://acl/BMV#ProtoColorectalCa>
+ <http://acl/BMV#ProtoERPosLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage1BrCa>
+ <http://acl/BMV#ProtoEndoCa>
+ <http://acl/BMV#ProtoERNegLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNPosStage2BrCa>
+ ... 2 more
+ http://acl/BMV#TherapeuticType
+ <http://acl/BMV#TamFgt5Yr>
+ <http://acl/BMV#ProtoPFTChemoTam>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoPAFTChemoTam>
+ <http://acl/BMV#TamC40mg>
+ <http://acl/BMV#ProtoMFTChemoTam>
+ <http://acl/BMV#ProtoClonidine>
+ <http://acl/BMV#ProtoLateCMFTChemTam>
+ <http://acl/BMV#Tam30mg>
+ <http://acl/BMV#TamD2Yr>
+ ... 5 more
+ http://acl/BMV#ChangeBrCaDFS
+ <http://acl/BMV#DecreasedBrCaDFS0.8>
+ <http://acl/BMV#IncreasedBrCaDFS1.1>
+ <http://acl/BMV#IncreasedBrCaDFS1.2>
+ <http://acl/BMV#DecreasedBrCaDFS0.5>
+ <http://acl/BMV#IncreasedBrCaDFS1.3>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#IncreasedBrCaDFS1.05>
+ <http://acl/BMV#NoChangeBrCaDFS1>
+ <http://acl/BMV#IncreasedBrCaDFS1.x>
+ <http://acl/BMV#IncreasedBrCaDFS1.5>
+ ... 3 more
+ http://acl/BMV#AbsoluteRisk
+ <http://acl/BMV#RiskOvarianCyst0.06>
+ <http://acl/BMV#RiskCataracts0.14>
+ <http://acl/BMV#RiskEndometrialCa0.005>
+ <http://acl/BMV#RiskRetinopathy0.12>
+ <http://acl/BMV#RiskOvarianCyst0.11>
+ <http://acl/BMV#RiskEndometrialAbnormality3.9>
+ http://acl/BMV#BiologicalLevelBasedOutcomes
+ <http://acl/BMV#DecreasedLDL0.88>
+ <http://acl/BMV#IncreasedLumbarBMD1.006>
+ <http://acl/BMV#DecreasedPlasmaFibrinogenLevel0.85>
+ <http://acl/BMV#DecreasedLumbarBMD0.986>
+ <http://acl/BMV#NoChangeRadialBMD1.0>
+ <http://acl/BMV#DecreasedRadialBMD_NOS>
+ <http://acl/BMV#DecreasedLumbarBMD0.993>
+ <http://acl/BMV#DecreasedCholesterol0.88>
+ <http://acl/BMV#IncreasedLumbarBMD1.008>
+ <http://acl/BMV#DecreasedPlasmaPlateletCount0.92>
+ ... 2 more
+ http://acl/BMV#Risk
+ <http://acl/BMV#IncreasedRiskGastricCa3.0>
+ <http://acl/BMV#DecreasedBrCaDFS0.8>
+ <http://acl/BMV#DecreasedRiskHotFlushes0.8>
+ <http://acl/BMV#IncreasedRiskGastricCa3.2>
+ <http://acl/BMV#DecreasedBrCaDFS0.5>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#DecreasedRiskFatalMI0.37>
+ <http://acl/BMV#RiskOvarianCyst0.11>
+ <http://acl/BMV#NoChangeRiskEndometrialAbnormality1>
+ <http://acl/BMV#IncreasedRiskCataracts1.14>
+ ... 33 more
+ http://acl/BMV#ChangeRiskEndometrialCancer
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.4>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.0>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.53>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer4.1>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer7.5>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.3>
+ http://acl/BMV#DiseaseTypes
+ <http://acl/BMV#ProtoEndoAbnormality>
+ <http://acl/BMV#ProtoVenousThrombosis>
+ <http://acl/BMV#ProtoERPosLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage2BrCa>
+ <http://acl/BMV#ProtoFatalMI>
+ <http://acl/BMV#ProtoEndoCa>
+ <http://acl/BMV#ProtoNonFatalMI>
+ <http://acl/BMV#ProtoERNegLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNPosStage1BrCa>
+ ... 10 more
+ http://acl/BMV#ChemoTamRegimeTypes
+ <http://acl/BMV#ProtoPFTChemoTam>
+ <http://acl/BMV#ProtoLateCMFTChemTam>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoPAFTChemoTam>
+ <http://acl/BMV#ProtoACT>
+ <http://acl/BMV#ProtoMFTChemoTam>
+ http://acl/BMV#ChangeBMD
+ <http://acl/BMV#IncreasedLumbarBMD1.006>
+ <http://acl/BMV#DecreasedLumbarBMD0.986>
+ <http://acl/BMV#NoChangeRadialBMD1.0>
+ <http://acl/BMV#DecreasedRadialBMD_NOS>
+ <http://acl/BMV#DecreasedLumbarBMD0.993>
+ <http://acl/BMV#IncreasedLumbarBMD1.008>
+ <http://acl/BMV#IncreasedLumbarBMD1.012>
+ http://acl/BMV#ChangesInRisk
+ <http://acl/BMV#IncreasedRiskGastricCa3.0>
+ <http://acl/BMV#DecreasedRiskHotFlushes0.8>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.4>
+ <http://acl/BMV#IncreasedRiskGastricCa3.2>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.0>
+ <http://acl/BMV#DecreasedRiskCardiacDisease0.68>
+ <http://acl/BMV#DecreasedRiskFatalMI0.37>
+ <http://acl/BMV#IncreasedRiskSideEffects23>
+ <http://acl/BMV#IncreasedRiskCataracts1.14>
+ <http://acl/BMV#NoChangeRiskEndometrialAbnormality1>
+ ... 12 more
+ http://acl/BMV#BreastAdenoCa
+ <http://acl/BMV#ProtoERPosLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNPosStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage2BrCa>
+ http://acl/BMV#DeltaRisk
+ <http://acl/BMV#IncreasedRiskGastricCa3.0>
+ <http://acl/BMV#DecreasedBrCaDFS0.8>
+ <http://acl/BMV#DecreasedRiskHotFlushes0.8>
+ <http://acl/BMV#IncreasedRiskGastricCa3.2>
+ <http://acl/BMV#DecreasedBrCaDFS0.5>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#DecreasedRiskFatalMI0.37>
+ <http://acl/BMV#NoChangeRiskEndometrialAbnormality1>
+ <http://acl/BMV#IncreasedRiskCataracts1.14>
+ <http://acl/BMV#DecreasedRiskBrCa0.55>
+ ... 27 more
+ http://acl/BMV#References
+ <http://acl/BMV#PlasmaCholesterolInst>
+ <http://acl/BMV#ProtoERPos>
+ <http://acl/BMV#ProtoLNNeg>
+ <http://acl/BMV#RadialBMDLevel>
+ <http://acl/BMV#ProtoLNPos>
+ <http://acl/BMV#ProtoPRNeg>
+ <http://acl/BMV#ProtoStage4>
+ <http://acl/BMV#ProtoPRPos>
+ <http://acl/BMV#ProtoPostmenopausal>
+ <http://acl/BMV#PlasmaFibrinogen>
+ ... 9 more
+ http://acl/BMV#IncreasedRiskEndometrialAbnormality
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.4>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer6.0>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.53>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer4.1>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer7.5>
+ <http://acl/BMV#IncreasedRiskEndometrialCancer2.3>
+ http://acl/BMV#BreastCancer
+ <http://acl/BMV#ProtoERPosLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage1BrCa>
+ <http://acl/BMV#ProtoERNegLNNegStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage1BrCa>
+ <http://acl/BMV#ProtoERPosLNPosStage2BrCa>
+ <http://acl/BMV#ProtoERNegLNPosStage2BrCa>
+ http://acl/BMV#ChangesInSurvival
+ <http://acl/BMV#DecreasedBrCaDFS0.8>
+ <http://acl/BMV#IncreasedBrCaDFS1.1>
+ <http://acl/BMV#IncreasedBrCaDFS1.2>
+ <http://acl/BMV#DecreasedBrCaDFS0.5>
+ <http://acl/BMV#IncreasedBrCaDFS1.3>
+ <http://acl/BMV#IncreasedBrCaDFSREF>
+ <http://acl/BMV#IncreasedBrCaDFS1.05>
+ <http://acl/BMV#IncreasedCardiacDSS1.52>
+ <http://acl/BMV#IncreasedBrCaDFS1.x>
+ <http://acl/BMV#IncreasedBrCaDFS1.5>
+ ... 6 more
+ http://acl/BMV#ChangeOverallSurvival
+ <http://acl/BMV#IncreasedOS1.03>
+ <http://acl/BMV#IncreasedOS1.2>
+ <http://acl/BMV#IncreasedOS1.1>
+ <http://acl/BMV#ProtoNoChangeOS>
+ <http://acl/BMV#IncreasedOS1.02>
+ http://acl/BMV#MedicalThings
+ <http://acl/BMV#ProtoEndoAbnormality>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoLNNeg>
+ <http://acl/BMV#IncreasedLumbarBMD1.012>
+ <http://acl/BMV#DecreasedRiskBrCa0.55>
+ <http://acl/BMV#PlasmaLDL>
+ <http://acl/BMV#DecreasedRiskBrCa0.6>
+ <http://acl/BMV#IncreasedOS1.2>
+ <http://acl/BMV#IncreasedOS1.1>
+ <http://acl/BMV#IncreasedRiskPersistentSideEffects2.3>
+ ... 102 more
+ http://acl/BMV#AdjuvantTreatment
+ <http://acl/BMV#TamFgt5Yr>
+ <http://acl/BMV#ProtoPFTChemoTam>
+ <http://acl/BMV#ProtoEarlyCMFTChemoTam>
+ <http://acl/BMV#ProtoPAFTChemoTam>
+ <http://acl/BMV#TamC40mg>
+ <http://acl/BMV#ProtoMFTChemoTam>
+ <http://acl/BMV#ProtoLateCMFTChemTam>
+ <http://acl/BMV#Tam30mg>
+ <http://acl/BMV#TamD2Yr>
+ <http://acl/BMV#TamE5Yr>
+ ... 4 more
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.co-ode.org/ontologies/amino-acid/2005/10/11/amino-acid.owl
+#logical axioms: 469
+#classes: 55
+#object properties: 14
+#data properties: 1
+#individuals: 1
+classification time in ms: 203
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://transontology.org/bhakti_gaudiya/bhakti.owl
+#logical axioms: 52
+#classes: 47
+#object properties: 2
+#data properties: 9
+#individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://protege.cim3.net/file/pub/ontologies/camera/camera.owl
+#logical axioms: 48
+#classes: 13
+#object properties: 7
+#data properties: 8
+#individuals: 2
+classification time in ms: 15
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.bltk.ru/OWL/camera2.owl
+#logical axioms: 351
+#classes: 38
+#object properties: 12
+#data properties: 53
+#individuals: 57
+Ontology is inconsistent.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.owl-ontologies.com/Cardiology.owl
+ERROR: Could not load ontology.http://transontology.org/consciousness/consciousness1.owl
+#logical axioms: 119
+#classes: 30
+#object properties: 12
+#data properties: 0
+#individuals: 14
+classification time in ms: 47
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 1
+ http://www.owl-ontologies.com/unnamed.owl#PersonalityOfGodhead
+ <http://www.owl-ontologies.com/unnamed.owl#Krsna>
+ <http://www.owl-ontologies.com/unnamed.owl#LordAniruddha>
+ <http://www.owl-ontologies.com/unnamed.owl#Narayana>
+ <http://www.owl-ontologies.com/unnamed.owl#Balarama>
+ <http://www.owl-ontologies.com/unnamed.owl#KaranadakasayiVisnuOfOurBrahmanda>
+ <http://www.owl-ontologies.com/unnamed.owl#LordBaladeva>
+ <http://www.owl-ontologies.com/unnamed.owl#LordSankarsana>
+ <http://www.owl-ontologies.com/unnamed.owl#KsirodakasayiVisnuOfOurBrahmanda>
+ <http://www.owl-ontologies.com/unnamed.owl#GarbhodakasayiVisnuOfOurBrahmanda>
+ <http://www.owl-ontologies.com/unnamed.owl#LordPradyumna>
+ ... 1 more
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://on.cs.unibas.ch/owl/1.0/Context.owl
+#logical axioms: 54
+#classes: 9
+#object properties: 16
+#data properties: 7
+#individuals: 4
+classification time in ms: 47
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.nada.kth.se/%7Emehrana/Delegation.owl
+#logical axioms: 63
+#classes: 19
+#object properties: 20
+#data properties: 4
+#individuals: 0
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.ecs.soton.ac.uk/%7Eaoj04r/resist.owl
+#logical axioms: 239
+#classes: 349
+#object properties: 134
+#data properties: 38
+#individuals: 75
+classification time in ms: 2453
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 15
+ http://www.aktors.org/ontology/support#Intangible-Thing
+ <http://www.aktors.org/ontology/support#twentynine-day-duration>
+ <http://www.aktors.org/ontology/support#twentyeight-day-duration>
+ <http://www.aktors.org/ontology/portal#Permanent-Contract>
+ <http://www.aktors.org/ontology/portal#Learning-Research-Area>
+ <http://www.aktors.org/ontology/portal#Lady>
+ <http://www.aktors.org/ontology/support#twelve-month-duration>
+ <http://www.aktors.org/ontology/support#time-measure-day>
+ <http://www.aktors.org/ontology/portal#Miss>
+ <http://www.aktors.org/ontology/portal#Language-Engineering>
+ <http://www.aktors.org/ontology/portal#Adaptive-Hypermedia>
+ ... 65 more
+ http://www.aktors.org/ontology/support#Unit-Of-Measure
+ <http://www.aktors.org/ontology/support#time-measure-day>
+ <http://www.aktors.org/ontology/support#time-measure-hour>
+ <http://www.aktors.org/ontology/support#time-measure-second>
+ <http://www.aktors.org/ontology/support#time-measure-month>
+ <http://www.aktors.org/ontology/support#time-measure-minute>
+ <http://www.aktors.org/ontology/support#time-measure-year>
+ http://www.aktors.org/ontology/portal#Academic-Degree
+ <http://www.aktors.org/ontology/portal#BSc>
+ <http://www.aktors.org/ontology/portal#PhD>
+ <http://www.aktors.org/ontology/portal#MA>
+ <http://www.aktors.org/ontology/portal#DEng>
+ <http://www.aktors.org/ontology/portal#BA>
+ <http://www.aktors.org/ontology/portal#MSc>
+ http://www.aktors.org/ontology/portal#Award
+ <http://www.aktors.org/ontology/portal#BSc>
+ <http://www.aktors.org/ontology/portal#PhD>
+ <http://www.aktors.org/ontology/portal#MA>
+ <http://www.aktors.org/ontology/portal#DEng>
+ <http://www.aktors.org/ontology/portal#BA>
+ <http://www.aktors.org/ontology/portal#MSc>
+ http://www.aktors.org/ontology/portal#Degree
+ <http://www.aktors.org/ontology/portal#BSc>
+ <http://www.aktors.org/ontology/portal#PhD>
+ <http://www.aktors.org/ontology/portal#MA>
+ <http://www.aktors.org/ontology/portal#DEng>
+ <http://www.aktors.org/ontology/portal#BA>
+ <http://www.aktors.org/ontology/portal#MSc>
+ http://www.aktors.org/ontology/support#Time-Measure
+ <http://www.aktors.org/ontology/support#time-measure-day>
+ <http://www.aktors.org/ontology/support#time-measure-hour>
+ <http://www.aktors.org/ontology/support#time-measure-second>
+ <http://www.aktors.org/ontology/support#time-measure-month>
+ <http://www.aktors.org/ontology/support#time-measure-minute>
+ <http://www.aktors.org/ontology/support#time-measure-year>
+ http://www.aktors.org/ontology/portal#Appellation
+ <http://www.aktors.org/ontology/portal#Mrs>
+ <http://www.aktors.org/ontology/portal#Miss>
+ <http://www.aktors.org/ontology/portal#Dr>
+ <http://www.aktors.org/ontology/portal#Sir>
+ <http://www.aktors.org/ontology/portal#Mr>
+ <http://www.aktors.org/ontology/portal#Ms>
+ <http://www.aktors.org/ontology/portal#Lady>
+ <http://www.aktors.org/ontology/portal#Prof>
+ http://www.aktors.org/ontology/portal#Organization-Size
+ <http://www.aktors.org/ontology/portal#very-large-size>
+ <http://www.aktors.org/ontology/portal#micro-size>
+ <http://www.aktors.org/ontology/portal#small-size>
+ <http://www.aktors.org/ontology/portal#large-size>
+ <http://www.aktors.org/ontology/portal#medium-size>
+ http://www.aktors.org/ontology/support#Thing
+ <http://www.aktors.org/ontology/support#twentynine-day-duration>
+ <http://www.aktors.org/ontology/support#twentyeight-day-duration>
+ <http://www.aktors.org/ontology/portal#Permanent-Contract>
+ <http://www.aktors.org/ontology/portal#Learning-Research-Area>
+ <http://www.aktors.org/ontology/portal#Lady>
+ <http://www.aktors.org/ontology/support#twelve-month-duration>
+ <http://www.aktors.org/ontology/support#time-measure-day>
+ <http://www.aktors.org/ontology/portal#Miss>
+ <http://www.aktors.org/ontology/portal#Language-Engineering>
+ <http://www.aktors.org/ontology/portal#Email-Medium>
+ ... 66 more
+ http://www.aktors.org/ontology/support#Quantity
+ <http://www.aktors.org/ontology/support#twentynine-day-duration>
+ <http://www.aktors.org/ontology/support#seven-day-duration>
+ <http://www.aktors.org/ontology/support#twentyeight-day-duration>
+ <http://www.aktors.org/ontology/support#twentyfour-hour-duration>
+ <http://www.aktors.org/ontology/support#thirty-day-duration>
+ <http://www.aktors.org/ontology/support#thirtyone-day-duration>
+ <http://www.aktors.org/ontology/support#twelve-month-duration>
+ http://www.aktors.org/ontology/portal#Research-Area
+ <http://www.aktors.org/ontology/portal#Knowledge-Retrieval>
+ <http://www.aktors.org/ontology/portal#Knowledge-Lifecycle>
+ <http://www.aktors.org/ontology/portal#Knowledge-Acquisition>
+ <http://www.aktors.org/ontology/portal#Software-Visualization>
+ <http://www.aktors.org/ontology/portal#Learning-Research-Area>
+ <http://www.aktors.org/ontology/portal#Hypermedia>
+ <http://www.aktors.org/ontology/portal#Semantic-Web-Area>
+ <http://www.aktors.org/ontology/portal#Knowledge-Modelling>
+ <http://www.aktors.org/ontology/portal#Language-Engineering>
+ <http://www.aktors.org/ontology/portal#Adaptive-Hypermedia>
+ ... 22 more
+ http://www.aktors.org/ontology/support#Physical-Quantity
+ <http://www.aktors.org/ontology/support#twentynine-day-duration>
+ <http://www.aktors.org/ontology/support#seven-day-duration>
+ <http://www.aktors.org/ontology/support#twentyeight-day-duration>
+ <http://www.aktors.org/ontology/support#twentyfour-hour-duration>
+ <http://www.aktors.org/ontology/support#thirty-day-duration>
+ <http://www.aktors.org/ontology/support#thirtyone-day-duration>
+ <http://www.aktors.org/ontology/support#twelve-month-duration>
+ http://www.aktors.org/ontology/portal#Software-Status
+ <http://www.aktors.org/ontology/portal#Experimental-Version>
+ <http://www.aktors.org/ontology/portal#Beta-Version>
+ <http://www.aktors.org/ontology/portal#Released-Version>
+ <http://www.aktors.org/ontology/portal#Alpha-Version>
+ <http://www.aktors.org/ontology/portal#Broken-Version>
+ http://www.aktors.org/ontology/support#Duration
+ <http://www.aktors.org/ontology/support#twentynine-day-duration>
+ <http://www.aktors.org/ontology/support#seven-day-duration>
+ <http://www.aktors.org/ontology/support#twentyeight-day-duration>
+ <http://www.aktors.org/ontology/support#twentyfour-hour-duration>
+ <http://www.aktors.org/ontology/support#thirty-day-duration>
+ <http://www.aktors.org/ontology/support#thirtyone-day-duration>
+ <http://www.aktors.org/ontology/support#twelve-month-duration>
+ http://www.aktors.org/ontology/portal#Generic-Area-Of-Interest
+ <http://www.aktors.org/ontology/portal#Knowledge-Retrieval>
+ <http://www.aktors.org/ontology/portal#Knowledge-Lifecycle>
+ <http://www.aktors.org/ontology/portal#Knowledge-Acquisition>
+ <http://www.aktors.org/ontology/portal#Software-Visualization>
+ <http://www.aktors.org/ontology/portal#Learning-Research-Area>
+ <http://www.aktors.org/ontology/portal#Hypermedia>
+ <http://www.aktors.org/ontology/portal#Semantic-Web-Area>
+ <http://www.aktors.org/ontology/portal#Knowledge-Modelling>
+ <http://www.aktors.org/ontology/portal#Language-Engineering>
+ <http://www.aktors.org/ontology/portal#Adaptive-Hypermedia>
+ ... 22 more
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://education.state.mn.us/datadictionary/owl/Education.owl
+ERROR: Could not load ontology.http://www.csm.ornl.gov/%7E7lp/esg-owl/ESG1.1.owl
+#logical axioms: 398
+#classes: 37
+#object properties: 28
+#data properties: 35
+#individuals: 44
+classification time in ms: 63
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 4
+ http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#DateTimeEncoding
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY-MM-DDThh_mm_ssTZD>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY-MM-DD>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY-MM-DDThh_mmTZD>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY-MM-DDThh_mm_ss.sTZD>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#YYYY-MM>
+ http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#SimulationStatus
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#stopped>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#running>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#restarted>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#completed>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#pending>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#failed>
+ http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#Calendar
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#xunits>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#none>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#all_leap>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#zunits>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#_365_days>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#_366_days>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#gregorian>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#_360_days>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#name>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#yunits>
+ ... 6 more
+ http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#SpaceCoverage
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#southLimit>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#xunits>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#downLimit>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#name>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#eastLimit>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#yunits>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#zunits>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#westLimit>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#resolution>
+ <http://www.csm.ornl.gov/~7lp/onto-library/esg1.1#northLimit>
+ ... 2 more
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://protege.cim3.net/file/pub/ontologies/family.swrl.owl/family.swrl.owl
+#logical axioms: 182
+#classes: 29
+#object properties: 21
+#data properties: 12
+#individuals: 42
+classification time in ms: 75438
+#unsatisfiable classes: 0
+#classes with min. 5 individuals: 14
+ http://a.com/ontology#Nephew
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#M09>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M03>
+ http://a.com/ontology#Woman
+ <http://a.com/ontology#F10>
+ <http://a.com/ontology#F08>
+ <http://a.com/ontology#F09>
+ <http://a.com/ontology#F04>
+ <http://a.com/ontology#F05>
+ <http://a.com/ontology#F06>
+ <http://a.com/ontology#F07>
+ <http://a.com/ontology#F01>
+ <http://a.com/ontology#F02>
+ <http://a.com/ontology#F03>
+ ... 1 more
+ http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Entity
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Minutes>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Hours>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Years>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Days>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Seconds>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Milliseconds>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Months>
+ http://a.com/ontology#Father
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M07>
+ <http://a.com/ontology#M08>
+ <http://a.com/ontology#M01>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+ http://a.com/ontology#Child
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#M09>
+ <http://a.com/ontology#F09>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#F05>
+ <http://a.com/ontology#F06>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#F02>
+ ... 3 more
+ http://a.com/ontology#Mother
+ <http://a.com/ontology#F10>
+ <http://a.com/ontology#F08>
+ <http://a.com/ontology#F04>
+ <http://a.com/ontology#F06>
+ <http://a.com/ontology#F07>
+ <http://a.com/ontology#F01>
+ <http://a.com/ontology#F03>
+ http://a.com/ontology#Daugther
+ <http://a.com/ontology#F09>
+ <http://a.com/ontology#F05>
+ <http://a.com/ontology#F06>
+ <http://a.com/ontology#F02>
+ <http://a.com/ontology#F03>
+ http://a.com/ontology#Sibling
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#F05>
+ <http://a.com/ontology#F06>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#F03>
+ http://a.com/ontology#Person
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#F10>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M07>
+ <http://a.com/ontology#M08>
+ <http://a.com/ontology#M01>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+ ... 11 more
+ http://a.com/ontology#Man
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#M09>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M07>
+ <http://a.com/ontology#M08>
+ <http://a.com/ontology#M01>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+ ... 1 more
+ http://a.com/ontology#Relative
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#F10>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M07>
+ <http://a.com/ontology#M08>
+ <http://a.com/ontology#M01>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+ ... 11 more
+ http://a.com/ontology#Parent
+ <http://a.com/ontology#F10>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M07>
+ <http://a.com/ontology#M08>
+ <http://a.com/ontology#M01>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+ <http://a.com/ontology#F08>
+ <http://a.com/ontology#F04>
+ ... 5 more
+ http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Granularity
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Minutes>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Hours>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Years>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Days>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Seconds>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Milliseconds>
+ <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Months>
+ http://a.com/ontology#Son
+ <http://a.com/ontology#M10>
+ <http://a.com/ontology#M09>
+ <http://a.com/ontology#M05>
+ <http://a.com/ontology#M06>
+ <http://a.com/ontology#M02>
+ <http://a.com/ontology#M03>
+ <http://a.com/ontology#M04>
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+http://www.fadyart.com/ontologies/data/Finance.owl
+#logical axioms: 16014
+#classes: 323
+#object properties: 247
+#data properties: 74
+#individuals: 2466
+Ontology is inconsistent.
+++++++++++++++++++++++++++++...
[truncated message content] |
