Birte Glimm

Available identifiers

zbMath Open glimm.birteMaRDI QIDQ1694571

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Birte Glimm