Volker Haarslev

Available identifiers

zbMath Open haarslev.volkerMaRDI QIDQ631079

List of research outcomes

Publication	Date of Publication	Type
Pushing the boundaries of reasoning about qualified cardinality restrictions	2018-01-04	Paper
Intelligent Tableau Algorithm for DL Reasoning	2013-10-04	Paper
Automated Reasoning in $\mathcal{ALCQ}$ via SMT	2011-07-29	Paper
Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)	2011-03-22	Paper
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬	2010-06-17	Paper
A formal framework for description logics with uncertainty	2010-04-07	Paper
On the scalability of description logic instance retrieval	2009-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4548197	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4539653	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4539596	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4539598	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2721226	2001-07-01	Paper
A description logic with concrete domains and a role-forming predicate operator	2000-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4251215	1999-06-17	Paper

Research outcomes over time

This page was built for person: Volker Haarslev