Search
Now showing items 16 of 6

Firstorder mucalculus over Generic Transition Systems and Applications to the Situation Calculus
(2018)We consider muL, muLa, and muLp, three variants of the firstorder mucalculus studied in verification of dataaware processes, that differ in the form of quantification on objects across states. Each of these three logics ... 
Description logic Knowledge and Action Bases
({AAAI} Press/The {MIT} Press, 2013)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 ... 
Data complexity of query answering in description logics
(2013)In this paper we study data complexity of answering conjunctive queries over Description Logic (DL) knowledge bases constituted by an ABox and a TBox. In particular, we are interested in characterizing the FOLrewritability ... 
Query Processing under GLAV Mappings for Relational and Graph Databases
(2012)Schema mappings establish a correspondence between data stored in two databases, called source and target respectively. Query processing under schema mappings has been investigated extensively in the two cases where each ... 
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 ... 
Finite Model Reasoning on UML Class Diagrams via Constraint Programming
(2013)Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...