]> 2012-02-11T03:31:16-05:00 A Distributed Tableau Algorithm for Package-based Description Logics , 2006 A Distributed Tableau Algorithm for Package-based Description Logics 2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006 2006 Has year Has where published Has url Tableau Algorithm Description Logics Modular Ontology Has topic Has title Has slides Has publishing details Has identifier Vasant Honavar Doina Caragea Jie Bao Has author Workshop Paper