archives

A Tableau-based Federated Reasoning Algorithm for Modular Ontologies


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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

This is the latest version of this eprint.

Abstract

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:00000470
Deposited by:Jie Bao on 29 September 2006

Available Versions of This Paper



Contact site administrator at: ssg@cs.iastate.edu