Reasoning over Conceptual Models
Temporal Description Logics
- A. Artale, D. Bresolin, A. Montanari, G. Sciavicco and
V. Ryzhikov. DL-Lite
Extended with Interval Temporal Logics over the
Integers. Submitted to (ECAI-14), 2014.
- Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter
and Michael Zakharyaschev. Temporalising Tractable
Description Logics. Proc. of the 14th International Symposium
on Temporal Representation and Reasoning (TIME-07), Alicante,
June 2007.
- Alessandro Artale and David Toman. Decidable Reasoning over
Timestamped Conceptual Models. Proc. of the International
Workshop on Description Logics, (DL'08), Dresden, Germany, May
2008.
- Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter
and Michael Zakharyaschev. Temporalising Tractable
Description Logics. Proc. of the 14th International Symposium
on Temporal Representation and Reasoning (TIME-07), Alicante,
June 2007.
- Alessandro Artale, Carsten Lutz, David Toman. A description logic of
change. Proc. of the 20th Int. Joint Conference on Artificail
Intelligence (IJCAI-07), Hyderabad, India, Jan 2007.
- Alessandro Artale and Carsten Lutz. A correspondence between
temporal description logics. Journal of Applied of
Non-Classical Logics, 2004.
- Alessandro Artale, Enrico Franconi, Frank Wolter and Michael
Zakharyaschev. A Temporal
Description Logic for Reasoning over Conceptual Schemas and
Queries. Proc. of the 8th European Conference on Logics in
Artificial Intelligence (JELIA-02), Cosenza, Italy,
September 2002. Lecture Notes in AI, Springer-Verlag.:
the preliminary version of this paper ranked as the 47th most cited
paper published in 2001 in the CiteSeer database (as of June 2003).
- Alessandro Artale and Enrico Franconi (2001). A Survey of Temporal
Extensions of Description Logics. Annals of Mathematics and
Artificial Intelligence (AMAI), Kluwer Academic Press,
30(1-4):171--210, 2001.
- Alessandro Artale, Enrico Franconi, Frank Wolter, Milenko
Mosurovic, and Michael Zakharyaschev. The DLR_US temporal description
logic. In Workshop Notes of the Int. Workshop on Description
Logics (DL-01). Stanford University, CA, August 2001.
- Alessandro Artale and Enrico Franconi (1999). Introducing Temporal
Description Logics. Invited paper at the sixth International
Workshop on Temporal Representation and Reasoning
(TIME'99), IEEE Computer Society Press, 1999.
- Alessandro Artale and Enrico Franconi (1999). Representing a Robotic Domain
using Temporal Description Logics. Journal of Artificial
Intelligence for Engineering Design, Analysis and Manufacturing
(AIEDAM), special Issue on Temporal Logic in
Engineering, Vol. 13, No. 2, April 1999.
- Alessandro Artale and Carsten Lutz. A correspondence between
temporal description logics. In Workshop Notes of the
Int. Workshop on Description Logics (DL-99), Linkoping,
Sweden, July 1999.
- Alessandro Artale and Enrico Franconi (1998). A Temporal Description
Logic for Reasoning about Actions and Plans. Journal of
Artificial Intelligence Research (JAIR) Vol. 9, pages
463-506, December 1998.
- Alessandro Artale and Enrico Franconi (1994). A computational account for a
description logic of time and action. 4th International
Conference on Knowledge Representation and Reasoning
(KR'94), Morgan Kaufmann, San Mateo CA, May 1994.
- A unified framework for representing time, actions and plans.
In F.D. Anger, H.W. Guesgen, and J. van Benthem, editors,
Workshop Notes of the IJCAI-93 Workshop on Temporal and Spatial
Reasoning, pages 193-217, Chambery, France, August 1993.
Knowledge Representation and Temporal Databases
- Alessandro Artale, Christine Parent, and Stefano Spaccapietra.
Evolving objects in temporal
information systems. Annals of Mathematics and Artificial
Intelligence (AMAI), 50:5-38, 2007, Springer.
- Alessandro Artale. Reasoning on Temporal Class
Diagrams: Undecidability Results. Annals of Mathematics and
Artificial Intelligence (AMAI), 46:265-288,
2006. Springer.
- Alessandro Artale, Christine Parent, and Stefano Spaccapietra.
Modeling the evolution of
objects in temporal information systems . In 4th
Int. Symposium on Foundations of Information and Knowledge
Systems (FoIKS-06), LNCS 3861, pages
22--42. Springer-Verlag, 2006.
- A. Artale, C. Dixon, M. Fisher and Enrico Franconi. Temporal
Representation and Reasoning. Journal of Logic and
Computation (JLC), Oxford University Press, Vol. 14,
2004.
- Alessandro Artale. Reasoning on temporal conceptual
schemas with dynamic constraints. In 11th International
Symposium on Temporal Representation and Reasoning
(TIME04). IEEE Computer Society, 2004. Also in Proc. of the
2004 International Workshop on Description Logics (DL'04).
- Alessandro Artale, Enrico Franconi and Federica Mandreoli. Description Logics for
Modelling Dynamic Information. In Jan Chomicki, Ron van der
Meyden and Gunter Saake, editors, Logics for Emerging
Applications of Databases. Lecture Notes in Computer Science,
Springer-Verlag. 2003.
- Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank
Wolter, Michael Zakharyaschev (2001). Reasoning over Conceptual Schemas
and Queries in Temporal Databases. Technical Report.
- Alessandro Artale and Enrico Franconi (1999). Temporal ER Modeling with
Description Logics. International Conference on Conceptual
Modeling (ER'99), Paris, France, November 1999,
Springer-Verlag.
- Alessandro Artale and Enrico Franconi (1999). Reasoning with enhanced
Temporal Entity-Relationship Models. International Workshop on
Spatio-Temporal Data Models and Languages (STDML'99),
Florence, Italy, August 1999, IEEE Computer Society Press. Also in
1999 International Workshop on Description Logics
(DL'99), Linköping, Sweden, July 1999; and 6th
International Workshop on Knowledge Representation meets
Databases (KRDB'99), Linköping, Sweden, July 1999.
Knowledge Representation
- Alessandro Artale, Roman Kontchakov and Vladislav Ryzhikov. DL-Lite with Attributes
and Sub-Roles (Full Version). Tech. Report, 2007.
- Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael
Zakharyaschev. DL-Lite in the
Light of First-Order Logic. Proc. of the 22nd Conference on
Artificail Intelligence (AAAI-07), Vancouver, British
Columbia, July 2007.
- Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Describing database objects in a
concept language environment. IEEE Transaction on Knowledge
and Data Engineering (TKDE), 8(2), April 1996.
- Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Introducing taxonomic reasoning
in LOGIDATA+. In P. Atzeni, editor, LOGIDATA+: Deductive
Databases with Complex Objects, volume 701, pages
85-104. Lecture Notes in Computer Science, Springer-Verlag, 1993.
- Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori,
Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Taxonomic
reasoning in {\sc logidata+}. In P. Atzeni, editor, LOGIDATA+:
Deductive Databases with Complex Objects, volume 701, pages
79-84. Lecture Notes in Computer Science, Springer-Verlag, 1993.
- Alessandro Artale, Francesca Cesarini, and Giovanni Soda.
Subsumption computation in an object-oriented data model. In
H.Boley and M.M.Richter, editors, Proc. of the Workshop on
Processing Declarative Knowledge (PDK91), volume 567,
pages 124-140, Kaiserslautern, Germany, May 1991. Lecture Notes in
AI, Springer-Verlag.
- Alessandro Artale, Francesca Cesarini, and Giovanni Soda.
Introducing knowledge representation techniques in database models.
In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Proc. of
the 2nd Congress of the Italian Association for Artificial
Intelligence, Palermo, Italy, October 1991. Lecture Notes in
AI, Springer-Verlag, volume 345, pages 375-384.
Representation of Parts and Wholes
- Alessandro Artale, Nicola Guarino and Maria Keet (2008). Formalising temporal
constraints on part-whole relations. Proc. of the 11th
International Conference on Principles of Knowledge Representation
and Reasoning (KR'08), Sydney, Australia, 2008.
- Alessandro Artale and Maria Keet (2008). Essential and Mandatory
Part-Whole Relations in Conceptual Data Models. Proc. of the
International Workshop on Description Logics, (DL'08), Dresden,
Germany, May 2008.
- Maria Keet and Alessandro Artale (2008). Representing and Reasoning
over a Taxonomy of Part-Whole Relations. Applied
Ontology, IOS Press, 2008, to appear.
- Alessandro Artale, Enrico Franconi and Nicola Guarino (1996). Open Problems for Part-Whole
Relations. 1996 International Workshop on Description
Logics (DL'96), Boston MA, November 1996.
- Alessandro Artale, Enrico Franconi, Nicola Guarino and Luca Pazzi
(1996). Part-Whole Relations in
Object-Centered Systems: An Overview. Data and Knowledge
Engineering (DKE), North-Holland, Elsevier Publisher,
20(3), pages 347-383, 1996.
Natural Language
- Alessandro Artale, Anna Goy, Bernardo Magnini, Emanuele Pianta
and Carlo Strapparava. Coping with WordNet Sense Proliferation. In
Proc. of the 1st International Conference on Language Resources
and Evaluation, pages 873--878, Granada, May 1998.
- Alessandro Artale, Bernardo Magnini, and Carlo Strapparava. Wordnet for italian and
its use for lexical discrimination. In Proc. of the 5th
Congress of the Italian Association for Artificial Intelligence,
Roma, Italy, 1997. Lecture Notes in AI, Springer-Verlag, volume
1321, pages 346-356.
Editor of Collections
- A. Artale, C. Dixon, M. Fisher and E. Franconi. Special issue on
Temporal Representation and Reasoning, Journal of Logic and
Computation, Oxford University Press. 2004.
- A. Artale, M. Fisher. Proceedings of the 9th International
Symposium on Temporal Representation and Reasoning TIME02, IEEE
Computer Society Press. Manchester, July 4-6, 2002.
- A. Artale. Special issue on Management of Temporal
Information, AI*IA notizie, Journal of the Italian Association
for Artificial Intelligence. March 2001.
Alessandro Artale -
artale@inf.unibz.it
Last modified: Sat Mar 1 17:28:17 CET 2014