EAN: 9781447141853

SPRINGERBRIEFS IN COMPUTER SCIENCE BELIEF REV...

Since the advent of the Semantic Web  interest in the dynamics of ontologies (ontology
evolution) has grown significantly. Belief revision presents a good theoretical framework for
dealing with this problem  however  classical belief revision is not well suited for logics
such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which
can be applied to a wide class of logics that include - besides most Description Logics such as
the ones behind OWL - Horn Logic and Intuitionistic logic  amongst others. The author also
presents algorithms for the most important constructions in belief bases. Researchers and
practitioners in theoretical computing will find this an invaluable resource.

Aktuelle Preise zur EAN 9781447141853

Produktinformationen zur 9781447141853