| Publication | Date of Publication | Type |
|---|
Designing efficient controlled languages for ontologies
Text, Speech and Language Technology | 2024-03-25 | Paper |
Combined covers and Beth definability
| 2022-11-09 | Paper |
Combination of uniform interpolants via Beth definability
Journal of Automated Reasoning | 2022-10-24 | Paper |
Semantic DMN: formalizing decision models with domain knowledge
Rules and Reasoning | 2022-07-01 | Paper |
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
Journal of Automated Reasoning | 2021-11-24 | Paper |
Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
SMT-based verification of data-aware processes: a model-theoretic approach
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
Expressivity and complexity of MongoDB queries
| 2020-08-06 | Paper |
From model completeness to verification of data aware processes
| 2020-06-04 | Paper |
The what-to-ask problem for ontology-based peers
| 2020-06-04 | Paper |
Model completeness, covers and superposition
| 2020-03-10 | Paper |
Managing Change in Graph-Structured Data Using Description Logics
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
Information and Computation | 2018-03-21 | Paper |
Verification of evolving graph-structured data under expressive path constraints
| 2017-07-14 | Paper |
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Knowledge base exchange: the case of OWL 2 QL
Artificial Intelligence | 2016-09-07 | Paper |
scientific article; zbMATH DE number 6606368 (Why is no real title available?)
| 2016-07-26 | Paper |
Verification of description logic knowledge and action bases
| 2015-12-11 | Paper |
Introducing datatypes in DL-Lite
| 2015-12-11 | Paper |
Query answering over description logic ontologies
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Verification of context-sensitive knowledge and action bases
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Answering regular path queries in expressive description logics via alternating tree-automata
Information and Computation | 2014-07-18 | Paper |
On simplification of schema mappings
Journal of Computer and System Sciences | 2014-01-20 | Paper |
Capturing model-based ontology evolution at the instance level: the case of DL-Lite
Journal of Computer and System Sciences | 2014-01-20 | Paper |
Reasoning about explanations for negative query answers in \textit{DL-Lite}
The Journal of Artificial Intelligence Research (JAIR) | 2013-11-28 | Paper |
Data complexity of query answering in description logics
Artificial Intelligence | 2013-08-26 | Paper |
Description logic knowledge and action bases
Journal of Artificial Intelligence Research | 2013-05-02 | Paper |
Tractability and intractability of controlled languages for data access
Studia Logica | 2012-12-04 | Paper |
View-based query answering in description logics: semantics and complexity
Journal of Computer and System Sciences | 2012-05-11 | Paper |
The data complexity of the syllogistic fragments of English
Logic, Language and Meaning | 2010-10-12 | Paper |
The DL-Lite Family and Relations
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Ontologies and Databases: The DL-Lite Approach
Lecture Notes in Computer Science | 2009-10-28 | Paper |
Dynamic query optimization under access limitations and dependencies
| 2009-10-28 | Paper |
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications | 2009-07-09 | Paper |
Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Data complexity of query answering in expressive description logics via tableaux
Journal of Automated Reasoning | 2008-09-10 | Paper |
Linking Data to Ontologies
Journal on Data Semantics X | 2008-03-06 | Paper |
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
Journal of Automated Reasoning | 2007-12-03 | Paper |
Reasoning on UML class diagrams
Artificial Intelligence | 2007-10-23 | Paper |
View-based query processing: on the relationship between rewriting, answering and losslessness
Theoretical Computer Science | 2007-03-12 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
scientific article; zbMATH DE number 2241908 (Why is no real title available?)
| 2005-12-28 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Decidable containment of recursive queries
Theoretical Computer Science | 2005-06-10 | Paper |
scientific article; zbMATH DE number 2088752 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2089475 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2080614 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1953141 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1944946 (Why is no real title available?)
World Wide Web | 2003-07-01 | Paper |
scientific article; zbMATH DE number 1926631 (Why is no real title available?)
| 2003-06-11 | Paper |
Rewriting of regular expressions and regular path queries
Journal of Computer and System Sciences | 2002-09-12 | Paper |
Reasoning in expressive description logics
| 2001-10-21 | Paper |
Representing and reasoning on XML documents: a description logic approach
Journal Of Logic And Computation | 2000-06-21 | Paper |
scientific article; zbMATH DE number 1348742 (Why is no real title available?)
| 1999-10-10 | Paper |
scientific article; zbMATH DE number 1182733 (Why is no real title available?)
| 1998-08-02 | Paper |
