Aspects of Distributed and Modular Ontology Reasoning
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 570-574.
Abstract
We investigate a formalism for reasoning with multiple local ontologies, connected by directional semantic mappings. We propose: (1) a relatively small change of semantics which localizes inconsistency (thereby making unnecessary global satisfiability checks), and preserves directionality of “knowledge import”; (2) a characterization of inferences using a fixed-point operator, which can form the basis of a cache-based implementation for local reasoners; (3) a truly distributed tableaux algorithm for cases when the local reasoners use subsets of SHIQ. Throughout, we indicate the applicability of the results to several recent proposals for knowledge representation and reasoning that support modularity, scalability and distributed reasoning.
@inproceedings{ijcai2005p87,
title = {Aspects of Distributed and Modular Ontology Reasoning},
author = {Serafini, Luciano and Borgida, Alexander and Tamilin, Andrei},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {570--574},
year = {2005},
url = {https://ijcai.org/proceedings/2005/87},
}
TY - CPAPER TI - Aspects of Distributed and Modular Ontology Reasoning AU - Serafini, Luciano AU - Borgida, Alexander AU - Tamilin, Andrei T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 570 EP - 574 UR - https://ijcai.org/proceedings/2005/87 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
