Uli Sattler

2025

TransBox: EL++-closed Ontology Embedding

Yang, H., Chen, J. & Sattler, U., 22 Apr 2025, Proceedings of the ACM on Web Conference 2025: WWW 2025. Association for Computing Machinery, p. 22-34 (THEWEBCONF).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

File

4 Downloads (Pure)

2024

Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)

Kindermann, C., George, A.-M., Parsia, B. & Sattler, U., 24 Mar 2024, The Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). 9 ed. AAAI Press, Vol. 38. p. 10581-10588 (Proceedings of the AAAI Conference on Artificial Intelligence).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

File

1 Downloads (Pure)

2022

Next Steps for ReAD: Modules for Classification Optimisation

Zhao, H., Parsia, B. & Sattler, U., 2022, In: CEUR Workshop Proceedings. 3263

Research output: Contribution to journal › Conference article › peer-review

Saturation-Based Uniform Interpolation for Multi-Modal Logics

Alassaf, R., Schmidt, R. A. & Sattler, U., 19 Jul 2022, Advances in Modal Logic. Fernandez-Duque, D., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 37-57 21 p. (Advances in Modal Logic; vol. 14).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings

Jayathilaka, M., Mu, T. & Sattler, U., 25 Jan 2022, 20th IEEE International Conference on Machine Learning and Applications (ICMLA). p. 292-297

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

2021

A comparative study of methods for a priori prediction of MCQ difficulty

Kurdi, G., Leo, J., Matentzoglu, N., Parsia, B., Sattler, U., Forge, S., Donato, G., Dowling, W. & Gromann, D., 2021, In: Semantic Web. 12, 3, p. 449-465 17 p.

Research output: Contribution to journal › Article › peer-review

ReAD: AD-Based Modular Ontology Classification

Zhao, H., Parsia, B. & Sattler, U., 12 May 2021, Logics in Artiﬁcial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Vol. 12678. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

2020

A systematic survey of temporal requirements of bio-health ontologies

Leo, J., Matentzoglu, N., Sattler, U. & Parsia, B., 7 Aug 2020, In: Semantic Web. p. 657-688 4.

Research output: Contribution to journal › Article › peer-review

Open Access

File

314 Downloads (Pure)

Interview with Uli Sattler

Sattler, U. & Schneider, T., 22 Jul 2020, In: Kuenstliche Intelligenz.

Research output: Contribution to journal › Special issue

Modular Structures and Atomic Decomposition in Ontologies

Del Vescovo, C., Horridge, M., Parsia, B., Sattler, U., Schneider, T. & Zhao, H., 25 Nov 2020, In: Journal of Artificial Intelligence Research. 69

Research output: Contribution to journal › Article › peer-review

Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies

Kindermann, C., Parsia, B. & Sattler, U., 31 Aug 2020, (Accepted/In press) THE 19TH INTERNATIONAL SEMANTIC WEB CONFERENCE.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Principles of KLM-style Defeasible Description Logics

Britz, K., Casini, G., Meyer, T., Moodley, K., Sattler, U. & Varzinczak, I., 26 Aug 2020, (Accepted/In press) In: ACM Transactions on Computational Logic.

Research output: Contribution to journal › Article › peer-review

2019

A Systematic Review of Automatic Question Generation for Educational Purposes

Kurdi, G., Leo, J., Parsia, B., Sattler, U. & Al-Emari, S., 21 Nov 2019, In: Journal of Artificial Intelligence in Education. p. 1 84 p.

Research output: Contribution to journal › Article › peer-review

Open Access

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Lutz, C., Sattler, U., Tinelli, C., Turhan, A. Y. & Wolter, F., 2019, Springer Nature. 662 p. (Lecture Notes in Computer Science; vol. 11560)(Theoretical Computer Science and General Issues; vol. 11560)

Research output: Book/Report › Anthology › peer-review

Detecting Influences of Ontology Design Patterns in Biomedical Ontologies

Kindermann, C., Parsia, B. & Sattler, U., Oct 2019, The Semantic Web - ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I. Springer Nature, p. 311-328 (Lecture Notes in Computer Science; vol. 11778).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Ontology-Based Generation of Medical, Multi-term MCQs

Leo, J., Kurdi, G., Matentzoglu, N., Parsia, B., Sattler, U., Forge, S., Donato, G. & Dowling, W., 25 Jan 2019, In: Journal of Artificial Intelligence in Education. 44 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2018

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

Kindermann, C., Lupp, D., Sattler, U. & Thorstensen, E., Oct 2018.

Research output: Contribution to conference › Paper › peer-review

Ontology Stratification Methods: a Comparative Study

Guimaraes, R., Sattler, U. & Wassermann, R., Oct 2018, International Workshop on Ontology Modularity, Contextuality, and Evolution.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

2017

An Introduction to Description Logic

Baader, F., Horrocks, I., Lutz, C. & Sattler, U., Apr 2017, Cambridge University Press.

Research output: Book/Report › Book

Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction

Sazonau, V. & Sattler, U., 2017, Proceedings of The 16th International Semantic Web Conference (ISWC 2017) . p. 577-593 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

File

239 Downloads (Pure)

OWL Reasoning: Subsumption Test Hardness and Modularity

Matentzoglu, N., Parsia, B. & Sattler, U., 8 Jun 2017, In: Journal of Automated Reasoning. 60, 4, p. 385–419

Research output: Contribution to journal › Article › peer-review

Open Access

File

167 Downloads (Pure)

2016

A Similarity Based Approach to Omission Finding in Ontologies

Alsubait, T., Parsia, B. & Sattler, U., 2016, 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, . Tamma, V., Dragoni, M., Goncalves, R. & Ławrynowicz, A. (eds.). Springer Nature

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

