Results 1 -
7 of
7
Base revision in description logics - preliminary results
- In Proc. of the Int. Workshop on Ontology Dynamics (IWOD
, 2007
"... Abstract. Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in descriptio ..."
Abstract
-
Cited by 12 (0 self)
- Add to MetaCart
(Show Context)
Abstract. Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems. 1
R.: First steps towards revising ontologies
- In: Proc. of WONRO’2006. (2006
"... Abstract. When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Re-vision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards apply-ing belief revision methods ..."
Abstract
-
Cited by 11 (2 self)
- Add to MetaCart
(Show Context)
Abstract. When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Re-vision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards apply-ing belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be adapted in order to be applied to description logics. 1
On the link between partial meet, kernel, and infra contraction and its application to horn logic.
- J. Artif. Int. Res.,
, 2011
"... Abstract Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We ..."
Abstract
-
Cited by 8 (2 self)
- Add to MetaCart
(Show Context)
Abstract Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. This result stands in contrast to Delgrande's conjecture that orderly maxichoice is the appropriate form of contraction for Horn logic. We then define a more appropriate notion of basic contraction for the Horn case, influenced by the convexity property holding for full propositional logic and which we refer to as infra contraction. The main contribution of this work is a result which shows that the construction method for Horn contraction for belief sets based on our infra remainder sets corresponds exactly to Hansson's classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through contraction for belief bases. We prove that kernel contraction for belief bases produces precisely the same results as the belief base version of infra contraction. The use of belief bases to obtain this result provides evidence for the conjecture that Horn belief change is best viewed as a 'hybrid' version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features.
On Action Theory Change
"... As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommoda ..."
Abstract
-
Cited by 6 (5 self)
- Add to MetaCart
(Show Context)
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: first we revisit the semantics of action theory contraction proposed in previous work, giving more robust operators that express minimal change based on a notion of distance between Kripke-models. Second we give algorithms for syntactical action theory contraction and establish their correctness with respect to our semantics for those action theories that satisfy a principle of modularity investigated in previous work. Since modularity can be ensured for every action theory and, as we show here, needs to be computed at most once during the evolution of a domain description, it does not represent a limitation at all to the method here studied. Finally we state AGM-like postulates for action theory contraction and assess the behavior of our operators with respect to them. Moreover, we also address the revision counterpart of action theory change, showing that it benefits from our semantics for contraction. 1.
Ontology evolution: A process centric survey
- Knowledge Engineering Review (KER
"... Abstract Ontology evolution aims at maintaining an ontology up to date with respect to changes in the domain that it models or novel requirements of information systems that it enables. The recent industrial adoption of Semantic Web techniques, which rely on ontologies, has led to the increased imp ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract Ontology evolution aims at maintaining an ontology up to date with respect to changes in the domain that it models or novel requirements of information systems that it enables. The recent industrial adoption of Semantic Web techniques, which rely on ontologies, has led to the increased importance of the ontology evolution research. Typical approaches to ontology evolution are designed as multiple-stage processes combining techniques from a variety of fields (e.g., natural language processing and reasoning). However, the few existing surveys on this topic lack an indepth analysis of the various stages of the ontology evolution process. This survey extends the literature by adopting a process-centric view of ontology evolution. Accordingly, we first provide an overall process model synthesized from an overview of the existing models in the literature. Then we survey the major approaches to each of the steps in this process and conclude on future challenges for techniques aiming to solve that particular stage.
Chapter 8 Belief Revision
"... Philippa, a Greek nineteen year old student at Patras University, has just discovered that Nikos and Angela are not her true parents; she was adopted when she was six months old from an orphanage in Sao Paulo. The news really shook Philippa. Much of what she used to believe all her life about hersel ..."
Abstract
- Add to MetaCart
(Show Context)
Philippa, a Greek nineteen year old student at Patras University, has just discovered that Nikos and Angela are not her true parents; she was adopted when she was six months old from an orphanage in Sao Paulo. The news really shook Philippa. Much of what she used to believe all her life about herself and her family was wrong. After
Ontology Evolution: A Process Centric Survey
, 2004
"... Ontology evolution aims at maintaining an ontology up to date with respect to changes in the domain that it models or novel requirements of information systems that it enables. The recent industrial adoption of Semantic Web techniques, which rely on ontologies, has led to the increased importance of ..."
Abstract
- Add to MetaCart
(Show Context)
Ontology evolution aims at maintaining an ontology up to date with respect to changes in the domain that it models or novel requirements of information systems that it enables. The recent industrial adoption of Semantic Web techniques, which rely on ontologies, has led to the increased importance of the ontology evolution research. Typical approaches to ontology evolution are designed as multiple-stage processes combining techniques from a variety of elds (e.g., natural language processing and reasoning). However, the few existing surveys on this topic lack an in-depth analysis of the various stages of the ontology evolution process. This survey extends the literature by adopting a process-centric view of ontology evolution. Accordingly, we rst provide an overall process model synthesized from an overview of the existing models in the literature. Then we survey the major approaches to each of the steps in this process and conclude on future challenges for techniques aiming to solve that particular stage.
