Opening book details…
Can I read A Proof Theory for Description Logics || on EtoBox?
A Proof Theory for Description Logics || by Alexandre Rademaker (auth.) is a nonfiction available to read on EtoBox.
What is A Proof Theory for Description Logics || about?
-- Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. -- A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes
Who reads A Proof Theory for Description Logics ||?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Alexandre Rademaker (auth.)
- Publisher
- Springer London Ltd
- Published
- 2012
- Language
- EN
- ISBN
- 9781280793066
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Science
More by Alexandre Rademaker (auth.)
Browse all works by Alexandre Rademaker (auth.)
Similar books
- Description Logics in Multimedia Reasoning — Leslie F. Sikos (auth.) (2017)
- NON-STANDARD INFERENCES IN DESCRIPTION LOGICS, LNAI 2100 — Ralf Küsters (2001)
- Semantic Matchmaking with Nonmonotonic Description Logics — Stephan Grimm (2009)
- Description Logics: Reasoning Support for the Semantic Web [PhD Thesis] — Jeff Z. Pan (2004)
- Many Dimensional Modal Logics : Theory and Applications — Dov M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev (2003)
- An Introduction to Description Logic — Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017)