File

195 Downloads (Pure)

2015

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Lee, M., Matentzoglu, N., Parsia, B. & Sattler, U., 2015, The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Vol. 9367. p. 393-408 16 p.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

A Survey of Current, Stand-alone OWL Reasoners

Matentzoglu, N., Leo, J., Hudhra, V., Sattler, U. & Parsia, B., 2015, Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.. p. 68-79 12 p.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Empirical Investigation of Subsumption Test Hardness in Description Logic Classification

Matentzoglu, N., Sattler, U. & Parsia, B., 2015, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015..

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

General Terminology Induction in OWL

Sazonau, V., Sattler, U. & Brown, G., 11 Oct 2015, The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I. Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d'Aquin, M., Srinivas, K., Groth, P., Dumontier, M., Heflin, J., Thirunarayan, K. & Staab, S. (eds.). Springer Nature, p. 533-550 18 p.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access

File

372 Downloads (Pure)

Introducing Defeasibility into OWL Ontologies

Casini, G., Meyer, T. A., Moodley, K., Sattler, U. & Varzinczak, I. J., 11 Oct 2015, The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d'Aquin, M., Srinivas, K., P. G., Dumontier, M., Heflin, J., Thirunarayan, K. & Staab, S. (eds.). p. 409-426 18 p.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

File

285 Downloads (Pure)

Ontology-Based Multiple Choice Question Generation

Alsubait, T., Parsia, B. & Sattler, U., 17 Nov 2015, In: Kuenstliche Intelligenz. p. 1-6 5 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

1231 Downloads (Pure)

TBox Reasoning in the Probabilistic Description Logic SHIQp

Sazonau, V. & Sattler, U., 2015, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015..

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Verifying Reasoner Correctness - A Justication Based Method

Lee, M., Matentzoglu, N., Sattler, U. & Parsia, B., 2015, Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.. p. 46-52 7 p.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

2014

Algorithm for Adapting Cases Represented in a Tractable Description Logic

Chang, L., Sattler, U. & Gu, T., 2014, Case-Based Reasoning Research and Development - 22nd International Conference (ICCBR 2014). Springer Nature, Vol. 8765. p. 63-78 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

An ABox Revision Algorithm for the Description Logic EL_bot

Chang, L., Sattler, U. & Gu, T., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 459-470 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies

Matentzoglu, N., Parsia, B. & Sattler, U., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 659-670 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

A Study on the Atomic Decomposition of Ontologies

Horridge, M., Mortensen, J., Parsia, B., Sattler, U. & Musen, M., 2014, The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference. Springer Nature, Vol. 8797. p. 65-80 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

DIP: A Defeasible-Inference Platform for {OWL} Ontologies

Moodley, K., Meyer, T. & Sattler, U., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 671-683 13 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014

Shi, Z. (Editor), Wu, Z. (Editor), Leake, D. B. (Editor) & Sattler, U. (Editor), 2014, {IFIP} Advances in Information and Communication Technology. Springer Nature, Vol. 432. ({IFIP} Advances in Information and Communication Technology).

Research output: Chapter in Book/Conference proceeding › Conference contribution

Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure?

Alsubait, T., Parsia, B. & Sattler, U., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 365-377 13 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Measuring similarity in ontologies: a new family of measures

Alsubait, T., Parsia, B. & Sattler, U., 2014, Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track. RWTH Aachen University, Vol. 1272. p. 225-228 4 p. ({CEUR} Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Measuring Similarity in Ontologies: A New Family of Measures

Alsubait, T., Parsia, B. & Sattler, U., 2014, Knowledge Engineering and Knowledge Management - 19th International Conference, EKAW 2014. Springer Nature, Vol. 8876. p. 13-25 13 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Practical Defeasible Reasoning for Description Logics

Moodley, K., Meyer, T. & Sattler, U., 2014, {STAIRS} 2014 - Proceedings of the 7th European Starting {AI} Researcher Symposium, Prague, Czech Republic, August 18-22, 2014. IOS Press, Vol. 264. p. 191-200 10 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Predicting OWL Reasoners: Locally or Globally?

Sazonau, V., Sattler, U. & Brown, G., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 713-724 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Predicting Performance of OWL Reasoners: Locally or Globally?

Sazonau, V., Sattler, U. & Brown, G., 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014. AAAI Press

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Temporalising EL Concepts with Time Intervals

Leo, J., Parsia, B. & Sattler, U., 2014, Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). RWTH Aachen University, Vol. 1193. p. 620-632 13 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

The Manchester OWL Repository: System Description

Matentzoglu, N., Tang, D., Parsia, B. & Sattler, U., 2014, Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track. RWTH Aachen University, Vol. 1272. p. 285-288 4 p. ({CEUR} Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

2013

Finding fault: detecting issues in a versioned ontology

Copeland, M., Gonçalves, R. S., Parsia, B., Sattler, U. & Stevens, R., 2013, Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mapping (WoDOOM 2013). RWTH Aachen University, Vol. 999. p. 9-20 12 p. ({CEUR} Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Finding fault: Detecting issues in a versioned ontology

Copeland, M., Gonçalves, R. S., Parsia, B., Sattler, U. & Stevens, R., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. RWTH Aachen University, Vol. 7955. p. 113-124 11 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

File

138 Downloads (Pure)

Toward cognitive support for OWL justifications

Horridge, M., Bail, S., Parsia, B. & Sattler, U., 2013, In: Knowledge Based Systems. 53, p. 66-79 14 p.

Research output: Contribution to journal › Article › peer-review

Uli Sattler

Research output

Search results