Now showing items 111-116 of 116
Node selection query languages for trees
(AAAI Publications, 2010)
The study of node-selection query languages for (finite) trees has been a major topic in the recent research on query lan- guages for Web documents. On one hand, there has been an extensive study of XPath and its various ...
Verification of Description Logic Knowledge and Action Bases
We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ...
First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus
We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ...
Semantics, Analysis and Simplification of DMN Decision Tables
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 ...
Verification of Fixed-Topology Declarative Distributed Systems with External Data
Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for ...
Ontology-Based Access To Temporal Data With Ontop: A Framework Proposal
Predictive analysis gradually gains importance in industry. For instance, service engineers at Siemens diagnostic centres unveil hidden knowledge in huge amounts of historical sensor data and use this knowledge to improve ...