David Toman

Available identifiers

Publication	Date of Publication	Type
FunDL. A family of feature-based description logics, with applications in querying structured data sources	2020-06-04	Paper
Logic programming approach to automata-based decision procedures	2016-11-30	Paper
On Enumerating Query Plans Using Analytic Tableau	2015-12-11	Paper
Absorption for ABoxes	2015-06-23	Paper
Database Repairing and Consistent Query Answering	2011-09-22	Paper
On Keys and Functional Dependencies as First-Class Citizens in Description Logics	2009-03-12	Paper
An Incremental Technique for Automata-Based Decision Procedures	2009-03-06	Paper
Logic Programming Approach to Automata-Based Decision Procedures	2009-03-05	Paper
Querying ATSQL databases with temporal logic	2008-06-18	Paper
On keys and functional dependencies as first-class citizens in description logics	2008-06-11	Paper
On reasoning about structural equality in XML: a description logic approach	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473261	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447269	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4414528	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767126	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4400800	2001-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4508950	2000-10-10	Paper
Datalog with integer periodicity constraints	1998-10-04	Paper
Memoing evaluation for constraint extensions of datalog	1998-06-02	Paper

This page was built for person: David Toman