Birte Glimm

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Classical algorithms for reasoning and explanation in description logics	2024-03-14	Paper
Exploring parallel tractability of ontology materialization	2018-07-12	Paper
The OWL reasoner evaluation (ORE) 2015 competition report Journal of Automated Reasoning	2018-02-02	Paper
Scalable reasoning by abstraction beyond DL-Lite Web Reasoning and Rule Systems	2017-06-20	Paper
Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures Journal of Artificial Intelligence Research	2016-01-07	Paper
Reasoning with nominal schemas through absorption Journal of Automated Reasoning	2015-07-02	Paper
HermiT: an OWL 2 reasoner Journal of Automated Reasoning	2015-06-23	Paper
Coupling tableau algorithms for expressive description logics with completion-based saturation procedures Automated Reasoning	2014-09-26	Paper
Hybrid logics and ontology languages Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Optimizing SPARQL query answering over OWL ontologies The Journal of Artificial Intelligence Research (JAIR)	2013-11-06	Paper
Extended caching, backjumping and merging for expressive description logics Automated Reasoning	2012-09-05	Paper
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend! Journal of Artificial Intelligence Research	2010-11-10	Paper
Optimized description logic reasoning via core blocking Automated Reasoning	2010-09-14	Paper
Role Conjunctions in Expressive Description Logics Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper

Research outcomes over time

This page was built for person: Birte Glimm