| book details |

Semantic Matchmaking with Nonmonotonic Description Logics

Edited by Stephan Grimm

| enquire |

| book description |

Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the world wide web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monotonic extensions to description logics (DLs) are investigated, namely auto-epistemic DLs, circumscriptive DLs and terminological default rules, all of which extend standard DL inference mechanisms by forms of closed-world and default reasoning associated to common-sense features. A matchmaking framework is established for semantic resource descriptions formulated in the DL formalism that uses various DL inferences to judge resource compatibility. Special emphasis lies on mapping the technical formalities of model-theoretic semantics of DLs to more intuitive notions that abstract from the details of logic for the framework's easier adoption in applications. The particular contributions of ""Semantic Matchmaking with Nonmonotonic Description Logics"" span the fields of nonmonotonic reasoning with description logics in artificial intelligence, matchmaking of ontology-based descriptions and semantic web service discovery. A novel tableaux calculus for reasoning in circumscriptive DLs is introduced and it is demonstrated how the various nonmonotonic extensions to description logics can be used to realize commonsense features and local closed-world reasoning in a semantic web setting in general.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |

The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

| more |

| add to trolley |