@Inproceedings{rudolph2010worfthfooa, author = "Sebastian Rudolph and Magdalena Ortiz and Mantas Simkus", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)", editor = "Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski", month = "Mai", pages = "269-279", publisher = "AAAI Press", title = "Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2", year = "2010", }