The inconsistent ontologies available at this webpage are created by joining pairs of ontologies using automatically generated mappings. The concepts of the original ontologies are connected inside the resulting ontologies by adding additional (and sometimes incorrect) axioms. These axioms result from a translation of the matching-results of the Ontology Alignment Evaluation Initiative 2006.
The results of the matching systems Falcon-AO, COMA++, HMatch and Owl-CtxMatch have been chosen to create the "union" of two ontologies. Therefore, the equivalence correspondences created by those matching systems have been translated into a pair of corresponding subsumptions axioms. Since those matching systems often produce erroneous mappings the resulting ontologies contain in many cases unsatisfiable classes. The following tables give an overview about the size of the resulting ontologies and the number of unsatisfiable concepts. Three matching systems generated symmetric mappings (more precise, the same result for the input ontologies <Source, Target> and <Target, Source>), while HMatch produces different results with respect to source and target ontology being exchanged.
All resulting ontologies as well as the manually evaluated mappings can be downloaded here.
Number of unsatisfiable classes / all classes
| CRS | PCS | CMT | CONFTOOL | SIGKDD | EKAW | |
| CRS | - | 0 / 38 | 0 / 44 | 2 / 53 | 2 / 64 | 0 / 87 |
| PCS | - | 0 / 53 | 0 / 62 | 0 / 73 | 0 / 97 | |
| CMT | - | 0 / 68 | 0 / 79 | 0 / 103 | ||
| CONFTOOL | - | 0 / 88 | 7 / 112 | |||
| SIGKDD | - | 0 / 123 | ||||
| EKAW | - |
Number of unsatisfiable classes / all classes
| CRS | PCS | CMT | CONFTOOL | SIGKDD | EKAW | |
| CRS | - | 2 / 38 | 0 / 44 | 2 / 53 | 0 / 64 | 7 / 87 |
| PCS | - | 0 / 53 | 8 / 62 | 0 / 73 | 6 / 97 | |
| CMT | - | 10 / 68 | 0 / 79 | 14 / 103 | ||
| CONFTOOL | - | 13 / 88 | 5 / 112 | |||
| SIGKDD | - | 0 / 123 | ||||
| EKAW | - |
Number of unsatisfiable classes / all classes
| CRS | PCS | CMT | CONFTOOL | SIGKDD | EKAW | |
| CRS | - | 9 / 38 | 11 / 44 | 0 / 53 | 19 / 64 | 42 / 87 |
| PCS | 20 / 38 | - | 0 / 53 | 21 / 62 | 0 / 73 | 10 / 97 |
| CMT | 13 / 44 | 0 / 53 | - | 35 / 68 | 0 / 79 | n.a. |
| CONFTOOL | 10 / 53 | n.a. | 26 / 68 | - | 4 / 88 | 21 / 112 |
| SIGKDD | 0 / 64 | 0 / 73 | 0 / 79 | 0 / 88 | - | 7 / 123 |
| EKAW | 47 / 87 | 33 / 97 | 18 / 103 | 1 / 112 | 42 / 123 | - |
Number of unsatisfiable classes / all classes
| CRS | PCS | CMT | CONFTOOL | SIGKDD | EKAW | |
| CRS | - | 2 / 38 | 1 / 44 | 0 / 53 | 0 / 64 | 0 / 87 |
| PCS | - | 0 / 53 | n.a. | 0 / 73 | 0 / 97 | |
| CMT | - | 18 / 68 | n.a | 0 / 103 | ||
| CONFTOOL | - | 0 / 88 | 39 / 112 | |||
| SIGKDD | - | 4 / 123 | ||||
| EKAW | - |
In opposite to the other matching systems, OWL-CtxMatch generates not just equivalence correspondences, but also subsumption correspondences.
All used original ontologies, the mappings and the resulting ontologies are zipped in the file ontologies.zip. If you extract the contents of this file, you will get the following directory structur:
CMT.owl CRS.owl ... (all other original ontologies) coma-mappings/ (the coma mappings in txt-format) coma-joined/ (contains the union-ontologies based on the coma mappings) coma-evaluation/ (the evaluated coma mappings in txt-format) ... (the same directories for the other matching system)
If you have any problems in using the ontologies or any questions, feel free to write an email to christian [at] informatik.uni-mannheim.de.
Last updated: 06.11.2007 by Christian Meilicke. Fixed bug related to URIs of ontologies.