This file was created by the TYPO3 extension publications --- Timezone: CEST Creation date: 2026-04-22 Creation time: 06:43:35 --- Number of references 105 inproceedings SKGT:WSRE25 2025 4 Proc. German Workshop on Software-Reengineering and Evolution (WSRE) Gesellschaft für Informatik 10-12 SoftVarE Rahel Sundermann Sebastian Krieter Birte Glimm Thomas Thüm inproceedings 2025 Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025) IOS Press t3://file?uid=532911 Michael Welt Alexander Lodemann Conny Olz Pascal Bercher Birte Glimm inproceedings SaWG23 The integration of automated planning and ontologies can benefit systems in aspects like additional expressivity and the handling of huge domains. However, the mapping between these techniques might not be straightforward. This work identifies some of the core challenges on the mapping of domain-specific ontologies into planning problems. Here, we identify challenges from both, the lenses of automated planning and domain-specific requirements. This work is intended to raise the discussion on these challenges and motivate future work on this direction. 2023 Proceedings of the PLanning And onTology wOrkshop (PLATO) Milene Santos-Teixeira Michael Welt Birte Glimm inproceedings GrGl23 The diverse research efforts in recent years in the area of stream reasoning (SR) led to a wide range of SR engines. However, the lack of standardization and the diverse choices in SR (e.g., tuple-driven vs.\ time-driven engines, streaming all results vs.\ newly derived ones\mbox, łdots) mean that real comparability among the engines is hardly given. A first step towards achieving comparability and standardization is the RSP-QL model, implemented in the RSP4J framework, which allows for describing and formalizing the semantics of SR engines. To further advance the state of the art in comparative research of stream reasoning, we present the results of a survey to quantify the in-use importance of several key performance indicators (KPIs) and features and compare SR engines along these KPIs with the CityBench and the CSRBench oracle. Our analysis shows that the two RSP4J implementations C-SPARQL2.0 and YASPER outperform the well-known C-SPARQL implementation in terms of performance and configurability. Our comparison against a naive SR extension of the incremental reasoning engine RDFox shows that SR engines still have potential for improvement. To avoid a costly integration of engines into several different benchmarking environments, we finally present a unifying interface, already aligned with the CityBench and CSRBench, for benchmarking SR engines. 2023 Proceedings of the 20th European Semantic Web Conference (ESWC 2023) Springer-Verlag Lecture Notes in Computer Science best paper nominee best paper nominee Nathan Gruber Birte Glimm inproceedings WeGS23 The unsolvability of planning problems is frequently associated with errors on the representation of the domain. Knowledge engineers often struggle to understand the underlying conditions of why a planning problem cannot be solved and which changes might be needed to reach a solution. In this work, we discuss theoretical foundations and algorithms that can be used to calculate minimal parts, called abstractions, of the planning problem that preserve the unsolvability. Additionally, our approach provides minimal sets of facts that repair the planning problem by rendering it solvable when removed. Both together can point to the source of the problem and give a clear focus on which parts of the planning specification are problematic. In particular, our proposed method can be used to debug planning problems that are unsolvable due to ill-modeled effects or over-restricted preconditions. Furthermore, we show that sets of facts inducing minimal unsolvable abstractions and repairs are related by diametrical hitting set properties, which allows us to exploit hitting set tree data structures for a goal-directed computation of these sets. 2023 Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2023) Michael Welt Birte Glimm Milene Santos-Teixeira inproceedings IlGl22a Classical instance queries over an ontology only consider explicitly named individuals. Concept referring expressions (CREs) also allow for returning answers in the form of concepts that describe implicitly given individuals in terms of their relation to an explicitly named one. Existing approaches, e.g., based on tree automata, can neither be integrated into state-of-the-art OWL reasoners nor are they directly amenable for an efficient implementation. To address this, we devise a novel algorithm that uses highly optimized OWL reasoners as a black box. In addition to the standard criteria of singularity and certainty for CREs, we devise and consider the criterion of uniqueness of CREs for Horn ALC ontologies. The evaluation of our prototypical implementation shows that computing CREs for the most general concept (top) can be done in less than one minute for ontologies with thousands of individuals and concepts. 2022 Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022) Morgan Kaufmann Reasoning, Description Logics, Optimisations, Optimizations, Concept Referring Expressions AutomatedReasoning t3://file?uid=455865 Moritz Illich Birte Glimm inproceedings IlGl22b Classical instance queries over an ontology only consider explicitly named individuals. Concept referring expressions (CREs) also allow for returning answers in the form of concepts that describe implicitly given individuals in terms of their relation to an explicitly named one. Existing approaches, e.g., based on tree automata, can neither be integrated into state-of-the-art OWL reasoners nor are they directly amenable for an efficient implementation. To address this, we devise a novel algorithm that uses highly optimized OWL reasoners as a black box. In addition to the standard criteria of singularity and certainty for CREs, we devise and consider the criterion of uniqueness of CREs for Horn ALC ontologies. The evaluation of our prototypical implementation shows that computing CREs for the most general concept can be done in less than one minute for ontologies with thousands of individuals and concepts. 2022 Proceedings of the 35th International Workshop on Description Logics (DL 2022) 3263 CEUR-WS.org CEUR Workshop Proceedings Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier https://ceur-ws.org/Vol-3263/paper-14.pdf Moritz Illich Birte Glimm inproceedings GlKW22 We present two alternative algorithms for computing (all or some) solutions to the concept abduction problem: one algorithm is based on Reiter's hitting set tree algorithm, whereas the other one relies on a SAT encoding. In contrast to previous work, the algorithms do not rely on a refutation-based calculus and, hence, can be used also with efficient reasoners for tractable DLs such as $\mathcalEL$ and its extensions. An adaptation to other forms of (logic-based) abduction, e.g., to ABox abduction, is also possible. 2022 Proceedings of the 35th International Workshop on Description Logics (DL 2022) 3263 CEUR-WS.org CEUR Workshop Proceedings Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier https://ceur-ws.org/Vol-3263/paper-11.pdf Birte Glimm Yevgeny Kazakov Michael Welt article DGMT22 The area of Knowledge Representation and Reasoning (KR) is a central area in Artificial Intelligence that deals with the explicit, declarative representation of knowledge along with inference procedures for deriving further, implicit information from this knowledge. The goal of this Perspectives Seminar was to assess the area of KR, including its history, current state, and future prospects, and from this assessment to provide suggestions and recommendations for advancing the field, increasing participation in the area, and furthering links with related areas. Over the course of 5 days, 25 participants from a cross-section of subareas in KR and areas adjacent to KR met to discuss these topics. The workshop was composed of a number of invited talks and panels for reviewing the history and state of the art of KR, along with several working groups and general open discussions. In common with other Perspectives Workshops, a Manifesto will be produced; as well, recommendations contained in the manifesto will be also forwarded to the steering committee of the Principles of Knowledge Representation and Reasoning conference series for their consideration. 2022 10.4230/DagRep.12.7.62 Dagstuhl Reports 12 62—79 7 https://doi.org/10.4230/DagRep.12.7.62 James P. Delgrande Birte Glimm Thomas Meyer Miroslaw Truszczynski Milene Santos Teixeira Frank Wolter inproceedings GlKa22 Propositional SAT solvers have been a popular way of computing justifications for ontological entailment– minimal subsets of axioms of the ontologies that entail a given conclusion. Most SAT encodings proposed for Description Logics (DLs), translate the inferences obtained by a consequence-based procedure to propositional Horn clauses, using which entailments from subsets of axioms can be effectively checked, and use modified SAT solvers to systematically search over these subsets. To avoid repeated discovery of subsets with already checked entailment, the modified SAT solvers add special blocking clauses that prevent generating truth assignments corresponding to these subsets, the number of which can be exponential, even if the number of justifications is small. In this paper, we propose alternative SAT encodings that avoid generation of unnecessary blocking clauses. Unlike the previous methods, the inferences are used not only for checking entailment from subsets of axioms, but also, as a part of the encoding, to ensure that the SAT solver generates truth assignments corresponding only to justifications. 2022 Proceedings of the 35th International Workshop on Description Logics (DL 2022) 3263 CEUR-WS.org CEUR Workshop Proceedings Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier https://ceur-ws.org/Vol-3263/paper-10.pdf Birte Glimm Yevgeny Kazakov article BBKS21 We report on the technology transfer project “Do it yourself, but not alone: Companion-Technology for Home Improvement” that was carried out by Ulm University in cooperation with Robert Bosch GmbH. We developed a prototypical assistance system that assists a Do It Yourself (DIY) handyman in carrying out DIY projects. The assistant, based on various AI and dialog management capabilities, generates a sequence of detailed instructions that users may just follow or adapt according to their individual preferences. It features explanation capabilities as well as pro-active support based on communication with the user as well as with the involved tools. We report on the project’s main achievements, including the findings of various empirical studies conducted in various development stages of the prototype. 2021 10.1007/s13218-021-00721-x Künstliche Intell. 35 367—375 3 https://doi.org/10.1007/s13218-021-00721-x Pascal Bercher Gregor Behnke Matthias Kraus Marvin R. G. Schiller Dietrich Manstetten Michael Dambier Michael Dorna Wolfgang Minker Birte Glimm Susanne Biundo article Bercher2021DIY We report on the technology transfer project “Do it yourself, but not alone: Companion-Technology for Home Improvement” that was carried out by Ulm University in cooperation with Robert Bosch GmbH. We developed a prototypical assistance system that assists a Do It Yourself (DIY) handyman in carrying out DIY projects. The assistant, based on various AI and dialog management capabilities, generates a sequence of detailed instructions that users may just follow or adapt according to their individual preferences. It features explanation capabilities as well as pro-active support based on communication with the user as well as with the involved tools. We report on the project’s main achievements, including the findings of various empirical studies conducted in various development stages of the prototype. 2021 Künstliche Intelligenz – Special Issue on NLP and Semantics https://rdcu.be/cmGwb http://link.springer.com/article/10.1007/s13218-021-00721-x Pascal Bercher Gregor Behnke Matthias Kraus Marvin R. G. Schiller Dietrich Manstetten Michael Dambier Michael Dorna Wolfgang Minker Birte Glimm Susanne Biundo inproceedings WeLG21a The exploration of large, unknown RDF data sets is difficult even for users who are familiar with Semantic Web technologies as, e.g., the SPARQL query language. The concept of faceted navigation offers a user-friendly exploration method through filters that are chosen such that no empty result sets occur. However, especially for large data sets, computing such filters is resource intensive and may cause considerable delays in the user interaction. One possibility for improving the performance is the generation of indices for partial solutions. In this paper, we propose and evaluate indices in form of the Bitmap Triple (BT) data structure, generated over the Header-Dictionary-Triples (HDT) RDF compression format. We show that the resulting indices can be utilized to efficiently compute the required exploratory operations for data sets with up to 150 million triples. In the experiments, the BT indices exhibit a stable performance and outperform other deployed approaches in four out of five compared operations. 1 2021 Proceedings of the 18th European Semantic Web Conference (ESWC 2021) Springer-Verlag Lecture Notes in Computer Science AutomatedReasoning, KnowledgeModelling Maximilian Wenzel Thorsten Liebig Birte Glimm inproceedings QuAG21a A lane-level, high-definition (HD) digital map is needed for autonomous cars to provide safety and security to the passengers. However, it continues to prove very difficult to produce error-free maps. To avoid the deactivation of autonomous driving (AD) mode caused by map errors, ensuring map data quality is a crucial task. We propose an ontology-based workflow for HD map data quality assurance, including semantic enrichment, violation detection, and violation handling. Evaluations show that our approach can successfully check the quality of map data and suggests that violation handling is even feasible on-the-fly in the car (on-board), avoiding the autonomous driving mode's deactivation. 2021 Proceedings of the 18th European Semantic Web Conference (ESWC 2021) Springer-Verlag Lecture Notes in Computer Science AutomatedReasoning KnowledgeModelling Haonan Qiu Adel Ayara Birte Glimm inproceedings StGl21a Automated reasoning support is an important aspect of logic-based knowledge representation. The development of specialised procedures and sophisticated optimisation techniques significantly improved the performance even for complex reasoning tasks such as conjunctive query answering. Reasoning and query answering over knowledge bases with a large number of facts and expressive schemata remains, however, challenging. We propose a novel approach where the reasoning over assertional knowledge is split into small, similarly sized work packages to enable a parallelised processing with tableau algorithms, which are dominantly used for reasoning with more expressive Description Logics. To retain completeness in the presence of expressive schemata, we propose a specifically designed cache that allows for controlling and synchronising the interaction between the constructed partial models. We further report on encouraging performance improvements for the implementation of the techniques in the tableau-based reasoning system Konclude. 2021 Proceedings of the 18th European Semantic Web Conference (ESWC 2021) Springer-Verlag Lecture Notes in Computer Science AutomatedReasoning KnowledgeModelling SemanticTechnologies Andreas Steigmiller Birte Glimm inproceedings StGL21b Konclude is a well-performing reasoner for ontologies formulated via the Web Ontology Language. In this paper, we give an overview of new or extended optimizations that lead to additional improvements. We further describe new (functional) extensions and capabilities (such as query answering) that are ready for first practical use-cases. Last but not least, we show some evaluations and comparisons for the new version of Konclude. 2021 Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) 3123 CEUR-WS.org CEUR Workshop Proceedings Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi 37—43 https://ceur-ws.org/Vol-3123/paper5.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig inproceedings QiAG20a 2020 Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020) IEEE AutomatedReasoning,KnowledgeModelling t3://file?uid=431045 Best Paper Nomination Haonan Qiu Adel Ayara Birte Glimm inproceedings QiAG20c 2020 Proceedings of the ISWC 2020 Posters & Demonstrations Track 2721 CEUR-WS.org CEUR Workshop Proceedings Semantic Web AutomatedReasoning, KnowledgeModelling https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20c.pdf Haonan Qiu Adel Ayara Birte Glimm inproceedings Behnke2020DIYAssistant 2020 Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020) AAAI Press 343--347 SFB-T3,Planning SFB-T3,Planning,KnowledgeModelling https://aaai.org/ojs/index.php/ICAPS/article/view/6679/6533 - - "Link to the AAAI Paper Version" https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Behnke2020DIYAssistant.pdf Gregor Behnke Pascal Bercher Matthias Kraus Marvin R. G. Schiller Kristof Mickeleit Timo Häge Michael Dorna Michael Dambier Wolfgang Minker Birte Glimm Susanne Biundo inproceedings QiAG20b 2020 Proceedings of the 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020) SciTePress AutomatedReasoning,KnowledgeModelling t3://file?uid=431048 Haonan Qiu Adel Ayara Birte Glimm inproceedings Kraus2020ICMI Effectively supporting novices during performance of complex tasks, e.g. do-it-yourself (DIY) projects, requires intelligent assistants to be more than mere instructors. In order to be accepted as a competent and trustworthy cooperation partner, they need to be able to actively participate in the project and engage in helpful conversations with users when assistance is necessary. Therefore, a new proactive version of the DIY-assistant \textsc{Robert} is presented in this paper. It extends the previous prototype by including the capability to initiate reflective meta-dialogues using multimodal cues. Two different strategies for reflective dialogue are implemented: A progress-based strategy initiates a reflective dialogue about previous experience with the assistance for encouraging the self-appraisal of the user. An activity-based strategy is applied for providing timely, task-dependent support. Therefore, user activities with a connected drill driver are tracked that trigger dialogues in order to reflect on the current task and to prevent task failure. An experimental study comparing the proactive assistant against the baseline version shows that proactive meta-dialogue is able to build user trust significantly better than a solely reactive system. Besides, the results provide interesting insights for the development of proactive dialogue assistants. 2020 Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020) ACM SFB-T3 https://dl.acm.org/doi/pdf/10.1145/3382507.3418818 - - "Link to the Conference Paper" t3://file?uid=431053 Matthias Kraus Marvin R. G. Schiller Gregor Behnke Pascal Bercher Michael Dorna Michael Dambier Birte Glimm Susanne Biundo Wolfgang Minker inbook Kraus2019CloudCompanion Companion systems are cooperative, cognitive systems aiming at assist-ing a user in everyday situations. Therefore, these systems require a high level ofavailability. One option to meet this requirement is to use a web-deployable archi-tecture. In this demo paper, we present a multimodal cloud-based dialogue frame-work for the development of a distributed, web-based companion system. The pro-posed framework is intended to provide an efficient, easily extensible, and scalableapproach for these kinds of systems and will be demonstrated in a do-it-yourselfassistance scenario. 2019 Springer A Multimodal Dialogue Framework for Cloud-Based Companion Systems Lecture Notes in Electrical Engineering Rafael Banchs and Luis Fernando D'Haro and Haizhou Li SFB-T3,Planning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf Matthias Kraus Marvin R. G. Schiller Gregor Behnke Pascal Bercher Susanne Biundo Birte Glimm Wolfgang Minker inproceedings 10.1007/978-3-030-30793-6_34 Conjunctive query answering is an important reasoning task for logic-based knowledge representation formalisms, such as Description Logics, to query for instance data that is related in certain ways. Although many knowledge bases use language features of more expressive Description Logics, there are hardly any systems that support full conjunctive query answering for these logics. In fact, existing systems usually impose restrictions on the queries or only compute incomplete results. 2019 978-3-030-30793-6 Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science Springer International Publishing

