author = { Tessaris, Sergio AND Horrocks, Ian },

title = { Logic for Programming, Artificial Intelligence, and Reasoning: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

year = {2002},

url = { http://slubdd.de/katalog?TN_libero_mab2 }