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 Citations (Scopus)

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

Fingerprint

Ontology

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Software

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
Bao, Jie ; Caragea, Dorna ; Honavar, Vasant. / A tableau-based federated reasoning algorithm for modular ontologies. Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. Institute of Electrical and Electronics Engineers Inc., 2006. pp. 404-410 (Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06).
@inproceedings{276b27a9fc93468ca3d06a90d42bb4a8,
title = "A tableau-based federated reasoning algorithm for modular ontologies",
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.",
author = "Jie Bao and Dorna Caragea and Vasant Honavar",
year = "2006",
month = "1",
day = "1",
doi = "10.1109/WI.2006.28",
language = "English (US)",
isbn = "0769527477",
series = "Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "404--410",
booktitle = "Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06",
address = "United States",

}

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., 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., pp. 404-410, 2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06, Hong Kong, China, 12/18/06. https://doi.org/10.1109/WI.2006.28

A tableau-based federated reasoning algorithm for modular ontologies. / Bao, Jie; Caragea, Dorna; Honavar, Vasant.

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. Institute of Electrical and Electronics Engineers Inc., 2006. p. 404-410 4061404 (Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06).

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

TY - GEN

T1 - A tableau-based federated reasoning algorithm for modular ontologies

AU - Bao, Jie

AU - Caragea, Dorna

AU - Honavar, Vasant

PY - 2006/1/1

Y1 - 2006/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=42549169350&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=42549169350&partnerID=8YFLogxK

U2 - 10.1109/WI.2006.28

DO - 10.1109/WI.2006.28

M3 - Conference contribution

AN - SCOPUS:42549169350

SN - 0769527477

SN - 9780769527475

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

SP - 404

EP - 410

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Bao J, Caragea D, Honavar V. 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. Institute of Electrical and Electronics Engineers Inc. 2006. p. 404-410. 4061404. (Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06). https://doi.org/10.1109/WI.2006.28