Incremental Reasoning in OWL EL without Bookkeeping

Yevgeny Kazakov, Pavel Klinov. Incremental Reasoning in OWL EL without Bookkeeping. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul T. Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha F. Noy, Chris Welty, Krzysztof Janowicz, editors, The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Volume 8218 of Lecture Notes in Computer Science, pages 232-247, Springer, 2013. [doi]

Abstract

Abstract is missing.