Cham

Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan 593--611 https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34 t3://file?uid=429519 Andreas Steigmiller Birte Glimm inproceedings DBLP:conf/dlog/SteigmillerG19 2019 Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings CEUR-WS.org http://ceur-ws.org/Vol-2373/paper-25.pdf http://ceur-ws.org/Vol-2373/paper-25.pdf Andreas Steigmiller Birte Glimm article Behnke2019bosch We present the interactive assistant Robert that provides situation-adaptive support in the realisation of do-it-yourself (DIY) home improvement projects. Robert assists its users by providing comprehensive step-by-step instructions for completing the DIY project. Each instruction is illustrated with detailed graphics, written and spoken text, as well as with videos. They explain how the steps of the project have to be prepared and assembled and give precise instructions on how to operate the required electric devices. The step-by-step instructions are generated by a hierarchical planner, which enables Robert to adapt to a multitude of environments easily. Parts of the underlying model are derived from an ontology storing information about the available devices and resources. A dialogue manager capable of natural language interaction is responsible for hands-free interaction. We explain the required background technology and present preliminary results of an empirical evaluation. 2019 10.3233/AIC-180604 AI Communications 32 IOS Press 31-57 1 SFB-T3,Planning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf The final publication is available at IOS Press through http://dx.doi.org/10.3233/AIC-180604 The final publication is available at IOS Press through http://dx.doi.org/10.3233/AIC-180604 Gregor Behnke Marvin R. G. Schiller Matthias Kraus Pascal Bercher Mario Schmautz Michael Dorna Michael Dambier Wolfgang Minker Birte Glimm Susanne Biundo inproceedings SQAG19a 2019 Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019) IEEE 140--147 AutomatedReasoning,KnowledgeModelling https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8791704 - - "Link to conference paper" t3://file?uid=431057 Yogita Suryawanshi Haonan Qiu Adel Ayara Birte Glimm inproceedings DBLP:conf/rweb/GlimmK19 2019 10.1007/978-3-030-31423-1_1 Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 11810 Springer Lecture Notes in Computer Science Markus Krötzsch and Daria Stepanova 1-64 KnowledgeModeling https://doi.org/10.1007/978-3-030-31423-1\_1 t3://file?uid=420338 Birte Glimm Yevgeny Kazakov inproceedings Kraus2018CompanionCloudDemo Abstract Companion systems are cooperative, cognitive systems aiming at assisting a user in everyday situations. Therefore, these systems require a high level of availability. One option to meet this requirement is to use a web-deployable architecture. In this demo paper, we present a multimodal cloud-based dialogue framework for the development of a distributed, web-based companion system. The proposed framework is intended to provide an efficient, easily extensible, and scalable approach for this kind of systems and will be demonstrated in a do-it-yourself assistance scenario. 2018 Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018) SFB-TRR-62,SFB-T3,Planning,KnowledgeModeling https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf Matthias Kraus Gregor Behnke Pascal Bercher Marvin R. G. Schiller Susanne Biundo Birte Glimm Wolfgang Minker inproceedings PSH2018 2018 Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211 SFB-TRR-62,SFB-T3 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf Tanja Perleth Marvin R. G. Schiller Birte Glimm inproceedings BrGl18a Abstraction Refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) 'abstraction' of this ontology. In this paper, we show how Abstraction Refinement can be adopted for incremental ABox materialization by combining it with the well-known DRed algorithm for materialization maintenance. Such a combination is non-trivial and to preserve soundness and completeness, already Horn ALCHI requires more complex abstractions. Nevertheless, we show that significant benefits can be obtained for synthetic and real-world ontologies. 2018 Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) AAAI Press AutomatedReasoning www.ijcai.org https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf Markus Brenner Birte Glimm inproceedings schillerEtAlMCI2018 We report on the development of a companion system incorporating hierarchical planning, ontology-based knowledge modeling and multimodal cloud-based dialog. As an application scenario, we consider the domain of do-it-yourself (DIY) home improvement involving the use of power tools. To test and – if necessary – adjust the developed techniques, user studies are conducted throughout the development phase. We present fundamental considerations and open questions encountered when testing the implemented prototype with potential users and report first observations from a current study. 2018 Proceedings of MCI Workshop "Digital Companion" 925--930 SFB-TRR-62,SFB-T3 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf Marvin R. G. Schiller Gregor Behnke Pascal Bercher Matthias Kraus Michael Dorna Felix Richter Susanne Biundo Birte Glimm Wolfgang Minker inproceedings Behnke2018HomeImprovementSystem Novice users require assistance when performing handicraft tasks. Adequate instruction ensures task completion and conveys knowledge and abilities required to perform the task. We present an assistant teaching novice users how to operate electronic tools, such as drills, saws, and sanders, in the context of Do-It-Yourself (DIY) home improvement projects. First, the actions that need to be performed for the project are determined by a planner. Second, a dialogue manager capable of natural language interaction presents these actions as instructions to the user. Third, questions on these actions and involved objects are answered by generating appropriate ontology-based explanations. 2018 10.24963/ijcai.2018/844 Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) IJCAI 5805--5807 SFB-T3 www.ijcai.org https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf Gregor Behnke Marvin R. G. Schiller Matthias Kraus Pascal Bercher Mario Schmautz Michael Dorna Wolfgang Minker Birte Glimm Susanne Biundo inproceedings Schiller17CouplingKnowledge Companion systems are technical systems that adjust their functionality to the needs and the situation of an individual user. Consequently, companion systems are strongly knowledge-based. We propose a modelling paradigm for integrating procedural and conceptual knowledge which is targeted at companion systems that require a combination of planning and reasoning capabilities. The presented methodology couples the hierarchical task network (HTN) planning formalism with an ontology-based knowledge representation, thereby minimising redundancies in modelling and enabling the use of state-of-the-art reasoning and planning tools on the shared knowledge model. The approach is applied within a prototype of a companion system that assists novice users in the do-it-yourself (DIY) domain with the planning and execution of home improvement projects involving the use of power tools. 2017 10.1109/COMPANION.2017.8287072 Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017) IEEE SFB-TRR-62,SFB-T3,Planning,KnowledgeModeling http://ieeexplore.ieee.org/document/8287072/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf Marvin R. G. Schiller Gregor Behnke Mario Schmautz Pascal Bercher Matthias Kraus Michael Dorna Wolfgang Minker Birte Glimm Susanne Biundo inproceedings BrGl17a 2017 Proceedings of the 30th International Workshop on Description Logics (DL 2017) 1879 CEUR-WS.org CEUR Workshop Proceedings AutomatedReasoning http://ceur-ws.org/Vol-1879/paper19.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf Markus Brenner Birte Glimm inproceedings Ulmschneider.2017 Innovative capacity is highly dependent upon knowledge and the possession of unique competences can be an important source of enduring strategic advantage. Hence, being able to identify, locate, measure, and assess competence occupants can be a decisive competitive edge. In this work, we introduce a framework that assists with performing such tasks. To achieve this, NLP-, rule-based, and machine learning techniques are employed to process raw data such as academic publications or patents. The framework gains normalized person and organization profiles and compiles identified entities (such as persons, organizations, or locations) into dedicated objects disambiguating and unifying where needed. The objects are then mapped with conceptual systems and stored along with identified semantic relations in a Knowledge Graph, which is constituted by RDF triples. An OWL reasoner allows for answering complex business queries, and in particular, to analyze and evaluate competences on multiple aggregation levels (i.e., single vs. collective) and dimensions (e.g., region, technological field of interest, time). In order to prove the general applicability of the framework and to illustrate how to solve concrete business cases from the automotive domain, it is evaluated with different datasets. 2017 978-3-319-69547-1 10.1007/978-3-319-69548-8_15 Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) Springer

