Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)

The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics for hybrid knowledge bases composed of both an ontology (expressed in a fragment of first-order logic) and nonmonotonic rules. These semantics have matured over the years, but only provide solutions for the static case when knowledge does not need to evolve. In this paper we take a first step towards addressing the dynamics of hybrid knowledge bases. We focus on knowledge updates and, considering the state of the art of belief update, ontology update and rule update, we show that current solutions are only partial and difficult to combine. Then we extend the existing work on ABox updates with rules, provide a semantics for such evolving hybrid knowledge bases and study its basic properties. To the best of our knowledge, this is the first time that an update operator is proposed for hybrid knowledge bases.Comment: 40 pages; an extended version of the article published in Theory and Practice of Logic Programming, 10 (4-6): 547 - 564, July. Copyright 2010 Cambridge University Pres

Pointwise intersection in neighbourhood modal logic

We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets $\mathcal{N}_i$ (one for each member $i$ of a set $G$, used to interpret the modality $\square_i$) to a new neighbourhood set $\mathcal{N}_G$, which in turn allows us to interpret the operator $\square_G$. Here, $X$ is in the neighbourhood for $G$ if and only if $X$ equals the intersection of some $\mathcal{Y} = \{Y_i \mid i\in G\}$. We show that the notion of pointwise intersection has various applications in epistemic and doxastic logic, deontic logic, coalition logic, and evidence logic. We then establish sound and strongly complete axiomatizations for the weakest logic characterized by pointwise intersection and for a number of variants, using a new and generally applicable technique for canonical model construction.Comment: Submitted to Advances in Modal Logic 201