2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 2 cited
Verification of Data-aware Business Processes in the Presence of Ontologies
Ario Santoso
The meet up between data, processes and structural knowledge in modeling enterprise systems is a challenging task that has led to the study of combining formalisms from knowledge r…
cs.AI2014
Adding Context to Knowledge and Action Bases
Diego Calvanese, İsmail İlkan Ceylan, Marco Montali +1
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs)…
cs.AI2013★ 1 cited
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Evgeny Kharlamov, Marco Montali +2
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain o…