Boris Motik, Rob Shearer, Ian Horrocks
Optimized Reasoning in Description Logics Using Hypertableaux
CADE, 2007.
@inproceedings{CADE-2007-MotikSH, author = "Boris Motik and Rob Shearer and Ian Horrocks", booktitle = "{Proceedings of the 21st International Conference on Automated Deduction}", doi = "10.1007/978-3-540-73595-3_6", isbn = "978-3-540-73594-6", pages = "67--83", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Optimized Reasoning in Description Logics Using Hypertableaux}", volume = 4603, year = 2007, }