A tableau-based federated reasoning algorithm for modular ontologies

Jie Bao, Dorna Caragea, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations

Abstract

Many real world applications of ontologies call for reasoning with modular ontologies. We describe a tableaubased 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 reasoners communicate with each other as needed in an asynchronous fashion. Hence, the proposed approach offers an attractive approach to reasoning with multiple, autonomously developed ontology modules, in settings where it is neither possible nor desirable to integrate all involved modules into a single centralized ontology.

Original languageEnglish (US)
Title of host publicationProceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages404-410
Number of pages7
ISBN (Print)0769527477, 9780769527475
DOIs
StatePublished - Jan 1 2006
Event2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06 - Hong Kong, China
Duration: Dec 18 2006Dec 22 2006

Publication series

NameProceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Other

Other2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06
CountryChina
CityHong Kong
Period12/18/0612/22/06

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Software

Fingerprint Dive into the research topics of 'A tableau-based federated reasoning algorithm for modular ontologies'. Together they form a unique fingerprint.

  • Cite this

    Bao, J., Caragea, D., & Honavar, V. (2006). A tableau-based federated reasoning algorithm for modular ontologies. In Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06 (pp. 404-410). [4061404] (Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/WI.2006.28