论文信息 - First steps in EL contraction

First steps in EL contraction

In this work we make a preliminary investigation of belief contraction in the EL family of description logics. Based on previous work on propositional Horn logic contraction, here we state the main definitions for contraction in a description logic extending it, and point out the main issues involved when addressing belief set contraction in EL.

Richard Booth | Thomas Meyer | Ivan Varzinczak

[1] Franz Baader,et al. How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[2] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[3] James P. Delgrande,et al. Horn Clause Belief Change: Contraction Functions , 2008, KR.

[4] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[5] Richard Booth,et al. Next Steps in Propositional Horn Contraction , 2009, IJCAI.

[6] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[7] Viorica Sofronie-Stokkermans. Interpolation in Local Theory Extensions , 2006, IJCAR.

[8] Sven Ove Hansson,et al. A Textbook Of Belief Dynamics , 1999 .

[9] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[10] Kent A. Spackman,et al. SNOMED RT: a reference terminology for health care , 1997, AMIA.