Keyword:Description Logics

Publications
Reasoning in Non-Normal Modal Description Logics Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki EasyChair Preprint 8444
A Case for Extensional Non-Wellfounded Metamodeling Joseph Zalewski and Pascal Hitzler In:LPAR 2024 Complementary Volume
Practical Query Rewriting for DL-Lite with Numerical Predicates Christian Alrabbaa, Patrick Koopmann and Anni-Yasmin Turhan In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Leibniz on Reasoning about Impossible Concepts Lukas Grätz In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Concepts as Modalities in Description Logics Lukas Grätz In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
The Triguarded Fragment of First-Order Logic Sebastian Rudolph and Mantas Simkus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Computing Minimal Subsumption Modules of Ontologies Jieying Chen, Michel Ludwig and Dirk Walther In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams Hector Ceballos and Francisco Cantu In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts Franz Baader and Andreas Ecke In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Temporal Query Answering in DL-Lite with Negation Stefan Borgwardt and Veronika Thost In:GCAI 2015. Global Conference on Artificial Intelligence
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics Negin Arhami and Geoff Sutcliffe In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 Szymon Klarman In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Recent Advances in Unification for the EL Family Franz Baader, Stefan Borgwardt and Barbara Morawska In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification