Automated Reasoning via Multi-Sorted Fragment of Computable Set Theory

Automated Reasoning via Multi-Sorted Fragment of Computable Set Theory

With Applications to Semantic Web

Versandkostenfrei!
Versandfertig in 6-10 Tagen
52,99 €
inkl. MwSt.
PAYBACK Punkte
26 °P sammeln!
Computable Set Theory is a research field rich of interesting theoretical results, in particular for multi-sorted and multi-level syllogistic fragments, useful to provide novels powerful knowledge representation and reasoning frameworks for the Semantic Web. This book, which presents the author's doctoral dissertation, shows the application of a syllogistic fragment of computable set theory called 4LQSR for representing and reasoning on expressive decidable Description Logics (DLs) used to represent ontological knowledge via Semantic Web technologies. 4LQSR permits to represent expressive DLs ...