Non-standard inferences in description logics: from foundations and definitions to algorithms and analysis
Auteur :
Kusters, Ralf
Éditeur :
Kusters, Ralf
ISBN :
9783540423973
Date de publication :
25 juil. 2001
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
375 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume, which is a revised version of the author's PhD thesis, provides a formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis.