408 References
[HKS06] I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible
SROIQ. In P. Doherty, J. Mylopoulos, and C. Welty, editors,
Proceedings of the 10th International Conference on Principles
of Knowledge Representation and Reasoning (KR-06), pages 57–
67. AAAI Press, 2006.
[HPS04] I. Horrocks and P.F. Patel-Schneider. A proposal for an OWL
rules language. In Proceedings of the 13th International World
Wide Web Conference (WWW-04), pages 723–731. ACM, 2004.
[HPS08] M. Horridge, B. Parsia, and U. Sattler. Laconic and precise
justifications in OWL. In A. P. Sheth, S. Staab, M. Dean,
M. Paolucci, D. Maynard, T. W. Finin, and K. Thirunarayan,
editors, International Semantic Web Conference, volume 5318
of Lecture Notes in Computer Scienc