{"product_id":"kernel-contraction-in-el-von-zhiwei-liao","title":"Kernel Contraction in EL","description":"\u003cp\u003eBelief 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659462160\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659462160","offer_id":39448408260701,"sku":"9783659462160","price":23.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/285089ec-0106-4e99-8a74-84c0e7e5a29d.jpg?v=1730368216","url":"https:\/\/shop.autorenwelt.de\/products\/kernel-contraction-in-el-von-zhiwei-liao","provider":"Autorenwelt Shop","version":"1.0","type":"link"}