Alessandro Artale
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Verifierad e-postadress på inf.unibz.it
TitelCiteras avÅr
The DL-Lite family and relations
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Journal of artificial intelligence research 36, 1-69, 2009
4922009
Part-whole relations in object-centered systems: An overview
A Artale, E Franconi, N Guarino, L Pazzi
Data & Knowledge Engineering 20 (3), 347-383, 1996
3631996
A survey of temporal extensions of description logics
A Artale, E Franconi
Annals of Mathematics and Artificial Intelligence 30 (1-4), 171-210, 2000
2102000
A temporal description logic for reasoning about actions and plans
A Artale, E Franconi
Journal of Artificial Intelligence Research (JAIR) 9, 463–506, 1998
1991998
Representing and reasoning over a taxonomy of part–whole relations
CM Keet, A Artale
Applied Ontology 3 (1-2), 91-110, 2008
1402008
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
International Conference on Conceptual Modeling, 277-292, 2007
1012007
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
A Queralt, A Artale, D Calvanese, E Teniente
Data & Knowledge Engineering 73, 1-22, 2012
922012
A temporal description logic for reasoning over conceptual schemas and queries
A Artale, E Franconi, F Wolter, M Zakharyaschev
European Workshop on Logics in Artificial Intelligence, 98-110, 2002
772002
Temporal description logic for ontology-based data access
A Artale, R Kontchakov, F Wolter, M Zakharyaschev
AAAI Press, 2013
672013
Temporalising tractable description logics
A Artale, R Kontchakov, C Lutz, F Wolter, M Zakharyaschev
Temporal Representation and Reasoning, 14th International Symposium on, 11-22, 2007
672007
DL-Lite in the light of first-order logic
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Proceedings of the national conference on artificial intelligence 22 (1), 361, 2007
652007
A computational account for a description logic of time and action
A Artale, E Franconi
4th International Conference on Principles of Knowledge Representation and …, 1994
651994
Temporal Description Logics.
A Artale, E Franconi
Handbook of Temporal Reasoning in Artificial Intelligence 1, 375-388, 2005
632005
Temporal ER modeling with description logics
A Artale, E Franconi
International Conference on Conceptual Modeling, 81-95, 1999
581999
A cookbook for temporal conceptual data modelling with description logics
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
ACM Transactions on Computational Logic (TOCL) 15 (3), 25, 2014
512014
Temporal description logics
A Artale, E Franconi
502000
A description logic of change
A Artale, C Lutz, D Toman
International Joint Conference on Artificial Intelligence (IJCAI-07), 218–223, 2007
472007
Evolving objects in temporal information systems
A Artale, C Parent, S Spaccapietra
Annals of Mathematics and Artificial Intelligence 50 (1-2), 5-38, 2007
442007
Description logics for modeling dynamic information
A Artale, E Franconi, F Mandreoli
Logics for emerging applications of databases, 239-275, 2004
442004
Open problems for part-whole relations
A Artale, E Franconi, N Guarino
Int. Workshop on Description Logics (DL-96), 1996
361996
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20