archives

Package-based Description Logics


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Bao, Jie, Voutsadakis, George , Slutzki, Giora and Honavar, Vasant (2008) Package-based Description Logics. Artificial Intelligence.

Full text available as:Adobe PDF

This is the latest version of this eprint.

Abstract

We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of multiple ontology modules (each of which can be viewed as a SHOIQ ontology) and concept, role and nominal names can be shared by "importing'' relations among modules. SHOIQP supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient constraints on domain relations (i.e., the relations between individuals in different local domains) to preserve the satisfiability of concept formulae, monotonicity of inference, and transitive reuse of knowledge.

Subjects:Computing Methodologies: ARTIFICIAL INTELLIGENCE: Knowledge Representation Formalisms and Methods (F.4.1)
ID code:00000567
Deposited by:Jie Bao on 10 April 2008

Available Versions of This Paper



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