Birte Glimm

Available identifiers

zbMath Open glimm.birteMaRDI QIDQ1694571

List of research outcomes

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	2018-02-02	Paper
Scalable Reasoning by Abstraction Beyond DL-Lite	2017-06-20	Paper
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures	2016-01-07	Paper
Reasoning with nominal schemas through absorption	2015-07-02	Paper
HermiT: an OWL 2 reasoner	2015-06-23	Paper
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures	2014-09-26	Paper
Hybrid logics and ontology languages	2013-12-20	Paper
Optimizing SPARQL query answering over OWL ontologies	2013-11-06	Paper
Extended Caching, Backjumping and Merging for Expressive Description Logics	2012-09-05	Paper
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!	2010-11-10	Paper
Optimized description logic reasoning via core blocking	2010-09-14	Paper
Role Conjunctions in Expressive Description Logics	2009-01-27	Paper

Research outcomes over time

This page was built for person: Birte Glimm