H. Pérez-Urbina, I. Horrocks, and B. Motik. International Semantic Web Conference, volume 5823 of Lecture Notes in Computer Science, page 489-504. Springer, (2009)
D. Tsarkov, and I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, page 292--297. Springer, (2006)
D. Tsarkov, and I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, page 292--297. Springer, (2006)
D. Tsarkov, and I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, page 292--297. Springer, (2006)
I. Horrocks, L. Padgham, and L. Thomson. Australian Joint Conference on Artificial Intelligence, volume 1747 of Lecture Notes in Computer Science, page 328-339. Springer, (1999)