Search
Now showing items 1-5 of 5
-
Managing Change in Graph-structured Data Using Description Logics
(2017)In this paper, we consider the setting of graph-structured data (GSD) that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a ... -
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
(2012)To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ... -
On Simplification of Schema Mappings
(2013)A schema mapping is a formal specification of the relationship holding between the databases conforming to two given schemas, called source and target, respectively. While in the general case a schema mapping is specified ... -
Reasoning about Explanations for Negative Query Answers in DL-Lite
(2013)In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both ... -
Semantics, Analysis and Simplification of DMN Decision Tables
(Elsevier, 2018)The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture ...
