Alessandro Artale

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 42

Top Venues

Description Logics

CoRR

AAAI

ACM Trans. Comput. Log.

Publications

Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR (2024)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics (2024)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics (2024)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. 25 (2) (2024)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME (2023)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI (2023)
Alessandro Artale, Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics (2023)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24 (4) (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR (2023)
Alessandro Artale, Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version). CoRR (2023)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI (2022)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75 (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI (2021)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. KR (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR (2021)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299 (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. Description Logics (2020)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR (2020)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite. CoRR (2020)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Finite vs. Infinite Traces in Temporal Logics. OVERLAY (2020)
Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. BPM (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics (2019)
Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Do You Need Infinite Time?. IJCAI (2019)
Alessandro Artale, Enrico Franconi
Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal Description Logics over Finite Traces. Description Logics (2018)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME (2017)
Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Description Logics (2017)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR (2017)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases. ISWC (1) (2017)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD (2017)
Alessandro Artale, Enrico Franconi
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics (2016)
Alessandro Artale, Enrico Franconi
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR (2016)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Interval Temporal Description Logics. Description Logics (2015)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Tractable Interval Temporal Propositional and Description Logics. AAAI (2015)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI (2015)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15 (3) (2014)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The DL-Lite Family and Relations. CoRR (2014)
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI (2014)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporal OBDA with LTL and DL-Lite. Description Logics (2014)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR (2013)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL. LPAR (2013)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporalising OWL 2 QL. Description Logics (2013)
Claudio Masolo, Alessandro Artale
Entity-from-Relationship Modelling. AI*IA (2013)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL. CoRR (2013)
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access. IJCAI (2013)
Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics (2012)
Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
DL-Lite with Attributes and Datatypes. ECAI (2012)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics CoRR (2012)
Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73 (2012)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS (2011)
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics (2011)
Alessandro Artale, Enrico Franconi
A Temporal Description Logic for Reasoning about Actions and Plans CoRR (2011)
Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti
Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. DASFAA (2) (2011)
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
Full Satisfiability of UML Class Diagrams. ER (2010)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Complexity of Reasoning over Temporal Data Models. ER (2010)
Elena Botoeva, Alessandro Artale, Diego Calvanese
Query Rewriting in DL-Lite_^(HN)_horn. Description Logics (2010)
C. Maria Keet, Alessandro Artale
A Basic Characterization of Relation Migration. OTM Workshops (2010)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Past and Future of DL-Lite. AAAI (2010)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Temporal Conceptual Modelling with DL-Lite. Description Logics (2010)
Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang
Reasoning about Relation Based Access Control. NSS (2010)
Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
Checking Full Satisfiability of Conceptual Models. Description Logics (2010)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
DL-Lite without UNA. Description Logics (2009)
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo
Using Description Logics in Relation Based Access Control. Description Logics (2009)
Alessandro Artale, Enrico Franconi
Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications (2009)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
with Temporalised Concepts, Rigid Axioms and Roles. FroCoS (2009)
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Extending DL-Lite Sometime in the Future. Description Logics (2009)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36 (2009)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
Adding Weight to DL-Lite. Description Logics (2009)
Alessandro Artale, David Toman
Decidable Reasoning over Timestamped Conceptual Models. SEBD (2008)
Alessandro Artale, C. Maria Keet
Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics (2008)
C. Maria Keet, Alessandro Artale
Representing and reasoning over a taxonomy of part-whole relations. Appl. Ontology 3 (1-2) (2008)
Alessandro Artale, David Toman
Decidable Reasoning over Timestamped Conceptual Models. Description Logics (2008)
Alessandro Artale, Nicola Guarino, C. Maria Keet
Formalising Temporal Constraints on Part-Whole Relations. KR (2008)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Reasoning over Extended ER Models. ER (2007)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
Query Answering in Expressive Variants of DL-Lite. SEBD (2007)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Complexity of Reasoning in Entity Relationship Models. Description Logics (2007)
Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Temporalising Tractable Description Logics. TIME (2007)
Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change. IJCAI (2007)
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
DL-Lite in the Light of First-Order Logic. AAAI (2007)
Alessandro Artale, Christine Parent, Stefano Spaccapietra
Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50 (1-2) (2007)
Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change. Description Logics (2006)
Alessandro Artale, Christine Parent, Stefano Spaccapietra
Modeling the Evolution of Objects in Temporal Information Systems. FoIKS (2006)
Alessandro Artale
Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. 46 (3) (2006)
Alessandro Artale, Christine Parent, Stefano Spaccapietra
Modeling the Evolution of Objects in Temporal Information Systems. SEBD (2005)
Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
Editorial. J. Log. Comput. 14 (1) (2004)
Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME (2004)
Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics (2004)
Alessandro Artale, Carsten Lutz
A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics 14 (1-2) (2004)
Alessandro Artale, Enrico Franconi, Federica Mandreoli
Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases (2003)
Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA (2002)

Alessandro Artale.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Artale