A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies

@article{Bao2006ATF,
  title={A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies},
  author={Jie Bao and Doina Caragea and Vasant Honavar},
  journal={2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06)},
  year={2006},
  pages={404-410}
}
Many real world applications of ontologies call for reasoning with modular ontologies. We describe a tableau-based reasoning algorithm based on package-based description logics (P-DL), an modular ontology language that extends description logics. Unlike classical approaches that assume a single centralized, consistent ontology, the proposed algorithm adopts a federated approach to reasoning with modular ontologies wherein each ontology module has associated with it, a local reasoner. The local… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
21 Citations
11 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 21 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Local tableaux for reasoning in distributed description logics

  • L. Serafini, A. Tamilin
  • Description Logics Workshop 2004, CEUR-WS Vol 104
  • 2004
3 Excerpts

Similar Papers

Loading similar papers…