Berlin, Germany

Communications in Computer and Information Science (CCIS) Rozewski, Przemyslaw and Lange, Christoph 211--226 Competence Analysis;Competence Assessment;Competence Detection;Computational Linguistics;Corporate Strategy;Data Mining;Decision Making;Expert Matching;Expert Mining;Information Extraction;Information Retrieval;Innovation Ecosystem;Knowledge Graph;Knowledge Representation;Machine Learning;Name Disambiguation;Name Normalization;Natural Language Processing;Ontology;Patent Analysis;Question Answering;Reasoning;Semantic Analysis;Semantic Technologies AutomatedReasoning,KnowledgeModelling https://link.springer.com/chapter/10.1007/978-3-319-69548-8_15 http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf Klaus Ulmschneider Birte Glimm conference GliKazTra:17:Abstraction:Horn:SHOIF:AAAI Abstraction refinement is a recently introduced technique using which reasoning over large ABoxes is reduced to reasoning over small abstract ABoxes. Although the approach is sound for any classical Description Logic such as {SROIQ}, it is complete only for Horn {ALCHOI}. In this paper, we propose an extension of this method that is now complete for Horn {SHOIF} and also handles role- and equality-materialization. To show completeness, we use a tailored set of materialization rules that loosely decouple the ABox from the TBox. An empirical evaluation demonstrates that, despite the new features, the abstractions are still significantly smaller than the original ontologies and the materialization can be computed efficiently. 2017 Proceedings of the 31st AAAI Conference on Artificial Intelligence AAAI Press Satinder P. Singh and Shaul Markovitch 1114--1120 31st AAAI Conference on Artificial Intelligence San Francisco, California, USA AutomatedReasoning http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14726 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf Birte Glimm Yevgeny Kazakov Trung-Kien Tran inproceedings MaKG17a This paper presents a novel approach, QSMat, for efficient RDF data stream querying with flexible query-based materialization. Previous work accelerates either the maintenance of a stream window materialization or the evaluation of a query over the stream. QSMat exploits knowledge of a given query and entailment rule-set to accelerate window materialization by avoiding inferences that provably do not affect the evaluation of the query. We prove that stream querying over the resulting partial window materializations with QSMat is sound and complete with regard to the query. A comparative experimental performance evaluation based on the Berlin SPARQL benchmark and with selected representative systems for stream reasoning shows that QSMat can significantly reduce window materialization size, reasoning overhead, and thus stream query evaluation time. 2017 10.1007/978-3-319-69548-8_12 Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017) 786 Springer-Verlag Communications in Computer and Information Science 159-174 AutomatedReasoning https://link.springer.com/chapter/10.1007/978-3-319-69548-8_12 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf Christian Mathieu Matthias Klusch Birte Glimm inproceedings GlKT17b 2017 Proceedings of the 30th International Workshop on Description Logics (DL 2017) 1879 CEUR-WS.org CEUR Workshop Proceedings AutomatedReasoning http://ceur-ws.org/Vol-1879/paper57.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf Birte Glimm Yevgeny Kazakov Trung-Kien Tran inproceedings Behnke2017Sloth We present the mixed-initiative planning system SLOTH, which is designed to assist users in planning a fitness workout. Mixed-initiative planning systems are especially useful for companion systems, as they allow the seamless integration of the complex cognitive ability of planning into ambient assistance systems. This is achieved by integrating the user directly into the process of plan generation and thereby allowing him to specify these objectives and to be assisted in generating a plan that not only achieves his objectives, but at the same time also fits his preferences. We present the capabilities that are integrated into SLOTH and discuss the design choices and considerata that have to be taken into account when constructing a mixed-initiative planning system. 2017 10.1109/COMPANION.2017.8287077 Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017) IEEE SFB-TRR-62,Planning http://ieeexplore.ieee.org/document/8287077/ http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Sloth.pdf Gregor Behnke Florian Nielsen Marvin R. G. Schiller Pascal Bercher Matthias Kraus Wolfgang Minker Susanne Biundo Birte Glimm inproceedings ScSG17a 2017 Proceedings of the 30th International Workshop on Description Logics (DL 2017) 1879 CEUR-WS.org CEUR Workshop Proceedings AutomatedReasoning,KnowledgeModelling http://ceur-ws.org/Vol-1879/paper43.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf Birte Glimm Marvin R. G. Schiller Florian Schiller article PMGG17a The OWL Reasoner Evaluation competition is an annual competition (with an associated workshop) that pits OWL 2 compliant reasoners against each other on various standard reasoning tasks over naturally occurring problems. The 2015 competition was the third of its sort and had 14 reasoners competing in six tracks comprising three tasks (consistency, classification, and realisation) over two profiles (OWL 2 DL and EL). In this paper, we discuss the design, execution and results of the 2015 competition with particular attention to lessons learned for benchmarking, comparative experiments, and future competitions. 2017 10.1007/s10817-017-9406-8 Journal of Automated Reasoning (JAR) 59 455-482 4 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning https://doi.org/10.1007/s10817-017-9406-8 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf Bijan Parsia Nicolas Matentzoglu Rafael S. Goncalves Birte Glimm Andreas Steigmiller inbook Behnke2017CompBookMIP Settings where systems and users work together to solve problems collaboratively are among the most challenging applications of Companion-Technology. So far we have seen how planning technology can be exploited to realize Companion-Systems that adapt flexibly to changes in the user’s situation and environment and provide detailed help for users to realize their goals. However, such systems lack the capability to generate their plans in cooperation with the user. In this chapter we go one step further and describe how to involve the user directly into the planning process. This enables users to integrate their wishes and preferences into plans and helps the system to produce individual plans, which in turn let the Companion-System gain acceptance and trust from the user. Such a Companion-System must be able to manage diverse interactions with a human user. A so-called mixed-initiative planning system integrates several Companion-Technologies which are described in this chapter. For example, a—not yet final—plan, including its flaws and solutions, must be presented to the user to provide a basis for her or his decision. We describe how a dialog manager can be constructed such that it can handle all communication with a user. Naturally, the dialog manager and the planner must use coherent models. We show how an ontology can be exploited to achieve such models. Finally, we show how the causal information included in plans can be used to answer the questions a user might have about a plan. The given capabilities of a system to integrate user decisions and to explain its own decisions to the user in an appropriate way are essential for systems that interact with human users. 2017 10.1007/978-3-319-43665-4_7 Companion Technology -- A Paradigm Shift in Human-Technology Interaction Springer 7 Cognitive Technologies Susanne Biundo and Andreas Wendemuth 123--144 SFB-TRR-62,Planning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf Gregor Behnke Florian Nielsen Marvin R. G. Schiller Denis Ponomaryov Pascal Bercher Birte Glimm Wolfgang Minker Susanne Biundo article GlSt2016a 2016 0933-1875 10.1007/s13218-016-0424-1 KI - Künstliche Intelligenz 30 117--130 2 Reasoning, Description Logics, Semantic Web AutomatedReasoning http://dx.doi.org/10.1007/s13218-016-0424-1 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf Birte Glimm Heiner Stuckenschmidt inproceedings ZhQG16a Materialization is an important reasoning service for applications built on the Web Ontology Language (OWL). To make materialization efficient in practice, current research focuses on deciding tractability of an ontology language and designing parallel reasoning algorithms. However, some well-known large-scale ontologies, such as YAGO, have been shown to have good performance for parallel reasoning, but they are expressed in ontology languages that are not parallelly tractable, i.e., the reasoning is inherently sequential in the worst case. This motivates us to study the problem of parallel tractability of ontology materialization from a theoretical perspective. That is, we aim to identify the ontologies for which materialization is parallelly tractable, i.e., in NC complexity. In this work, we focus on datalog rewritable ontology languages. We identify several classes of datalog rewritable ontologies (called parallelly tractable classes) such that materialization over them is parallelly tractable. We further investigate the parallel tractability of materialization of a datalog rewritable OWL fragment DHL (Description Horn Logic) and an extension of DHL that allows complex role inclusion axioms. Based on the above results, we analyze real-world datasets and show that many ontologies expressed in DHL or its extension belong to the parallelly tractable classes. 2016 10.3233/978-1-61499-672-9-73 Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) 285 IOS Press Frontiers in Artificial Intelligence and Applications 73-81 Reasoning, Description Logics, Optimisations, Optimizations,Materialization, Materialisation, Paralellisation, Paralellization AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf Zhangquan Zhou Guilin Qi Birte Glimm article Glim2016a 2016 0933-1875 10.1007/s13218-016-0428-x KI - Künstliche Intelligenz 30 201--203 2 Reasoning, Description Logics, Semantic Web AutomatedReasoning http://dx.doi.org/10.1007/s13218-016-0428-x https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf Birte Glimm inproceedings GlKT16a 2016 Proceedings of the 29th International Workshop on Description Logics (DL 2016) 1577 CEUR-WS.org CEUR Workshop Proceedings AutomatedReasoning http://ceur-ws.org/Vol-1577/invited_paper_1.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf Birte Glimm Yevgeny Kazakov Trung-Kien Tran inproceedings GlKT16b 2016 Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016) 9898 Springer-Verlag Lecture Notes in Computer Science Magdalena Ortiz and Stefan Schlobach 77--93 Reasoning, Description Logics, Optimisations, Optimizations, Materialization, Materialisation, Abstraction AutomatedReasoning http://dx.doi.org/10.1007/978-3-319-45276-0_7 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf Best Student Paper Award Birte Glimm Yevgeny Kazakov Trung-Kien Tran inproceedings Ulmschneider.2016 In recent years patents have become increasingly important for businesses to protect their intellectual capital and as a valuable source of information. Patent information is, however, not employed to its full potential and the interpretation of structured and unstructured patent information in large volumes remains a challenge. We address this by proposing an integrated interdisciplinary approach that uses natural language processing and machine learning techniques to formalize multilingual patent information in an ontology. The ontology further contains patent and domain specific knowledge, which allows for aligning patents with technological fields of interest and other business-related artifacts. Our empirical evaluation shows that for categorizing patents according to well-known technological fields of interest, the approach achieves high accuracy with selected feature sets compared to related work focussing on monolingual patents. We further show that combining OWL RL reasoning with SPARQL querying over the patent knowledge base allows for answering complex business queries and illustrate this with real-world use cases from the automotive domain. 2016 9781509042395 10.1109/SSCI.2016.7849943 Proceedings of the 7th IEEE Symposium Series on Computational Intelligence (SSCI'16) IEEE Computer Society

