A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/webi/BaoCH06,
author = {Jie Bao and
Doina Caragea and
Vasant Honavar},
title = {A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies},
booktitle = {Web Intelligence},
year = {2006},
pages = {404-410},
ee = {http://doi.ieeecomputersociety.org/10.1109/WI.2006.28},
crossref = {DBLP:conf/webi/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
type = {Conference},
url = {http://www.cs.rpi.edu/~baojie/pub/2006-07-01_wi2006_1.2.1.pdf},
slides = {http://www.cs.rpi.edu/~baojie/pub/2006-11-29_wi.ppt.pdf},
tr = {http://archives.cs.iastate.edu/documents/disk0/00/00/04/70/index.html},
topic = {Modular Ontology}
} \end{bibtex}
