A Distributed Tableau Algorithm for Package-based Description Logics
Representing and Reasoning with Modular Ontologies