Alessandro Artale
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c65]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal Description Logics over Finite Traces. Description Logics 2018 - 2017
- [c64]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 - [c63]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD 2017: 33 - [c62]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases. International Semantic Web Conference (1) 2017: 37-52 - [c61]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: 1:1-1:37 - [e1]Alessandro Artale, Birte Glimm, Roman Kontchakov:
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017 [contents] - [i7]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR abs/1707.08468 (2017) - 2016
- [c60]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics 2016 - [i6]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR abs/1604.00799 (2016) - 2015
- [c59]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c58]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c57]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - 2014
- [j13]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - [c56]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c55]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [i5]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. CoRR abs/1401.3487 (2014) - 2013
- [c54]
- [c53]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. Description Logics 2013: 17-28 - [c52]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. IJCAI 2013: 711-717 - [c51]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [i4]Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version). CoRR abs/1304.5185 (2013) - [i3]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [j12]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012) - [c50]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics 2012 - [c49]Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov:
DL-Lite with Attributes and Datatypes. ECAI 2012: 61-66 - [i2]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c48]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 - [c47]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 - [c46]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - [i1]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011) - 2010
- [c45]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010 - [c44]Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García:
Checking Full Satisfiability of Conceptual Models. Description Logics 2010 - [c43]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c42]Elena Botoeva, Alessandro Artale, Diego Calvanese:
Query Rewriting in DL-Lite_^(HN)_horn. Description Logics 2010 - [c41]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187 - [c40]Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García:
Full Satisfiability of UML Class Diagrams. ER 2010: 317-331 - [c39]Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang:
Reasoning about Relation Based Access Control. NSS 2010: 231-238 - [c38]C. Maria Keet, Alessandro Artale:
A Basic Characterization of Relation Migration. OTM Workshops 2010: 484-493
2000 – 2009
- 2009
- [j11]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. J. Artif. Intell. Res. 36: 1-69 (2009) - [c37]Alessandro Artale, Enrico Franconi:
Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35 - [c36]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Adding Weight to DL-Lite. Description Logics 2009 - [c35]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite without UNA. Description Logics 2009 - [c34]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c33]Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo:
Using Description Logics in Relation Based Access Control. Description Logics 2009 - [c32]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - 2008
- [j10]C. Maria Keet, Alessandro Artale:
Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology 3(1-2): 91-110 (2008) - [c31]Alessandro Artale, C. Maria Keet:
Essential and Mandatory Part-Whole Relations in Conceptual Data Models. Description Logics 2008 - [c30]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. Description Logics 2008 - [c29]Alessandro Artale, Nicola Guarino, C. Maria Keet:
Formalising Temporal Constraints on Part-Whole Relations. KR 2008: 673-683 - [c28]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178 - 2007
- [j9]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50(1-2): 5-38 (2007) - [c27]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366 - [c26]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c25]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Reasoning over Extended ER Models. ER 2007: 277-292 - [c24]
- [c23]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257 - [c22]Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics. TIME 2007: 11-22 - 2006
- [j8]Alessandro Artale:
Reasoning on temporal class diagrams: Undecidability results. Ann. Math. Artif. Intell. 46(3): 265-288 (2006) - [c21]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. Description Logics 2006 - [c20]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Modeling the Evolution of Objects in Temporal Information Systems. FoIKS 2006: 22-42 - 2005
- [c19]Alessandro Artale, Christine Parent, Stefano Spaccapietra:
Modeling the Evolution of Objects in Temporal Information Systems. SEBD 2005: 380-391 - [r1]Alessandro Artale, Enrico Franconi:
Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388 - 2004
- [j7]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004) - [j6]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c18]Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Description Logics 2004 - [c17]Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. TIME 2004: 79-86 - 2003
- [c16]Alessandro Artale, Enrico Franconi, Federica Mandreoli:
Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275 - 2002
- [c15]Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - 2001
- [c14]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. Description Logics 2001 - [c13]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214 - 2000
- [j5]Alessandro Artale, Enrico Franconi:
A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)
1990 – 1999
- 1999
- [j4]Alessandro Artale, Enrico Franconi:
Representing a robotic domain using temporal description logics. AI EDAM 13(2): 105-117 (1999) - [c12]Alessandro Artale, Enrico Franconi:
Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486 - [c11]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. Description Logics 1999 - [c10]
- [c9]Alessandro Artale, Enrico Franconi:
Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5 - [c8]Alessandro Artale, Enrico Franconi:
Temporal E-R Modelling with description logics. SEBD 1999: 357-369 - [c7]
- 1998
- [j3]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. 9: 463-506 (1998) - 1997
- [c6]Alessandro Artale, Bernardo Magnini, Carlo Strapparava:
WordNet for Italian and Its Use for Lexical Deiscrimination. AI*IA 1997: 346-356 - 1996
- [j2]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) - [j1]Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Describing Database Objects in a Concept Language Environment. IEEE Trans. Knowl. Data Eng. 8(2): 345-351 (1996) - [c5]Alessandro Artale, Enrico Franconi, Nicola Guarino:
Open Problems with Part-Whole Relations. Description Logics 1996: 70-73 - 1994
- [c4]Alessandro Artale, Enrico Franconi:
A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14 - 1993
- [c3]Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Giovanni Soda:
Instance Recognition in an Object Database Model. SEBD 1993: 167-181 - [p3]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 - [p2]Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Introducing Taxonomic Reasoning in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993: 85-104 - [p1]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 - 1991
- [c2]Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Introducing Knowledge Representation Techniques in Database Models. AI*IA 1991: 375-384 - [c1]Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Subsumption Computation on an Object-Oriented Data Model. PDK 1991: 124-140
Coauthor Index
last updated on 2019-01-23 00:33 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint