Kernel Contraction in EL - Softcover

Liao, Zhiwei

 
9783659462160: Kernel Contraction in EL

Inhaltsangabe

Belief contraction in description logics in a syntax-independent manner is an important and nontrivial problem for ontology management and DL communities. One approach for belief contractions is to take all minimal sets that imply a formula to be contracted and delete one formula from each est, which is also called kernel contraction. In this book I make an investigation of kernel contraction in the description logics EL. I demonstrate that kernel contraction in EL is rational by proving some of its properties. Different ways to generating kernel contractions are presented. I also introduce some novel approaches such as localization and specificity to decide the preference between different certain kernel contractions by exploiting the structure of an EL knowledge base and I give algorithms for computing them.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

First prize in 2006 China High School Mathematical Olympic.B.S. in Mathematics, Peking University.M.Sc. in Computer Science, Simon Fraser University.Co-Founder of Tubegether.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.