Red Hook, United States

Jin, Yaochu and Kollias, Stefanos 1-8 Computational Intelligence;Computational Linguistics;Corporate Strategy;Data Mining;Decision Making;Information Extraction;Information Retrieval;Knowledge Graph;Knowledge Representation;Machine Learning;Natural Language Processing;Patent Analysis;Reasoning;Semantic Analysis;Semantic Technologies AutomatedReasoning,KnowledgeModelling http://ieeexplore.ieee.org/document/7849943/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf Klaus Ulmschneider Birte Glimm article GlSt2016b 2016 1610-1987 10.1007/s13218-016-0430-3 KI - Künstliche Intelligenz 30 113--115 2 Reasoning, Description Logics, Semantic Web AutomatedReasoning http://dx.doi.org/10.1007/s13218-016-0430-3 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf Birte Glimm Heiner Stuckenschmidt inproceedings PMGG16a 2016 Proceedings of the 15th International Semantic Web Conference (ISWC 2016) 9982 Springer-Verlag Lecture Notes in Computer Science Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil 159--167 Benchmarking, Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://link.springer.com/chapter/10.1007%2F978-3-319-46547-0_17 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf Best Resource Track Paper Award Bijan Parsia Nicolas Matentzoglu Rafael S. Goncalves Birte Glimm Andreas Steigmiller inproceedings BrGl15a Current approaches to stream reasoning neglect knowledge about the system as a whole. We present first steps towards self-describing streams by outlining a possible definition of the data produced by differ- ent streams. We give an outlook on future paths and how such descrip- tions can be used to improve reasoning about the streamed data. 2015 9 Proceedings of the International Symposium on Companion Technology (ISCT 2015) SFB-TRR-62,AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf Markus Brenner Birte Glimm inproceedings Behnke15MIPDiscussion Companion systems aim to extend the abilities of ordinary technical systems, for instance by modeling the user's situation, by recognizing the user's intentions, and by being able to interact with the user and to adapt to her/him. Such a system depends on planning capabilities to determine which actions are necessary to achieve a particular goal. In many situations it may not be appropriate for a companion system to develop plans on its own, but instead it has to integrate the user while creating the plan, i.e., it needs to be mixed-initiative. Based on earlier work, we demonstrate how a central knowledge base for a mixed-initiative planning system can be designed. We outline various benefts our approach brings to bear within a companion system. Lastly, we present several requests a user might issue towards the mixed-initiative planning system and how they can be answered by harnessing the knowledge base. 2015 Proceedings of the First International Symposium on Companion Technology (ISCT 2015) 43--48 First International Symposium on Companion Technology (ISCT 2015) Ulm, Germany SFB-TRR-62,Planning,AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf Gregor Behnke Marvin R. G. Schiller Denis Ponomaryov Florian Nothdurft Pascal Bercher Wolfgang Minker Birte Glimm Susanne Biundo inproceedings Behnke2015Coherence The integration of the various specialized components of cognitive systems poses a challenge, in particular for those architectures that combine planning, inference, and human-computer interaction (HCI). An approach is presented that exploits a single source of common knowledge contained in an ontology. Based upon the knowledge contained in it, specialized domain models for the cognitive systems’ components can be generated automatically. Our integration targets planning in the form of hierarchical planning, being well-suited for HCI as it mimics planning done by humans. We show how the hierarchical structures of such planning domains can be (partially) inferred from declarative background knowledge. The same ontology furnishes the structure of the interaction between the cognitive system and the user. First, explanations of plans presented to users are enhanced by ontology explanations. Second, a dialog domain is created from the ontology coherent with the planning domain. We demonstrate the application of our technique in a fitness training scenario. 2015 Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) AAAI Press 1442-1449 IJCAI 2015 Buenos Aires SFB-TRR-62,Planning,AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15IJCAI-poster.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf Gregor Behnke Denis Ponomaryov Marvin R. G. Schiller Pascal Bercher Florian Nothdurft Birte Glimm Susanne Biundo inproceedings StGL15a 2015 Proceedings of the 28th International Workshop on Description Logics (DL 2015) CEUR Workshop Proceedings AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig inproceedings BBBGPS2015OntologiesAndPlanning We present an approach for integrating ontological reasoning and planning within cognitive systems. Patterns and mechanisms that suitably link planning domains and interrelated knowledge in an ontology are devised. In particular, this enables the use of (standard) ontology reasoning for extending a (hierarchical) planning domain. Furthermore, explanations of plans generated by a cognitive system benefit from additional explanations relying on background knowledge in the ontology and inference. An application of this approach in the domain of fitness training is presented. 2015 Proceedings of the 28th International Workshop on Description Logics (DL 2015) CEUR Workshop Proceedings AutomatedReasoning, Planning, SFB-TRR-62 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf Gregor Behnke Pascal Bercher Susanne Biundo Birte Glimm Denis Ponomaryov Marvin R. G. Schiller inproceedings GKKS14a 2015 Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) AAAI Press Description Logics, Query Answering, Semantic Web, SPARQL AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf Birte Glimm Yevgeny Kazakov Ilianna Kollia Giorgos Stamou inproceedings GKKS15b 2015 Proceedings of the 28th International Workshop on Description Logics (DL 2015) CEUR Workshop Proceedings Description Logics, Query Answering, Semantic Web, SPARQL AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf Birte Glimm Yevgeny Kazakov Ilianna Kollia Giorgos Stamou article UMGM15a 2015 10.1108/IJWIS-04-2015-0014 International Journal of Web Information Systems 11 291-326 3 AutomatedReasoning http://dx.doi.org/10.1108/IJWIS-04-2015-0014 Klaus Ulmschneider Bernd Michelberger Birte Glimm Bela Mutschler Manfred Reichert article StGl15b 2015 10.1613/jair.4897 Journal of Artificial Intelligence Research 54 535--592 Reasoning, Description Logics, Optimisations, Optimizations SFB-TRR-62,AutomatedReasoning http://jair.org/media/4897/live-4897-9009-jair.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf Andreas Steigmiller Birte Glimm inproceedings DBLP:conf/semweb/ParsiaMGGS15 2015 Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015) 1457 CEUR-WS.org CEUR Workshop Proceedings Thorsten Liebig and Achille Fokoue 2-15 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf Bijan Parsia Nicolas Matentzoglu Rafael S. Goncalves Birte Glimm Andreas Steigmiller inproceedings GKLT14a 2014 Proceedings of the 27th International Workshop on Description Logics (DL 2014) 1193 CEUR-WS.org CEUR Workshop Proceedings 180-195 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://ceur-ws.org/Vol-1193/paper_6.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf Birte Glimm Yevgeny Kazakov Thorsten Liebig Trung-Kien Tran Vincent Vialard inproceedings GKLT14b 2014 10.1007/978-3-319-11915-1_12 Proceedings of the 13th International Semantic Web Conference (ISWC 2014) 8797 Springer-Verlag Lecture Notes in Computer Science 180-195 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://link.springer.com/chapter/10.1007%2F978-3-319-11915-1_12 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf Birte Glimm Yevgeny Kazakov Thorsten Liebig Trung-Kien Tran Vincent Vialard inproceedings StGL14a 2014 10.1007/978-3-319-08587-6_35 Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) 8562 Springer-Verlag Lecture Notes in Computer Science Stéphane Demri, Deepak Kapur and Christoph Weidenbach 449-463 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://link.springer.com/chapter/10.1007/978-3-319-08587-6_35# https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig article GHMS14a 2014 10.1007/s10817-014-9305-1 Journal of Automated Reasoning (JAR) 53 245-269 3 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://link.springer.com/article/10.1007%2Fs10817-014-9305-1 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf Birte Glimm Ian Horrocks Boris Motik Giorgos Stoilos Zhe Wang article StLG14a 2014 Journal of Web Semantics: Science, Services and Agents on the World Wide Web 27 1 Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://www.websemanticsjournal.org/index.php/ps/article/view/366/388 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf Andreas Steigmiller Thorsten Liebig Birte Glimm inproceedings MUGM14a 2014 Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014) ACM ACM International Conference Proceedings Semantic Networks AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf Bernd Michelberger Klaus Ulmschneider Birte Glimm Bela Mutschler Manfred Reichert inproceedings StGL14b 2014 Proceedings of the 27th International Workshop on Description Logics (DL 2014) 1193 CEUR-WS.org CEUR Workshop Proceedings Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus Reasoning, Description Logics, Optimisations, Optimizations AutomatedReasoning http://ceur-ws.org/Vol-1193/paper_49.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig article StGL14c Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support. 2014 10.1007/s10817-014-9310-4 Journal of Automated Reasoning 53 Springer-Verlag 351-405 4 Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://link.springer.com/article/10.1007/s10817-014-9310-4 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig article KoGl13a The SPARQL query language is currently being extended by the World Wide Web Consortium (W3C) with so-called entailment regimes. An entailment regime defines how queries are evaluated under more expressive semantics than SPARQL's standard simple entailment, which is based on sub-graph matching. The queries are very expressive since variables can occur within complex class expressions and can also bind to class or property names.In this paper, we describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. We further propose several novel optimizations such as strategies for determining a good query execution order, query rewriting techniques, and show how specialized OWL reasoning tasks and the class and property hierarchy can be used to reduce the query execution time. For determining a good execution order, we propose a cost-based model, where the costs are based on information about the instances of classes and properties that are extracted from a model abstraction built by an OWL reasoner. We present two ordering strategies: a static and a dynamic one. For the dynamic case, we improve the performance by exploiting an individual clustering approach that allows for computing the cost functions based on one individual sample from a cluster.We provide a prototypical implementation and evaluate the efficiency of the proposed optimizations. Our experimental study shows that the static ordering usually outperforms the dynamic one when accurate statistics are available. This changes, however, when the statistics are less accurate, e.g., due to non-deterministic reasoning decisions. For queries that go beyond conjunctive instance queries we observe an improvement of up to three orders of magnitude due to the proposed optimizations. 2013 9 10.1613/jair.3872 Journal of Artificial Intelligence Research (JAIR) 48 253-303 Reasoning, Description Logics, Optimisations, Optimizations SFB-TRR-62,AutomatedReasoning https://www.jair.org/media/3872/live-3872-7402-jair.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf Ilianna Kollia Birte Glimm inproceedings StGL13b Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption \hlas well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support. 2013 Proceedings of the 26th International Description Logic Workshop (DL 2013) CEUR Workshop Proceedings Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://ceur-ws.org/Vol-1014/paper_20.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig inproceedings CTSG13a 2013 Proceedings of the International Workshop on Big Web Data (BigWebData 2013) Springer Lecture Notes in Computer Science Axel Tenschert and Alexey Cheptsov Big Data, Text Mining, Ontologies AutomatedReasoning https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf Alexey Cheptsov Axel Tenschert Paul Schmidt Birte Glimm Mauricio Matthesius Thorsten Liebig inproceedings StGL13a Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support. 2013 Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) AAAI Press/The MIT Press Nominal Schema, Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6629 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf Andreas Steigmiller Birte Glimm Thorsten Liebig inproceedings CGHM13a The EMA (Energy Management Adviser) aims to produce personalised energy saving advice for EDF’s customers. The advice takes the form of one or more ``tips", and personalisation is achieved using semantic technologies: customers are described using RDF, an OWL ontology provides a conceptual model of the relevant domain (housing, environment, and so on) and the different kinds of tips, and SPARQL query answering is used to identify relevant tips. The current prototype provides tips to more than 300,000 EDF customers in France at least twice a year. The main challenges for our future work include providing a timely service for all of the 35 million EDF customers in France, simplifying the system's maintenance, and providing new ways for interacting with customers such as via a Web site. 2013 10.1007/978-3-642-41338-4_4 Proceedings of the 12th International Semantic Web Conference (ISWC 2013) 8219 Springer-Verlag Lecture Notes in Computer Science 49-64 OWL, Description Logics, Explanations, Justifications AutomatedReasoning http://link.springer.com/chapter/10.1007%2F978-3-642-41338-4_4 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf Pierre Chaussecourte Birte Glimm Ian Horrocks Boris Motik Laurent Pierre inproceedings SG13 Automated reasoning in OWL is capable of inferences that are nontrivial for people to understand. We argue that the understanding of inferences would benefit from stepwise explanations. To build a system that supports such explicative inference, we propose a framework based on inference rules and proof tactics for OWL ontologies. In particular, the goal is to present inferences in a suitable and adaptable way to human users, and to predict whether certain inferences are harder to understand than others. This article outlines the conception of this framework and its benefits whose implementation is currently work in progress. 2013 Proceedings of the 2013 International Description Logic Workshop (DL 2013) CEUR Workshop Proceedings OWL, Description Logics, Explanations, Justifications AutomatedReasoning http://ceur-ws.org/Vol-1014/paper_36.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf Marvin R. G. Schiller Birte Glimm inproceedings GKKS13a We present an approach for using schema knowledge from the TBox to optimize the evaluation of SPARQL queries. The queries are evaluated over an OWL ontology using the OWL Direct Semantics entailment regime. For conjunctive instance queries, we proceed by transforming the query into an ABox. We then show how the TBox and this (small) query ABox can be used to build a maximal equivalent query where the additional query atoms can be used for reducing the set of possible mappings for query variables. We also consider arbitrary SPARQL queries and show how the concept and role hierarchies can be used to prune the search space of possible answers based on the polarity of variable occurrences in the query. We provide a prototypical implementation and evaluate the efficiency of the proposed optimizations. Our experimental study shows that the use of the proposed optimizations leads to a significant improvement in the execution times of many queries. 2013 Proceedings of the 2013 International Description Logic Workshop (DL 2013) CEUR Workshop Proceedings SPARQL, OWL, Description Logics, Query Answering, Optimisations, Optimizations AutomatedReasoning http://ceur-ws.org/Vol-1014/paper_80.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf Birte Glimm Yevgeny Kazakov Ilianna Kollia Giorgos Stamou inproceedings KoGl12b The paper presents an approach for cost-based query planning for SPARQL queries issued over an OWL ontology using the OWL Direct Semantics entailment regime of SPARQL 1.1. The costs are based on information about the instances of classes and properties that are extracted from a model abstraction built by an OWL reasoner. A static and a dynamic algorithm are presented which use these costs to find optimal or near optimal execution orders for the atoms of a query. For the dynamic case, we exploit an individual clustering approach and compute the cost functions based only on at most one individual (sample) from each of the used clusters. We provide an experimental study which shows that, for queries for which accurate estimates are available from the beginning, the static usually outperforms the dynamic algorithm. However, when queries are issued over ontologies with disjunctive information and contain many atoms for which no accurate statistics can be extracted a-priori, then dynamic ordering is more promising. The use of cluster based sampling techniques leads to a performance improvement for queries with large intermediate result sizes. 2012 11 10.1007/978-3-642-35176-1_15 Proceedings of the 11th International Semantic Web Conference (ISWC 2012) 7649 Springer-Verlag Lecture Notes in Computer Science 231-246 Reasoning, Description Logics, Optimisations, Optimizations SFB-TRR-62,AutomatedReasoning http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf Ilianna Kollia Birte Glimm inproceedings NiGl12a In this paper, we consider the task of knowledge base extraction with its three conflicting requirements: the size of the extracted knowledge base, the size of the corresponding signature and the syntactic similarity of the extracted knowledge base with the originally given one. We demonstrate that, both, minimal module extraction and uniform interpolation, assign an absolute priority to one of these requirements, thereby limiting the possibilities to influence the other two. To account for scenarios, in which such an extreme prioritization is not necessary, we investigate the task of knowledge base extraction for EL based on two alternative, less restrictive notions of syntactic similarity with the second highest priority given to the knowledge base size. Moreover, to address scenarios, where computation time is important, we propose a tractable rewriting approach based on the chosen prioritization of requirements and empirically compare this novel technique with the existing implemented approaches with encouraging results. 2012 11 10.1007/978-3-642-35176-1_25 Proceedings of the 11th International Semantic Web Conference (ISWC 2012) 7649 Springer-Verlag Lecture Notes in Computer Science 394-409 Reasoning, Description Logics, Optimisations, Optimizations, Modularisation, Modularization, Uniform Interpolation AutomatedReasoning http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf Nadeschda Nikitina Birte Glimm article GHMS11a Ontology classification - the computation of the subsumption hierarchies for classes and properties - is a core reasoning service provided by all OWL reasoners known to us. A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm. In this paper we present a new classification algorithm that attempts to address certain shortcomings of ET and improve its performance. Apart from classification of classes, we also consider object and data property classification. Using several simple examples, we show that the algorithms commonly used to implement these tasks are incomplete even for relatively weak ontology languages. Furthermore, we show that property classification problems can be reduced to class classification problems, which allows us to classify properties using our optimised algorithm. We implemented all our algorithms in the OWL reasoner HermiT. The results of our performance evaluation show significant performance improvements on several well-known ontologies. 2012 7 1570-8268 10.1016/j.websem.2011.12.007 Journal of Web Semantics: Science, Services and Agents on the World Wide Web 14 Elsevier Science Publishers (North-Holland)

