30 citations · 33 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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.DB2014★ 30 cited
Verifiable UML Artifact-Centric Business Process Models (Extended Version)
Diego Calvanese, Marco Montali, Montserrat Estanol +1
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process rela…