Book Chapter10.1007/978-3-540-30221-6_14
Model Based Deduction for Database Schema Reasoning
TL;DR: It is aimed to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/ query reasoning.
read more
Abstract: We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query reasoning. Specifically, we present an approach to compute completed paths for database or XPath queries. The database schema and a query are transformed to disjunctive logic programs with default negation, using a description logic as an intermediate language. Our underlying deduction system, KRHyper, then detects if a query is satisfiable or not. In case of a satisfiable query, all completed paths – those that fulfill all given constraints – are returned as part of the computed models.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
Towards Mobile Reasoning.
TL;DR: The efforts to develop a reasoner suitable for mobile devices, namely mobile phones are presented and details of the implementation and current limitations provide explanations to the differences in performance in comparison to one of the well-known desktop reasoners.
Applications of automated reasoning
Ulrich Furbach,Claudia Obermaier +1 more
- 14 Jun 2006
TL;DR: This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz.
•Journal Article
User profiles and matchmaking on mobile phones
Thomas Kleemann,Alex Sinner +1 more
TL;DR: In this article, the authors present a thorough definition of annotations and profiles, which make the mobile phone a first class participant of a semantic environment rather than a mere displaying client of services running elsewhere.
21
User profiles and matchmaking on mobile phones
Thomas Kleemann,Alex Sinner +1 more
- 22 Oct 2005
TL;DR: A thorough definition of annotations and profiles is presented and the implementation of the system - including a first order model generating theorem prover and a description logic interface - renders the idea viable in the real world.
17
Efficient Verification-Driven Slicing of UML/OCL Class Diagrams
Asadullah Shaikh,Uffe Kock Wiil +1 more
TL;DR: A slicing technique is proposed which breaks a model into several independent submodels from which irrelevant information can be abstracted to improve the scalability of the verification process.
References
Basic description logics
Franz Baader,Werner Nutt +1 more
- 01 Jan 2003
TL;DR: This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it, covering syntax and semantics, and the basic constructors that are used in systems or have been introduced in the literature.
•Proceedings Article
Embedding Defaults into Terminological Knowledge Representation Formalisms.
Franz Baader,Bernhard Hollunder +1 more
- 01 Jan 1992
TL;DR: In this paper, the problem of integrating Reiter's default logic into terminological representation systems is considered, and it turns out that such an integration is less straightforward than we expected, considering the fact that the terminological language is a decidable sublanguage of first-order logic.
315
Embedding defaults into terminological knowledge representation formalisms
Franz Baader,Bernhard Hollunder +1 more
TL;DR: In this article, the problem of integrating Reiter's default logic into terminological representation systems is considered, and it turns out that such an integration is less straightforward than we expected, considering the fact that the terminological language is a decidable sublanguage of first-order logic.
265