zhiwei liao (7 résultats)

Etat : New.

Taschenbuch. Etat : Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 56 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 56 pp. Englisch.

Etat : New. Print on Demand.

Etat : New. PRINT ON DEMAND.

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Liao ZhiweiFirst 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.Belief contraction in description logics in .

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.