Supporting material of PhD thesis “Module-based classification of OWL ontologies” by Nicolas Matentzoglu.

BioPortal Snapshot used:

Experiment 1+2 data (Chapter 5, Benign Module Conjecture, Revised Benign Module Conjecture):

Experiment 3 data (Chapter 6, BioPortal Stage Benchmark, Subsumption Tests):

Experiment 4 data (Chapter 6, Subsumption test hardness under modularity):

Experiment 5 data (Chapter 7, Katana, K1, K2):

Code

Java projects (experiments, katana, reasoners)