Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarAlessandro Artale
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[c70]Alessandro Artale, Enrico Franconi:
Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense 2019: 242-256- [c69]Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst:
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense 2019: 257-277 - [c68]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: 139-156 - [c67]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics 2019 - [c66]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Do You Need Infinite Time?. IJCAI 2019: 1516-1522 - 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]Claudio Masolo, Alessandro Artale:
Entity-from-Relationship Modelling. AI*IA 2013: 85-96 - [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 - [p4]Alessandro Artale, C. Maria Keet:
Essential, Mandatory, and Shared Parts in Conceptual Data Models. Innovations in Information Systems Modeling 2009: 17-52 - 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]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. IJCAI 2007: 218-223 - [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]Alessandro Artale, Enrico Franconi:
Temporal ER Modeling with Description Logics. ER 1999: 81-95 - [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]Alessandro Artale, Enrico Franconi:
Introducing Temporal Description Logics. TIME 1999: 2-5 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-20 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
