A Tableau-based Federated Reasoning Algorithm for Modular Ontologies







Deposit Papers 


Bao, Jie, Caragea, Doina and Honavar, Vasant (2006) A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. Technical Report, Computer Science, Iowa State University.

Full text available as:Adobe PDF

There is a later version of this eprint available: Click here to view it.


Many real world applications of ontologies call for reasoning with modular ontologies. Classical approaches to reasoning with ontology assume a single centralized, consistent ontology. However, in the case of multiple, autonomously developed ontology modules, it is usually neither possible nor desirable to integrate all involved modules into a single centralized ontology. In this paper, we propose a tableau-based reasoning algorithm based on Package-based Description Logics (P-DL), an ontology language that extends description logics with language features to support modularity. The 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.

Subjects:Computing Methodologies: ARTIFICIAL INTELLIGENCE: Deduction and Theorem Proving (F.4.1)
ID code:00000467
Deposited by:Jie Bao on 28 September 2006

Available Versions of This Paper

Contact site administrator at: