117 research outputs found
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
In the context of the Semantic Web, several approaches to the combination of
ontologies, given in terms of theories of classical first-order logic and rule
bases, have been proposed. They either cast rules into classical logic or limit
the interaction between rules and ontologies. Autoepistemic logic (AEL) is an
attractive formalism which allows to overcome these limitations, by serving as
a uniform host language to embed ontologies and nonmonotonic logic programs
into it. For the latter, so far only the propositional setting has been
considered. In this paper, we present three embeddings of normal and three
embeddings of disjunctive non-ground logic programs under the stable model
semantics into first-order AEL. While the embeddings all correspond with
respect to objective ground atoms, differences arise when considering
non-atomic formulas and combinations with first-order theories. We compare the
embeddings with respect to stable expansions and autoepistemic consequences,
considering the embeddings by themselves, as well as combinations with
classical theories. Our results reveal differences and correspondences of the
embeddings and provide useful guidance in the choice of a particular embedding
for knowledge combination.Comment: 52 pages, submitte
Knowledge, Causality and Temporal Representation
In this paper, a formal semantic framework is developed in order to account for the temporal semantics of text. The theory is able to represent and reason about both semantic issues, which are independent of world knowledge (wk), and pragmatic issues, which are not, within a single logical framework. The theory will allow a text's semantic entailments to differ from its pragmatic ones, even though they are all derived within the same logic. I demonstrate that this feature of the theory gives rise to solutions to several puzzles concerning the temporal structure of text. 1 The Problem The purpose of this paper is to provide a formal account of the temporal semantics of text. The chief goal is to explain when a text is temporally coherent: it should not mislead the reader as to the order of the events reported. If John hits Max, causing Max to turn round (to face John), then text (1) reflects this while (2) distorts it: (1) John hit Max. Max turned round. (2) Max turned roun..
Distributed Autoepistemic Logic and its Application to Access Control
In this paper we define and study an extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL) with multiple agents that have full introspection in their own knowledge as well as in that of others. This mutual full introspection between agents is motivated by an application of dAEL in access control. We define 2- and 3-valued semantic operators for dAEL. Using these operators, approximation fixpoint theory, an abstract algebraic framework that unifies different knowledge representation formalisms, immediately yields us a family of semantics for dAEL, each based on different intuitions that are well-studied in the context of AEL. The application in access control also motivates an extension of dAEL with inductive definitions (dAEL(ID)). We explain a use-case from access control to demonstrate how dAEL(ID) can be fruitfully applied to this domain and discuss how well-suited the different semantics are for the application in access control
Epistemic Reasoning in OWL 2 DL
We extend the description logic SROIQ (OWL 2 DL) with the epistemic operator K and argue that unintended effects occur when imposing the semantics traditionally employed. Consequently, we identify the most expressive DL for which the traditional approach can still be adapted. For the epistemic extension of SROIQ and alike expressive DLs, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs
- …