[Back]

M. Ortiz de la Fuente, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10.

We will discuss the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We will discuss different reasoning problems, which range from ensuring the satisfaction of a given set of integrity constraints after a given sequence of updates, to deciding the (non-)existence of a sequence of actions that would take the data to an (un)desirable state, starting either from a specific data instance or from an incomplete description of it. We consider an action language in which actions are finite sequences of conditional insertions and deletions of nodes and labels, and use Description Logics for describing integrity constraints and (partial) states of the data.

Project Head M.Magdalena Ortiz de la Fuente:
Rekursive Abfrage über semantisch angereicherte Datenbestände