Alessandro Artale

Anton R. Gnatenko

Complexity of Safety and coSafety Fragments of Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.

[BibT_eX]

[DOI]

CoRR, 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

First-order rewritability of ontology-mediated queries in linear temporal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2021

On Free Description Logics with Definite Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Automated Reasoning in Temporal DL-Lite.

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

Marco Gario

CoRR, 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.

[BibT_eX]

[DOI]

CoRR, 2020

Finite vs. Infinite Traces in Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Automated Reasoning in Temporal DL-Lite (Extended Abstract).

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

Marco Gario

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).

[BibT_eX]

[DOI]

2019

Do You Need Infinite Time?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Temporal DL-Lite over Finite Traces (Preliminary Results).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.

[BibT_eX]

[DOI]

Alisa Kovtunova

Marco Montali

Wil M. P. van der Aalst

Proceedings of the Business Process Management - 17th International Conference, 2019

Towards a Logical Foundation of Reification in Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

Enriching Data Models with Behavioral Constraints.

[BibT_eX]

[DOI]

Marco Montali

Wil M. P. van der Aalst

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018

Temporal Description Logics over Finite Traces.

[BibT_eX]

[DOI]

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

A Decidable Very Expressive Description Logic for Databases (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

A Decidable Very Expressive Description Logic for Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.

[BibT_eX]

[DOI]

Wil M. P. van der Aalst

Marco Montali

Simone Tritini

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).

[BibT_eX]

[DOI]

CoRR, 2016

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interval Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Tractable Interval Temporal Propositional and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Cookbook for Temporal Conceptual Data Modelling with Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Temporal OBDA with LTL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2013

The Complexity of Clausal Fragments of LTL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Temporal Description Logic for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Temporalising OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Entity-from-Relationship Modelling.

[BibT_eX]

[DOI]

Claudio Masolo

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2012

DL-Lite with Attributes and Datatypes.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2011

2010

A Basic Characterization of Relation Migration.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Reasoning about Relation Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Network and System Security, 2010

Complexity of Reasoning over Temporal Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Full Satisfiability of UML Class Diagrams.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Conceptual Modeling, 2010

Query Rewriting in DL-Lite_^(HN)_horn.

[BibT_eX]

[DOI]

Elena Botoeva

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Temporal Conceptual Modelling with DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Checking Full Satisfiability of Conceptual Models.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

The DL-Lite Family and Relations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

<i>DL-Lite</i> with Temporalised Concepts, Rigid Axioms and Roles.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Using Description Logics in Relation Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Extending DL-Lite Sometime in the Future.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

DL-Lite without UNA.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Foundations of Temporal Conceptual Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Essential, Mandatory, and Shared Parts in Conceptual Data Models.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Information Systems Modeling, 2009

2008

Representing and reasoning over a taxonomy of part-whole relations.

[BibT_eX]

[DOI]

Appl. Ontology, 2008

Decidable Reasoning over Timestamped Conceptual Models.

[BibT_eX]

David Toman

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Formalising Temporal Constraints on Part-Whole Relations.

[BibT_eX]

[DOI]

Nicola Guarino

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Essential and Mandatory Part-Whole Relations in Conceptual Data Models.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Evolving objects in temporal information systems.

[BibT_eX]

[DOI]

Christine Parent

Stefano Spaccapietra

Ann. Math. Artif. Intell., 2007

Temporalising Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Query Answering in Expressive Variants of DL-Lite.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Reasoning over Extended ER Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

Complexity of Reasoning in Entity Relationship Models.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

DL-Lite in the Light of First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Reasoning on temporal class diagrams: Undecidability results.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

A Description Logic of Change.

[BibT_eX]

[DOI]

Carsten Lutz

David Toman

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

2005

Temporal Description Logics.

[BibT_eX]

[DOI]

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

Modeling the Evolution of Objects in Temporal Information Systems.

[BibT_eX]

Christine Parent

Stefano Spaccapietra

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

A Correspondence between Temporal Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

J. Appl. Non Class. Logics, 2004

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

2003

Description Logics for Modeling Dynamic Information.

[BibT_eX]

Federica Mandreoli

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

2002

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Reasoning over Conceptual Schemas and Queries in Temporal Databases.

[BibT_eX]

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

The DLRUS Temporal Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000

A survey of temporal extensions of description logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

1999

Representing a robotic domain using temporal description logics.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 1999

Introducing Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Temporal E-R Modelling with description logics.

[BibT_eX]

Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Temporal ER Modeling with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1999

Reasoning with Enhanced Temporal Entity-Relationship Models.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

A Temporal Description Logic for Reasoning about Actions and Plans.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1998

Coping with WORDNET sense proliferation.

[BibT_eX]

Proceedings of the First International Conference on Language Resources and Evaluation, 1998

1997

WordNet for Italian and Its Use for Lexical Deiscrimination.

[BibT_eX]

[DOI]

Bernardo Magnini

Carlo Strapparava

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996

Describing Database Objects in a Concept Language Environment.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

Part-Whole Relations in Object-Centered Systems: An Overview.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1996

Open Problems with Part-Whole Relations.

[BibT_eX]

Nicola Guarino

Proceedings of the 1996 International Workshop on Description Logics, 1996

1994

A Computational Account for a Description Logic of Time and Action.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

Taxonomic Reasoning in LOGIDATA+.

[BibT_eX]

[DOI]

Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Introducing Taxonomic Reasoning in LOGIDATA+.

[BibT_eX]

[DOI]

Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Prototypes in the LOGIDATA+ Project.

[BibT_eX]

[DOI]

Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Instance Recognition in an Object Database Model.

[BibT_eX]

Proceedings of the Convegno SEBD'93, 1993

1991

Subsumption Computation on an Object-Oriented Data Model.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

Introducing Knowledge Representation Techniques in Database Models.

[BibT_eX]

[DOI]