Please find the supplementary material (code, data, additional analyses, information on the computing infrastructure) for the paper
- Patrick Rodler: Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis. AAAI. 2022.
in the following folder (please consider the included readme.txt file):
- supplementary_material.zip (267 KB)
Please find the results of the structured survey regarding the experiences of teachers and researchers with the QuickXplain algorithm related to the paper
- Patrick Rodler: A Formal Proof and Simple Explanation of the QuickXplain Algorithm. 2021.
in the following csv-file:
- Survey-Results (7 KB)
Please find the supplementary material (code, data, additional explanations) presented in the paper
- Patrick Rodler, Erich Teppan, Dietmar Jannach: Randomized Problem-Relaxation Solving for Over-Constrained Schedules. Submitted to KR 2021. 2021.
in the following folder:
- code+data+supplemental_material.zip (1.726 KB)
Please find the experiment results (raw data) presented in the evaluation of the paper
- Patrick Rodler: One Step at a Time: An Efficient Approach to Query-Based Ontology Debugging. (submitted to journal). 2021.
in terms of the following files:
- one_step_results_rawdata.zip (9.411 KB)
The ontologies used in the evaluation are:
- one_step_ontologies_used.zip (2.163 KB)
Please find the experiment results (raw data) presented in the evaluation of the paper
- Patrick Rodler: DynamicHS: Streamlining Reiter’s HS-Tree for Sequential Diagnosis. (submitted to journal). 2021.
in terms of the following csv-files:
- results_rawdata.zip (941 KB)
The ontologies used in the evaluation are:
- ontologies_used.zip (4.040 KB)
Please find the experiment results (raw data) presented in the evaluation of the paper
- Patrick Rodler: Memory-Limited Model-Based Diagnosis. (submitted to journal). 2020.
in terms of the following csv-files:
- Eval_maxProb_raw-data.csv (4.380 KB)
- Eval_minCard_raw-data.csv (5.629 KB)
The ontologies used in the evaluation are:
| Koala (K) koala.owl |
University (U) University.owl |
IT IT.owl |
UNI UNI.owl |
Chemical (Ch) chemical.owl |
MiniTambis (M) miniTambis.owl |
ctxmatch-cmt-conftool (ccc) ctxmatch-cmt-conftool.owl |
| ctxmatch-conftool-ekaw (cce) ctxmatch-conftool-ekaw.owl |
Transportation (T) Transportation-SDA.owl |
Economy (E) Economy-SDA.owl |
DBpedia (D) dbpedia_2016-10.owl |
Opengalen (O) opengalen-no-propchainsmod.owl |
CigaretteSmokeExposure (Cig) CigaretteSmokeExposureOntology_f.7z |
Cton (C) ctonmod.owl |
Please find the experiment presented in the paper
- Patrick Rodler, Erich Teppan:
The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach. Int'l Workshop on Principles of Diagnosis (DX) Conference Proceedings (online: http://dx-2020.org/papers/) arXiv:2009.12178 (2020).
Experiment data:
- JmpTestData.zip (192 KB)
Please find the experiment results (raw data) presented in the evaluation of the paper
- Patrick Rodler:
Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential Diagnosis. in ECAI’20. 2020.
in terms of the following csv-files:
| chem-a_full.csv chem-a_full.csv |
economy_full.csv economy_full.csv |
GIZ_full.csv GIZ_full.csv |
koala_full.csv koala_full.csv |
minitambis_full.csv minitambis_full.csv |
transportation_full.csv transportation_full.csv |
UNI_full.csv UNI_full.csv |
university_full.csv university_full.csv |
The experiment results (raw data) presented in the evaluation of the papers
- Patrick Rodler, Michael Eichholzer:
On the Usefulness of Different Expert Question Types for Fault Localization in Ontologies. Proc. of the 32nd Int’l Conf. on industrial, engineering and other applications of applied intelligent systems (IEA/AIE 2019). 2019 - Patrick Rodler, Michael Eichholzer:
A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies. CoRR abs/1904.00317 (2019)
are given in the following file: eval_singletonQ_allOntos_serverRun.csv
The ontologies used in the evaluation are:
| Koala (K) koala.owl |
University (U) University.owl |
MiniTambis (M) miniTambis.owl |
CMT-Conftool (CC) CMT-CONFTOOL.owl |
Conftool-EKAW (CE) CONFTOOL-EKAW.owl |
Transportation (T) Transportation-SDA.owl |
Economy (E) Economy-SDA.owl |
DBpedia (D) dbpedia_2016-10.owl |
Opengalen (O) opengalen-no-propchainsmod.owl |
Cton (C) ctonmod.owl |
The material used and data obtained in the user studies conducted in
- Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss:
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?. Knowledge-Based Systems (KBS). 2019.
can be found below.
| Ontologies - Study 1: IT_study1.owl UNI_study1.owl |
Ontologies - Study 2: IT_study2.owl UNI_study2.owl |
Raw Data - Study 1: raw_data_study1.csv |
Raw Data - Study 2: raw_data_study2.csv |
The evaluation results presented in
- Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin:
Highly Efficient Determination of Optimized Measurements for Sequential Model-Based Diagnosis. Submitted to JAIR, November, 2017.
Evaluation results:
- EXP1--Comprehensive_Evaluation_of_NEW.csv (164 MB)
- EXP2--Scalability_Evaluation_of_NEW.csv (1,4 MB)
- EXP3--OLD_vs_NEW.csv (50 MB)
commits.txt contains the references to the appropriate commits in our repository.
The evaluation results presented in
- Patrick Rodler and Wolfgang Schmid:
Evaluating Active Learning Heuristics for Sequential Diagnosis. DX'18.
Evaluation results:
- Evaluation Results used in Evaluating Active Learning Heuristics for Sequential Diagnosis (zip, 116.155 KB)
The zip file contains
- a csv file named 'eval_20180313162621.csv' (uncompressed size 503.294 KB) containing the evaluation results and
- an executable jar file (uncompressed size 27.710 KB) with which it is possible to re-execute the evaluation run.
Requirements in order to execute the evaluation:
- Java 8 Runtime environment
- in the directory, where the jar-file owl-plugin-University-miniTambis-Transportation-Economy.jar is located, create the subfolder src/evaluation/resources/evaluations/winter2017
- execute the evaluation in the console with the command: 'java -jar owl-plugin-University-miniTambis-Transportation-Economy.jar'
- in the subfolder src/evaluation/resources/evaluations/winter2017 mentioned above, the csv file containing the evaluation results will be then created and written to
https://git-ainf.aau.at/interactive-KB-debugging/debugger/tree/Evaluation_Winter2017/owl-plugin/src/evaluation/resources/evaluations/winter2017 contains all executed and ongoing evaluations executed since Winter 2017 as well as a a detailed README about the executed evaluation.
The evaluation results presented in
- Patrick Rodler and Wolfgang Schmid:
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. RuleML+RR18.
Evaluation results:
- Evaluation Results used in Evaluating Active Learning Heuristics for Sequential Diagnosis (zip, 116.155 KB)
The zip file contains
- a csv file named 'eval_20180313162621.csv' (uncompressed size 503.294 KB) containing the evaluation results and
- an executable jar file (uncompressed size 27.710 KB) with which it is possible to re-execute the evaluation run.
Requirements in order to execute the evaluation:
- Java 8 Runtime environment
- in the directory, where the jar-file owl-plugin-University-miniTambis-Transportation-Economy.jar is located, create the subfolder src/evaluation/resources/evaluations/winter2017
- execute the evaluation in the console with the command: 'java -jar owl-plugin-University-miniTambis-Transportation-Economy.jar'
- in the subfolder src/evaluation/resources/evaluations/winter2017 mentioned above, the csv file containing the evaluation results will be then created and written to
https://git-ainf.aau.at/interactive-KB-debugging/debugger/tree/Evaluation_Winter2017/owl-plugin/src/evaluation/resources/evaluations/winter2017 contains all executed and ongoing evaluations executed since Winter 2017 as well as a a detailed README about the executed evaluation.