Get started
Author

Ario Santoso

Observed names: Santoso, Ario, Santoso, Ario
ORCID: 0000-0001-6212-4365
Observed ORCID: 0000-0001-6212-4365
OpenAlex ID: A5015284678
Ontology-Based Governance of Data-Aware Processes
2012 · Diego Calvanese, Giuseppe De Giacomo, et al. · Lecture notes in computer science · 32
OBDA for Log Extraction in Process Mining
2017 · Diego Calvanese, Tahir Emre Kalayci, et al. · Lecture notes in computer science · 22
Verification of Inconsistency-Aware Knowledge and Action Bases
2013 · Diego Calvanese, Evgeny Kharlamov, et al. · Oxford University Research Archive (ORA) (University of Oxford) · 8
PDF
Conceptual Schema Transformation in Ontology-Based Data Access
2018 · Diego Calvanese, Tahir Emre Kalayci, et al. · Lecture notes in computer science · 7
Verification of Context-Sensitive Knowledge and Action Bases
2014 · Diego Calvanese, İsmail İlkan Ceylan, et al. · Lecture notes in computer science · 6
Verification of Semantically-Enhanced Artifact Systems
2013 · Babak Bagheri Hariri, Diego Calvanese, et al. · Lecture notes in computer science · 6
Specification-driven predictive business process monitoring
2019 · Ario Santoso, Michael Felderer · Software & Systems Modeling · 5
PDF
Specification-Driven Multi-perspective Predictive Business Process Monitoring
2018 · Ario Santoso · Lecture notes in business information processing · 5
Verification of generalized inconsistency-aware knowledge and action bases
2015 · Diego Calvanese, Marco Montali, et al. · Open Research (University of Surrey) · 5
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
2015 · Calvanese, Diego, Montali, Marco, et al. · arXiv (Cornell University) · 4
PDF
Reasoning Web. Semantic Interoperability on the Web
2017 · Giorgos Stamou, Alexandros Chortara, et al. · Lecture notes in computer science · 3
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
2017 · Diego Calvanese, Tahir Emre Kalaycı, et al. · Open Research (University of Surrey) · 3
Semantically-governed data-aware processes
2012 · Diego Calvanese, Giuseppe De Giacomo, et al. · IRIS Research product catalog (Sapienza University of Rome) · 2
PDF
Best Service Synthesis in the Weighted Roman Model.
2012 · Diego Calvanese, Ario Santoso · 2
Web Reasoning and Rule Systems
2012 · Calvanese, Diego, De Giacomo, Giuseppe, et al. · Lecture notes in computer science · 2
Verification of Data-aware Business Processes in the Presence of Ontologies
2016 · Santoso, Ario · arXiv (Cornell University) · 1
PDF
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
2013 · Hariri, Babak Bagheri, Calvanese, Diego, et al. · arXiv (Cornell University) · 1
PDF
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
2013 · Calvanese, Diego, Kharlamov, Evgeny, et al. · arXiv (Cornell University) · 1
PDF
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
2018 · L. Yohanes Stefanus, Ario Santoso · EPiC series in computing
PDF
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract)
2018 · Calvanese, Diego, Kalayci, Tahir Emre, et al. · Open Research (University of Surrey)
Inconsistency Management in Generalized Knowledge and Action Bases.
2015 · Diego Calvanese, Marco Montali, et al.
Adding Context to Knowledge and Action Bases
2014 · Calvanese, Diego, Ceylan, İsmail İlkan, et al. · arXiv (Cornell University)
PDF
Kerangka Kerja Pemilihan Free and Open Source Software (foss) Menggunakan Metode Analytical Hierarchy Process
2012 · Ario Santoso, Indra Budi · Jurnal Sistem Informasi
When Data, Knowledge and Processes Meet Together
2012 · Ario Santoso · Lecture notes in computer science
Verifikasi dan Sertifikasi Perangkat Lunak Berbasis Komponen
2007 · Ario Santoso, Daniel Cahyadi, et al. · Seminar Nasional Aplikasi Teknologi Informasi (SNATI)
Works count: 30
Citation count: 115
H-index: 6
I10-index: 2
Year
Topic
Type