David Toman

According to our database1, David Toman authored at least 110 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

The Utility of the Abstract Relational Model and Attribute Paths in SQL.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Logic programming approach to automata-based decision procedures.
J. Log. Algebr. Meth. Program., 2017

An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Concerning Referring Expressions in Query Answers.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Partial Features in the DLF Dialects of Description Logic with Inverse Features.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
On Partial Features in the DLF Family of Description Logics.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).
Proceedings of the 29th International Workshop on Description Logics, 2016

Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract).
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015
Special issue of the Journal of Web Semantics on ontology-based data access.
J. Web Sem., 2015

On Enumerating Query Plans Using Analytic Tableau.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the Utility of CFDI.
Proceedings of the 28th International Workshop on Description Logics, 2015

Polynomial encoding of ORM conceptual models in CFDI.
Proceedings of the 28th International Workshop on Description Logics, 2015

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.
Proceedings of the 28th International Workshop on Description Logics, 2015

Absorption for ABoxes and TBoxes with General Value Restrictions.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

On the Krom Extension of CFDI^∀ -_nc.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Absorption for ABoxes.
J. Autom. Reasoning, 2014

Undecidability of Finite Model Reasoning in DLFD.
CoRR, 2014

On Adding Inverse Features to the Description Logic CFDnc.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Pushing the CFDnc Envelope.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Cost-Based Query Optimization via AI Planning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.
Proceedings of the Semantic Web - ISWC 2013, 2013

Absorption for ABoxes with Local Universal Restrictions.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012
The Combined Approach to OBDA: Taming Role Hierarchies using Filters.
Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, 2012

Assertion Absorption in Object Queries over Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Absorption for ABoxes.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Fundamentals of Physical Design and Query Compilation
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2011

An Assertion Retrieval Algebra for Object Queries over Knowledge Bases.
Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.
Proceedings of the IJCAI 2011, 2011

Fixpoints in Temporal Description Logics.
Proceedings of the IJCAI 2011, 2011

2010
On Finding Query Rewritings under Expressive Constraints.
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

The Combined Approach to Query Answering in DL-Lite.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Algebra and Query Optimization for Concept Assertion Retrieval.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Point-Stamped Temporal Models.
Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Vacuuming.
Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Relational Calculus.
Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Logic in Database Query Languages.
Proceedings of the Encyclopedia of Database Systems, 2009

Abstract Versus Concrete Temporal Query Languages.
Proceedings of the Encyclopedia of Database Systems, 2009

Applications and Extensions of PTIME Description Logics with Functional Constraints.
Proceedings of the IJCAI 2009, 2009

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
Proceedings of the IJCAI 2009, 2009

A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Concept Projection in Algebras for Computing Certain Answer Descriptions.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Data Expiration and Aggregate Queries.
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

2008
On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
J. Autom. Reasoning, 2008

Decidable Reasoning over Timestamped Conceptual Models.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Conjunctive Query Answering in EL using a Database System.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Identifying Objects Over Time with Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Optimizing away joins on data streams.
Proceedings of the 2008 International Workshop on Scalable Stream Processing System, 2008

Identifying Objects Over Time with Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

On Ordering and Indexing Metadata for the Semantic Web.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Decidable Reasoning over Timestamped Conceptual Models.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Special Issue: TIME 2005.
Inf. Comput., 2007

On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

A Description Logic of Change.
Proceedings of the IJCAI 2007, 2007

Logic Programming Approach to Automata-Based Decision Procedures.
Proceedings of the Logic Programming, 23rd International Conference, 2007

On Order Dependencies for the Semantic Web.
Proceedings of the Conceptual Modeling, 2007

On Ordering Descriptions in a Description Logic.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

An Incremental Technique for Automata-Based Decision Procedures.
Proceedings of the Automated Deduction, 2007

2006
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
Proceedings of the Third STDBM Workshop on Spatio-Temporal Database Management, 2006

A Description Logic of Change.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
Temporal Databases.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

On reasoning about structural equality in XML: a description logic approach.
Theor. Comput. Sci., 2005

Structure and Content Scoring for XML.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

On Path-functional Dependencies as First-class Citizens in Description Logics.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004
Attribute Inversion in Description Logic with Path Functional Dependencies .
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Variable Independence in Constraint Databases.
IEEE Trans. Knowl. Data Eng., 2003

Optimizing temporal queries: efficient handling of duplicates.
Data Knowl. Eng., 2003

On Incompleteness of Multi-dimensional First-order Temporal Logics.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Logical Data Expiration for Fixpoint Extensions of Temporal Logics.
Proceedings of the Advances in Spatial and Temporal Databases, 8th International Symposium, 2003

A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

On Reasoning about Structural Equality in XML: A Description Logic Approach.
Proceedings of the Database Theory, 2003

Fixpoint Extensions of Temporal Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Rewriting Aggregate Queries using Description Logic.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Logical Data Expiration.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002
Logical Data Expiration.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

Fine Grained Information Integration with Description Logics.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001
Querying ATSQL databases with temporal logic.
ACM Trans. Database Syst., 2001

Expiration of Historical Databases.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Optimizing Temporal Queries: Efficient Handling of Duplicates.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Proceedings of the Database Theory, 2001

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Query Processing in Embedded Control Programs.
Proceedings of the Databases in Telecommunications II, VLDB 2001 International Workshop, 2001

2000
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning about Duplicate Elimination with Description Logic.
Proceedings of the Computational Logic, 2000

SQL/TP: A Temporal Extension of SQL.
Constraint Databases, 2000

1998
Datalog with Integer Periodicity Constraints.
J. Log. Program., 1998

Temporal Logic in Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
Memoing Evaluation for Constraint Extensions of Datalog.
Constraints, 1997

Point-Based Temporal Extension of Temporal SQL.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Point-Based Temporal Extensions of SQL and Their Efficient Implementation.
Temporal Databases, Dagstuhl, 1997

Constraint Databases and Program Analysis Using Abstract Interpretation.
Proceedings of the Constraint Databases and Their Applications, 1997

Computing the Well-Founded Semantics for Constraint Extensions of Datalog.
Proceedings of the Constraint Databases and Their Applications, 1997

1996
Point vs. Interval-based Query Languages for Temporal Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

First-Order Queries over Temporal Databases Inexpressible in Temporal Logic.
Proceedings of the Advances in Database Technology, 1996

Querying TSQL2 Databases with Temporal Logic.
Proceedings of the Advances in Database Technology, 1996

1995
Implementing Temporal Integrity Constraints Using an Active DBMS.
IEEE Trans. Knowl. Data Eng., 1995

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog.
Proceedings of the Logic Programming, 1995

1994
Datalog with Integer Periodicity Constraints.
Proceedings of the Logic Programming, 1994

Implementing Temporal Integrity Constraints Using an Active DBMS.
Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, 1994

1991
Register Allocation in WAM.
Proceedings of the Logic Programming, 1991


  Loading...