Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
Sergio Tessaris and Ian Horrocks
Book Title
Proc. of the 9th Int. Conf. on Logic for Programming‚ Artificial Intelligence and Reasoning (LPAR 2002)
ISBN
3−540−00010−0
Number
2514
Pages
435–449
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
2002