no code implementations • 23 Apr 2013 • Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
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 of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects.
no code implementations • 28 Aug 2013 • Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.
no code implementations • 26 Dec 2014 • Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
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) through action execution.
no code implementations • 30 Apr 2015 • Diego Calvanese, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects.
1 code implementation • 2 Apr 2018 • Ario Santoso
Thus, different from previous studies, our approach enables us to deal with various kinds of prediction tasks based on the given specification.
no code implementations • 20 Apr 2019 • Ario Santoso, Michael Felderer
Differently from previous studies, instead of focusing on a particular prediction task, we present an approach to deal with various prediction tasks based on the given specification of the desired prediction tasks.