A Distributed Tableau Algorithm for Package-based Description Logics

From Tetherless World Wiki

\begin{Bibtex} @inproceedings{DBLP:conf/crr/BaoDH06,

 author = {Jie Bao and Doina Caragea and Vasant Honavar},
 title = {A Distributed Tableau Algorithm for Package-based Description Logics},
 booktitle = {2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006},
 year = {2006},
 type ={Workshop},
 topic ={Modular Ontology, Description Logics, Tableau Algorithm},
 url = {http://www.cs.rpi.edu/~baojie/pub/2006-03-23_crr.1.2.1.pdf},
 slides = {http://www.cs.rpi.edu/~baojie/pub/2006-08-17_crr.ppt}

} \end{Bibtex}