@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 = jan,
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",
note = "2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06 ; Conference date: 18-12-2006 Through 22-12-2006",
}