This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research.
This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research.

Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis
254
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis
254Paperback(2001)
Product Details
ISBN-13: | 9783540423973 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 09/06/2001 |
Series: | Lecture Notes in Computer Science , #2100 |
Edition description: | 2001 |
Pages: | 254 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.36(d) |