By Ralf Küsters
Description logics (DLs) are used to symbolize based wisdom. Inference providers checking out consistency of information bases and computing subconcept/superconcept hierarchies are the most characteristic of DL structures. in depth study over the past fifteen years has resulted in hugely optimized platforms that let to cause approximately wisdom bases successfully. notwithstanding, functions frequently require extra non-standard inferences to help either the development and the upkeep of information bases, therefore making the inference systems back incomplete.
This booklet, that's a revised model of the author's PhD thesis, constitutes an important step to fill this hole through supplying a very good formal starting place of the main admired non-standard inferences. The descriptions given contain certain definitions, entire algorithms and thorough complexity research. With its stable origin, the booklet additionally serves as a foundation for destiny research.