Подписаться
Alessandro Artale
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Подтвержден адрес электронной почты в домене inf.unibz.it - Главная страница
Название
Процитировано
Процитировано
Год
The DL-Lite family and relations
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Journal of artificial intelligence research 36, 1-69, 2009
7222009
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
4011996
A survey of temporal extensions of description logics
A Artale, E Franconi
Annals of Mathematics and Artificial Intelligence 30, 171-210, 2000
2882000
A temporal description logic for reasoning about actions and plans
A Artale, E Franconi
Journal of Artificial Intelligence Research (JAIR) 9, 463–506, 1998
2271998
Representing and reasoning over a taxonomy of part–whole relations
G Guizzardi, T Halpin, CM Keet, A Artale
Applied Ontology 3 (1-2), 91-110, 2008
1942008
Temporal Description Logics.
A Artale, E Franconi
Handbook of Temporal Reasoning in Artificial Intelligence 1, 375-388, 2005
157*2005
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
A Queralt, A Artale, D Calvanese, E Teniente
Data & Knowledge Engineering 73, 1-22, 2012
1322012
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
Conceptual Modeling-ER 2007: 26th International Conference on Conceptual …, 2007
1322007
Temporal description logic for ontology-based data access
A Artale, R Kontchakov, F Wolter, M Zakharyaschev
IJCAI-13: proceedings of the twenty-third international joint conference on …, 2013
1082013
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), 1-50, 2014
1012014
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
992002
Temporalising tractable description logics
A Artale, R Kontchakov, C Lutz, F Wolter, M Zakharyaschev
14th International Symposium on Temporal Representation and Reasoning (TIME …, 2007
952007
Ontology-mediated query answering over temporal data: A survey
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 90, 1-37, 2017
752017
DL-Lite in the light of first-order logic
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
AAAI 7, 361-366, 2007
732007
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
711994
Evolving objects in temporal information systems
A Artale, C Parent, S Spaccapietra
Annals of Mathematics and Artificial Intelligence 50 (1), 5-38, 2007
672007
Temporal ER modeling with description logics
A Artale, E Franconi
Conceptual Modeling—ER’99: 18th International Conference on Conceptual …, 1999
671999
First-order rewritability of temporal ontology-mediated queries
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Proceedings of the Twenty-Fourth International Joint Conference on …, 2015
562015
A description logic of change
A Artale, C Lutz, D Toman
International Joint Conference on Artificial Intelligence (IJCAI-07), 218–223, 2007
552007
Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints
A Artale, A Kovtunova, M Montali, WMP van der Aalst
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
512019
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20