Search Results for author: Babak Bagheri Hariri

Found 2 papers, 0 papers with code

Description Logic Knowledge and Action Bases

no code implementations4 Feb 2014 Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects.

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

no code implementations28 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.