Consequence-Based Reasoning beyond Horn Ontologies

Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks. Consequence-Based Reasoning beyond Horn Ontologies. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 1093-1098, IJCAI/AAAI, 2011. [doi]

Authors

Frantisek Simancik

This author has not been identified. Look up 'Frantisek Simancik' in Google

Yevgeny Kazakov

This author has not been identified. Look up 'Yevgeny Kazakov' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google