Follow
Ario Santoso
Ario Santoso
Postdoctoral Researcher, Department of Computer Science, University of Innsbruck
Verified email at uibk.ac.at - Homepage
Title
Cited by
Cited by
Year
Ontology-based governance of data-aware processes
D Calvanese, G De Giacomo, D Lembo, M Montali, A Santoso
International Conference on Web Reasoning and Rule Systems, 25-41, 2012
502012
OBDA for Log Extraction in Process Mining
D Calvanese, TE Kalayci, M Montali, A Santoso
Reasoning Web International Summer School, 292-345, 2017
372017
Conceptual schema transformation in ontology-based data access
D Calvanese, TE Kalayci, M Montali, A Santoso, W Van Der Aalst
European Knowledge Acquisition Workshop, 50-67, 2018
162018
Verification of semantically-enhanced artifact systems
BB Hariri, D Calvanese, M Montali, A Santoso, D Solomakhin
International Conference on Service-Oriented Computing, 600-607, 2013
142013
Verification of inconsistency-aware knowledge and action bases
D Calvanese, E Kharlamov, M Montali, A Santoso, D Zheleznyakov
Proceedings of the Twenty-Third international joint conference on Artificial …, 2013
132013
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access
D Calvanese, TE Kalayci, M Montali, A Santoso
CEUR-WS. org, 2017
102017
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
D Calvanese, M Montali, A Santoso
Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI), 2015
102015
Specification-Driven Multi-perspective Predictive Business Process Monitoring
A Santoso
Enterprise, Business-Process and Information Systems Modeling, 97-113, 2018
82018
Verification of Context-Sensitive Knowledge and Action Bases
D Calvanese, II Ceylan, M Montali, A Santoso
Logics in Artificial Intelligence, 514-528, 2014
72014
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
D Calvanese, M Montali, A Santoso
arXiv preprint arXiv:1504.08108, 2015
62015
Specification-driven predictive business process monitoring
A Santoso, M Felderer
Software and Systems Modeling, 1-37, 2019
52019
Best Service Synthesis in the Weighted Roman Model.
D Calvanese, A Santoso
ZEUS, 42-49, 2012
52012
Verification of Data-aware Business Processes in the Presence of Ontologies
A Santoso
arXiv preprint arXiv:1612.05456, 2016
42016
Semantically-Governed Data-Aware Processes.
D Calvanese, G De Giacomo, D Lembo, M Montali, A Santoso
KiBP@ KR, 21-32, 2012
42012
Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
A Santoso
arXiv preprint arXiv:1804.00617, 2018
22018
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
D Calvanese, E Kharlamov, M Montali, A Santoso, D Zheleznyakov
arXiv preprint arXiv:1304.6442, 2013
22013
Inconsistency Management in Generalized Knowledge and Action Bases.
D Calvanese, M Montali, A Santoso
Description Logics, 2015
12015
Adding Context to Knowledge and Action Bases
D Calvanese, İİ Ceylan, M Montali, A Santoso
arXiv preprint arXiv:1412.7965, 2014
12014
Verification of semantically-enhanced artifact systems (extended version)
BB Hariri, D Calvanese, M Montali, A Santoso, D Solomakhin
arXiv preprint arXiv:1308.6292, 2013
12013
Verification of semantically-enhanced artifact systems (extended version)
B Bagheri Hariri, D Calvanese, M Montali, A Santoso, D Solomakhin
arXiv preprint arXiv:1308.6292, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20