Amsterdam

84-101 Ontologies, OWL, Class Classification, Property Classification, Optimizations SFB-TRR-62,AutomatedReasoning http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf Special Issue on Dealing with the Messiness of the Web of Data Birte Glimm Ian Horrocks Boris Motik Rob Shearer Giorgos Stoilos inproceedings KoGl12a The paper presents an approach for cost-based query planning for SPARQL queries issued over an OWL ontology using OWL's Direct Semantics. The costs are based on information about the instances of classes and properties that are extracted from a model abstraction built by an OWL reasoner. A static and a dynamic algorithm are presented which use these costs to find optimal or near optimal execution orders for the atoms of a query. For the dynamic case, we exploit an individual clustering approach and compute the cost functions based only on at most one individual (sample) from each of the used clusters. We provide an experimental study which shows that, for queries for which accurate estimates are available from the beginning, the static usually outperforms the dynamic algorithm. However, when queries are issued over ontologies with disjunctive information and contain many atoms for which no accurate statistics can be extracted a-priori, then dynamic ordering is more promising. The use of cluster based sampling techniques leads to a performance improvement for queries with huge intermediate result sizes. 2012 6 Proceedings of the 25th International Description Logic Workshop (DL 2012) 846 CEUR Workshop Proceedings Reasoning, Description Logics, Tableau, Optimisations, Optimizations SFB-TRR-62,AutomatedReasoning http://ceur-ws.org/Vol-846/paper_40.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf Ilianna Kollia Birte Glimm inproceedings StLG12b With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic SROIQ.The developed method is based on a sophisticated dependency management and a precise unsatisfiability caching technique, which further enables better informed tableau backtracking and more efficient pruning. We empirically evaluate the proposed optimisation within the novel reasoning system Konclude and show that the proposed optimisations indeed result in significant performance improvements. 2012 6 Proceedings of the 25th International Description Logic Workshop (DL 2012) 846 CEUR Workshop Proceedings Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://ceur-ws.org/Vol-846/paper_36.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf Andreas Steigmiller Thorsten Liebig Birte Glimm inproceedings StLG12a With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic SROIQ.The developed method is based on a sophisticated dependency management and a precise unsatisfiability caching technique, which further enables better informed tableau backtracking and more efficient pruning. Additionally, we optimise the handling of cardinality restrictions, by introducing a strategy called pool-based merging. We empirically evaluate the proposed optimisations within the novel reasoning system Konclude and show that the proposed optimisations indeed result in significant performance improvements. 2012 6 10.1007/978-3-642-31365-3_40 Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) 7364 Lecture Notes in Computer Science 514-529 Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf Andreas Steigmiller Thorsten Liebig Birte Glimm proceedings GHKP12a 2012 4 16 937 CEUR Workshop Proceedings Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012) Ontologies, OWL, Linked Data, Semantic Web AutomatedReasoning http://ceur-ws.org/Vol-937/ldow2012-paper-16.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHKP12a.pdf Birte Glimm Aidan Hogan Markus Krötzsch Axel Polleres article NiRG11c When ontological knowledge is acquired automatically, quality control is essential. Which part of the automatically acquired knowledge is appropriate for an application often depends on the context in which the knowledge base or ontology is used. In order to determine relevant and irrelevant or even wrong knowledge, we support the tightest possible quality assurance approach - an exhaustive manual inspection of the acquired data. By using automated reasoning, this process can be partially automatized: after each expert decision, axioms that are entailed by the already confirmed statements are automatically approved, whereas axioms that would lead to an inconsistency are declined. Starting from this consideration, this paper provides theoretical foundations, heuristics, optimization strategies and comprehensive experimental results for our approach to efficient reasoning-supported interactive ontology revision. We introduce and elaborate on the notions of revision states and revision closure as formal foundations of our method. Additionally, we propose a notion of axiom impact which is used to determine a beneficial order of axiom evaluation in order to further increase the effectiveness of ontology revision. The initial notion of impact is then further refined to take different validity ratios - the proportion of valid statements within a dataset - into account. Since the validity ratio is generally not known a priori - we show how one can work with an estimate that is continuously improved over the course of the inspection process.Finally, we develop the notion of decision spaces, which are structures for calculating and updating the revision closure and axiom impact. We optimize the computation performance further by employing partitioning techniques and provide an implementation supporting these optimizations as well as featuring a user front-end. Our evaluation shows that our ranking functions almost achieve the maximum possible automatization and that the computation time needed for each reasoning-based, automatic decision takes less than one second on average for our test dataset of over 25,000 statements. 2012 4 1570-8268 10.1016/j.websem.2011.12.002 Journal of Web Semantics: Science, Services and Agents on the World Wide Web 12-13 Elsevier Science Publishers (North-Holland), Amsterdam 118-130 Ontologies, Knowledge Representation, Automated Reasoning, Quality Assurance, OWL SFB-TRR-62,AutomatedReasoning http://www.sciencedirect.com/science/article/pii/S1570826811001028 http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf Special Issue on Reasoning with Context in the Semantic Web Nadeschda Nikitina Sebastian Rudolph Birte Glimm techreport StLG12c With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic SROIQ.The developed method is based on a sophisticated dependency management and a precise unsatisfiability caching technique, which further enables better informed tableau backtracking and more efficient pruning. Additionally, we optimise the handling of cardinality restrictions, by introducing a strategy called pool-based merging.We empirically evaluate the proposed optimisations within the novel reasoning system Konclude and show that the proposed optimisations indeed result in significant performance improvements. 2012 University of Ulm TR-2012-01 Reasoning, Description Logics, Tableau, Optimisations, Optimizations AutomatedReasoning http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf Andreas Steigmiller Thorsten Liebig Birte Glimm inproceedings KoGH11b W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. Since OWL’s Direct Semantics is based on Description Logics (DLs), this results in an expressive query language for DL knowledge bases. The query language differs from the commonly studied conjunctive queries in that it only has distinguished variables. Furthermore, variables can occur within complex concepts and can also bind to concept or role names. We provide a prototypical implementation and propose several novel optimizations strategies.We evaluate the efficiency of the proposed optimizations and find that for ABox queries our system performs comparably to already deployed systems. For complex queries an improvement of up to three orders of magnitude can be observed. 2011 Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011) 796 CEUR Workshop Proceedings http://ceur-ws.org/Vol-796/owled2011_submission_4.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11b.pdf Birte Glimm inproceedings KoGH11c W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. Since OWL’s Direct Semantics is based on Description Logics (DLs), this results in an expressive query language for DL knowledge bases. The query language differs from the commonly studied conjunctive queries in that it only has distinguished variables. Furthermore, variables can occur within complex concepts and can also bind to concept or role names. We provide a prototypical implementation and propose several novel optimizations strategies. We evaluate the efficiency of the proposed optimizations and find that for ABox queries our system performs comparably to already deployed systems. For complex queries an improvement of up to three orders of magnitude can be observed. 2011 Proceedings of the 2011 International Workshop on Description Logic (DL 2011) 745 CEUR Workshop Proceedings http://ceur-ws.org/Vol-745/paper_27.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KoGH11c.pdf Birte Glimm inbook Glimm11a This chapter accompanies the lecture on SPARQL with entailment regimes at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. SPARQL is a query language and protocol for data specified in the Resource Description format (RDF). The basic evaluation mechanism for SPARQL queries is based on subgraph matching. The query criteria are given in the form of RDF triples possibly with variables in place of the subject, object, or predicate of a triple, called basic graph patterns. Each instantiation of the variables that yields a subgraph of the queried RDF graph constitutes a solution. The query language further contains capabilities for querying for optional basic graph patterns, alternative graph patterns etc. We first introduce the main features of SPARQL as a query language. In order to define the semantics of a query, we show how a query can be translated to an abstract query, which can then be evaluated according to SPARQL’s query evaluation mechanism. Apart from the features of SPARQL 1.0, we also briefly introduce the new features of SPARQL 1.1, which is currently being developed by the Data Access Working Group of the World Wide Web Consortium. In the second part of these notes, we introduce SPARQL’s extension point for basic graph pattern matching. We illustrate how this extension point can be used to define a semantics for basic graph pattern evaluation based on more elaborate semantics such as RDF Schema (RDFS) entailment or OWL entailment. This allows for solutions to a query that implicitly follow from an RDF graph, but which are not necessarily explicitly present. We illustrate what constitutes an extension point and how problems that arise from using a semantic entailment relation can be addressed. We first introduce SPARQL in combination with the RDFS entailment relation and then move on to the more expressive Web Ontology Language OWL.We cover OWL’s Direct Semantics, which is based on Description Logics, and the RDF-Based Semantics, 2011 10.1007/978-3-642-23032-5_3 6848 Springer-Verlag Using SPARQL with RDFS and OWL Entailment Lecture Notes in Computer Science 137-201 http://www.springerlink.com/content/f631487023034527/fulltext.pdf http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Glim11a.pdf Birte Glimm inproceedings NiRG11a Quality control is an essential task within ontology development projects, especially when the knowledge formalization is partially automatized. We propose a method for integrating newly acquired, possibly low-quality axioms into an existing ontology. During the process, some of the newly acquired axioms have to be inspected manually; based on the decision whether the axiom is desired or not, several of the yet unevaluated axioms are evaluated automatically. Since the evaluation order can significantly increase the amount of automization, we further propose the notion of axiom impact. Finally, we introduce decision spaces as structures to efficiently compute the axiom impact and the implicit evaluation decisions. Compared to a na¨ıve implementation, this reduces the number of costly reasoning operations on average by 75%. 2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) 745 AAAI Press/The MIT Press http://www.aaai.org/ocs/index.php/IJCAI/IJCAI11/paper/view/2998 http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiRG11a.pdf Birte Glimm inproceedings GliKazLut:11:QIO:DL We prove that conjunctive query answering in the description logic ALCOIF is co-N2ExpTime-hard, thus improving the previously known 2ExpTime lower bound. The result transfers to OWL DL and OWL2 DL, of which ALCOIF is an important fragment. A matching upper bound remains open. 2011 Description Logics 745 CEUR-WS.org CEUR Workshop Proceedings Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev KnowledgeModeling http://ceur-ws.org/Vol-745/paper_44.pdf fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/GliKazLut11QIO_DL.pdf Yevgeny Kazakov Carsten Lutz Birte Glimm inproceedings NiGR11a When ontological knowledge is acquired automatically, quality control is essential. We consider the tightest possible approach - an exhaustive manual inspection of the acquired data. By using automated reasoning, we partially automate the process: after each expert decision, axioms that are entailed by the already approved statements are automatically approved, whereas axioms that would lead to an inconsistency are declined. Adequate axiom ranking strategies are essential in this setting to minimize the amount of expert decisions. In this paper, we present a generalization of the previously proposed ranking techniques which works well for arbitrary validity ratios - the proportion of valid statements within a dataset - whereas the previously described ranking functions were either tailored towards validity ratios of exactly 100% and 0% or were optimizing the worst case. The validity ratio - generally not known a priori - is continuously estimated over the course of the inspection process. We further employ partitioning techniques to significantly reduce the computational effort. We provide an implementation supporting all these optimizations as well as featuring a user front-end for successive axiom evaluation, thereby making our proposed strategy applicable to practical scenarios. This is witnessed by our evaluation showing that the novel parameterized ranking function almost achieves the maximum possible automation and that the computation time needed for each reasoning-based, automatic decision is reduced to less than one second on average for our test dataset of over 25,000 statements. 2011 10.1007/978-3-642-25073-6_31 Proceedings of the 10th International Semantic Web Conference (ISWC 2011) 7031 Springer-Verlag 487-503 AutomatedReasoning http://www.springerlink.com/content/r51v2xn6188kv4m2/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf Nadeschda Nikitina Birte Glimm Sebastian Rudolph techreport GlRV10b Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metamodeling inside the domain ontology with full reasoning support through standard OWL 2 reasoning systems. We demonstrate the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency diagnosis strategy originally proposed for OntoClean by introducing an alternative technique where sources of conflicts are indicated by means of marker predicates. 2010 10.1007/978-3-642-17746-0_17 Institut AIFB, KIT Proceedings of the 9th International Semantic Web Conference (ISWC 2010) 6414 Springer-Verlag Lecture Notes in Computer Science 257-272 3006 http://www.springerlink.com/content/t227034122234502/ http://www.aifb.kit.edu/images/a/a4/TR-GRV-MEtamodelling.pdf Birte Glimm article RuGl10a Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive formalism for querying Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are available for a wide range of DLs. Nevertheless, the combination of nominals, inverse roles, and number restrictions in OWL 1 and OWL 2 DL causes unsolvable problems for the techniques hitherto available. We tackle this problem and present a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains all three problematic constructors simultaneously. Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL 1 DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards. 2010 10.1613/jair.3029 Journal of Artificial Intelligence Research 39 429-481 http://www.jair.org/media/3029/live-3029-5248-jair.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/RuGl10a.pdf Birte Glimm inproceedings GHMS10a Ontology classification - the computation of subsumption hierarchies for classes and properties - is one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [1], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete even for relatively weak ontology languages. Furthermore, we show how to reduce the property classification problem into a standard (class) classification problem, which allows reasoners to classify properties using our optimised procedure. We have implemented our algorithms in the OWL HermiT reasoner, and we present the results of a performance evaluation. 2010 10.1007/978-3-642-21034-1_26 Proceedings of the 9th International Semantic Web Conference (ISWC 2010) 6414 Springer-Verlag Lecture Notes in Computer Science 225-240 http://www.springerlink.com/content/b6t3155821j66477/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GHMS10a.pdf Birte Glimm inproceedings GlHM10a State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they construct. To address this problem, we propose a new blocking technique that tries to identify and halt redundant construction at a much earlier stage than standard blocking techniques. An evaluation of a prototypical implementation in the HermiT reasoner shows that our technique can dramatically reduce the size of constructed model abstractions and reduce reasoning time. 2010 10.1007/978-3-642-14203-1_39 Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010) 6173 Springer-Verlag Lecture Notes in Computer Science 457-471 http://www.springerlink.com/content/k248v45858j1101k/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/GlHM10a.pdf Birte Glimm techreport GHPP09b Being able to extend an OWL ontology with some form of rules is a feature that many ontology developers consider as very important. Nevertheless, working with rules in practice can be difficult since the tool support is not as good as for handling ontologies without rules. Furthermore, the existing rule syntaxes are not very well aligned with the new OWL 2 standard. We propose, therefore, an extension to OWL 2 for representing rules, which is directly inspired by (DL Safe) SWRL rules, but uses and extends the succinct and human-readable functional-style syntax of OWL 2. We also propose an OWL/XML version of the syntax to allow for easy XML serialization. Support for parsing such rules has been added to the new OWL API 3.0 and reasoning over ontologies extended with these rules is possible with the two OWL 2 reasoners Pellet and HermiT. In HermiT, these rules can also be used in conjunction with Description Graphs. 2009 The University of Oxford Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009) 529 CEUR Workshop Proceedings http://ceur-ws.org/Vol-529/owled2009_submission_16.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GHPP09b.pdf Birte Glimm inproceedings GlRu09a 2009 Proceedings of the 2009 International Workshop on Description Logic (DL 2009) 477 CEUR Workshop Proceedings http://ceur-ws.org/Vol-477/paper_6.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/GlRu09a.pdf Birte Glimm techreport GlKa08bb We show that adding role conjunctions to the prominent DLs SHIF and SHOIN causes a jump in the computational complexity of the standard reasoning tasks from ExpTime to 2ExpTime already for SHI and from NExpTime to N2ExpTime for SHOIF. We further show that this increase in complexity is due to a subtle interaction between inverse roles, role hierarchies, and role transitivity in the presence of role conjunctions and that for the DL SHQ a jump in the computational complexity cannot be observed. 2008 10.1007/978-3-540-89439-1_28 The University of Oxford Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008) 5330 Lecture Notes in Computer Science 391-405 http://www.springerlink.com/content/r5641x1502220vv2/ https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf Birte Glimm Yevgeny Kazakov inproceedings GHLS07a Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, it was an open problem whether conjunctive query answering over DL knowledge bases is decidable if transitive roles are admitted in the query. In this paper, we consider conjunctive queries over knowledge bases formulated in the popular DL SHIQ and allow transitive roles in both the query and the knowledge base. We show that query answering is decidable and establish the following complexity bounds: regarding combined complexity, we devise a deterministic algorithm for query answering that needs time single exponential in the size of the KB and double exponential in the size of the query. Regarding data complexity, we prove co-NP-completeness. 2007 10.1613/jair.2372 Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) Journal of Artificial Intelligence Research (JAIR) 31 150-197 http://www.aaai.org/Library/IJCAI/2007/ijcai07-062.php https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GHLS07a.pdf Birte Glimm inproceedings GlHS07a An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query entailment in the expressive Description Logic SHOQ. This is, to the best of our knowledge, the first decision procedure for conjunctive query entailment in a logic that allows for nominals. We achieve this by combining the techniques used in the conjunctive query entailment procedure for SHIQ with the techniques proposed for a restricted class of conjunctive queries in SHOQ. 2007 Proceedings of the 2007 International Workshop on Description Logic (DL 2007) 250 CEUR Workshop Proceedings http://ceur-ws.org/Vol-250/paper_63.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/GlHS07a.pdf Birte Glimm article HoGS07a Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for widely used ontology languages such as OIL, DAML+OIL and OWL, the last of which is now a World Wide Web Consortium (W3C) recommendation. SHOIN, the DL underlying OWL DL (the most widely used “species” of OWL), includes familiar features from hybrid logic. In particular, in order to support extensionally defined classes, SHOIN includes nominals: classes whose extension is a singleton set. This is an important feature for a logic that is designed for use in ontology language applications, because extensionally defined classes are very common in ontologies. Binders and state variables are another feature from Hybrid Logic that would clearly be useful in an ontology language, but it is well known that adding this feature to even a relatively weak language would lead to undecidability. However, recent work has shown that this feature could play a very useful role in query answering, where the syntactic structure of queries means that the occurrence of state variables is restricted in a way that allows for decidable reasoning. 2007 10.1016/j.entcs.2006.11.022 Electronic Notes in Theoretical Computer Science 174 3-14 6 Description Logic, Hybrid Logic, Tableaux Reasoning http://www.sciencedirect.com/science/article/pii/S1571066107002393 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/HoGS07a.pdf Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) Birte Glimm phdthesis Glimm07a Knowledge representation systems provide a mechanism for storing facts about some part of the real world in a knowledge base, inferring new knowledge based on the given facts, and querying knowledge bases. The ability to infer new knowledge is one of the distinguishing features compared to databases. Such inference services require the definition of knowledge in a language for which such inference algorithms exist, e.g., a Description Logic (DL). A DL language allows for the specification of concepts, individuals that are instances of these concepts, and roles, which are interpreted as binary relations over the individuals. Description Logics have proved useful in a wide range of applications and form the foundations of the Web Ontology Language (OWL), which is used in the Semantic Web as a means for specifying machine processable information. Despite their popularity, the query facilities provided by DL systems are still limited. Current algorithms are incomplete or impose restrictions on the types of allowed queries. In this thesis we identify sources of incompleteness in existing algorithms and present extended query procedures that eliminate the deficiencies described above. More precisely, we present query answering algorithms for unrestricted conjunctive queries for the DLs SHIQ and SHOQ—the former of which was a long standing open problem. Furthermore, the correctness of the presented algorithms is proved formally and an analysis of the theoretical complexity is given. The planned future work is targeted on optimisation techniques to improve the algorithms’ practicality. The work presented in this thesis should be of value mainly to implementors of Description Logic systems, as the presented algorithms build the theoretical foundation for implementable query answering interfaces. Additionally, the algorithms can also be used in order to extend a DL system with datalog style rules. PhD thesis 2007 The University of Manchester https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/Glim07a.pdf Birte Glimm inproceedings GlHS06a An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answering in the expressive Description Logics SHQ and SHOQ. In particular, we allow for transitive (or nonsimple) roles in the query body, which is a feature that is not supported by other existing conjunctive query answering algorithms. For SHQ, we achieve this by extending the logic with a restricted form of # binders and state variables as known from Hybrid Logics. We also highlight, why the addition of inverse roles makes the task of finding a decision procedure for conjunctive query answering more complicated. 2006 Proceedings of the 2006 International Workshop on Description Logic (DL 2006) 189 http://ceur-ws.org/Vol-189/submission_5.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GlHS06a.pdf Birte Glimm techreport GHLS06a Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, it was an open problem whether conjunctive query answering over DL knowledge bases is decidable if transitive roles are admitted in the query. In this paper, we consider conjunctive queries over knowledge bases formulated in the popular DL SHIQ and allow transitive roles in both the query and the knowledge base. We show that query answering is decidable and establish the following complexity bounds: regarding combined complexity, we devise a deterministic algorithm for query answering that needs time single exponential in the size of the KB and double exponential in the size of the query. Regarding data complexity, we prove co-NP-completeness. 2006 Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany LTCS-06-01 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/GHLS06a.pdf Birte Glimm inproceedings GlHo05a 2005 Proceedings of the 2005 International Workshop on Description Logic (DL 2005) 147 CEUR Workshop Proceedings http://ceur-ws.org/Vol-147/09-Glimm.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/GlHo05a.pdf Birte Glimm inproceedings GlHo04a In this paper a new query answering system is presented for querying knowledge bases in the Semantic Web. The implementation follows the DAML+OIL Query Language Abstract Specification (DQL) and supports acyclic conjunctive queries. The system uses a Description Logic (DL) reasoner to answer the queries and the conjunctive queries are transformed into DL retrieval or boolean queries. After the introduction to the new DQL implementation, a comparison with other systems follows. This includes the recently introduced new Racer Query Language (nRQL), the DQL implementation provided by the Knowledge Systems Laboratory of the Stanford University and a DQL implementation provided by the University of Maryland, Baltimore County. The paper highlights and compares the different approaches of these systems. 2004 Proceedings the of KI-2004 Workshop on Applications of Description Logics (ADL 2004) 115 CEUR Workshop Proceedings http://ceur-ws.org/Vol-115/03-glimm.pdf https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/GlHo04a.pdf Birte Glimm