Schmidt, Renate A.

10 publications

AAAI 2020 A Practical Approach to Forgetting in Description Logics with Nominals Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng

AAAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution Sen Zheng, Renate A. Schmidt

AAAI 2019 ABox Abduction via Forgetting in ALC Warren Del-Pinto, Renate A. Schmidt

AAAI 2019 Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

IJCAI 2018 On Concept Forgetting in Description Logics with Qualified Number Restrictions Yizheng Zhao, Renate A. Schmidt

IJCAI 2017 Role Forgetting for ALCOQH(universal Role)-Ontologies Using an Ackermann-Based Approach Yizheng Zhao, Renate A. Schmidt

IJCAI 2016 Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies Yizheng Zhao, Renate A. Schmidt

AAAI 2015 Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes Patrick Koopmann, Renate A. Schmidt

IJCAI 1999 On the Relation of Resolution and Tableaux Proof Systems for Description Logics Ullrich Hustadt, Renate A. Schmidt

IJCAI 1997 On Evaluating Decision Procedures for Modal Logic Ullrich Hustadt, Renate A. Schmidt