A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.

Boris Motik, Ulrike Sattler

Browse the full LPAR paper archive.