Alessandro Artale

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013)

Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012)

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: 61-66

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012)

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: 225-234

Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov: DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11

Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011)

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Past and Future of DL-Lite. AAAI 2010

Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García: Checking Full Satisfiability of Conceptual Models. Description Logics 2010

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Temporal Conceptual Modelling with DL-Lite. Description Logics 2010

Elena Botoeva, Alessandro Artale, Diego Calvanese: Query Rewriting in DL-Lite_^(HN)_horn. Description Logics 2010

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187

Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García: Full Satisfiability of UML Class Diagrams. ER 2010: 317-331

Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang: Reasoning about Relation Based Access Control. NSS 2010: 231-238

C. Maria Keet, Alessandro Artale: A Basic Characterization of Relation Migration. OTM Workshops 2010: 484-493

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: The DL-Lite Family and Relations. J. Artif. Intell. Res. (JAIR) 36: 1-69 (2009)

Alessandro Artale, Enrico Franconi: Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Extending DL-Lite Sometime in the Future. Description Logics 2009

Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo: Using Description Logics in Relation Based Access Control. Description Logics 2009

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148

C. Maria Keet, Alessandro Artale: Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology 3(1-2): 91-110 (2008)

Alessandro Artale, C. Maria Keet: Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics 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: 673-683

Alessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178

Alessandro Artale, Christine Parent, Stefano Spaccapietra: Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007)

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292

Alessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. IJCAI 2007: 218-223

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257

Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22

Alessandro Artale: Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. 46(3): 265-288 (2006)

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: 22-42

Alessandro Artale, Christine Parent, Stefano Spaccapietra: Modeling the Evolution of Objects in Temporal Information Systems. SEBD 2005: 380-391

Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004)

Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)

Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics 2004

Alessandro Artale: Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME 2004: 79-86

Alessandro Artale, Enrico Franconi, Federica Mandreoli: Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275

Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214

Alessandro Artale, Enrico Franconi: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)

Alessandro Artale, Enrico Franconi: Representing a robotic domain using temporal description logics. AI EDAM 13(2): 105-117 (1999)

Alessandro Artale, Enrico Franconi: Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486

Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Description Logics 1999

Alessandro Artale, Enrico Franconi: Temporal ER Modeling with Description Logics. ER 1999: 81-95

Alessandro Artale, Enrico Franconi: Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5

Alessandro Artale, Enrico Franconi: Temporal E-R Modelling with description logics. SEBD 1999: 357-369

Alessandro Artale, Enrico Franconi: Introducing Temporal Description Logics. TIME 1999: 2-5

Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. (JAIR) 9: 463-506 (1998)

Alessandro Artale, Bernardo Magnini, Carlo Strapparava: WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA 1997: 346-356

Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi: Part-Whole Relations in Object-Centered Systems: An Overview. Data Knowl. Eng. 20(3): 347-383 (1996)

Alessandro Artale, Francesca Cesarini, Giovanni Soda: Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351 (1996)

Alessandro Artale, Enrico Franconi, Nicola Guarino: Open Problems with Part-Whole Relations. Description Logics 1996: 70-73

Alessandro Artale, Enrico Franconi: A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14

Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Giovanni Soda: Instance Recognition in an Object Database Model. SEBD 1993: 167-181

Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini, Giovanni Soda: Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993: 79-84

Alessandro Artale, Francesca Cesarini, Giovanni Soda: Introducing Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993: 85-104

Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273

Alessandro Artale, Francesca Cesarini, Giovanni Soda: Introducing Knowledge Representation Techniques in Database Models. AI*IA 1991: 375-384

Alessandro Artale, Francesca Cesarini, Giovanni Soda: Subsumption Computation on an Object-Oriented Data Model. PDK 1991: 124-140