6533b86dfe1ef96bd12c9369

RESEARCH PRODUCT

Combining OWL Ontologies Using -Connections

subject

description

The standardization of the Web Ontology Language, OWL, leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web. In this paper, we present a solution for these fundamental problems based on ℇ-Connections. We aim to use ℇ-Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the owl:imports construct. With such motivation, we present in this paper a syntactic and semantic extension of the Web Ontology language that covers ℇ-Connections of OWL-DL ontologies. We show how to use such an extension as an alternative to the owl:imports construct in many modeling situations. We investigate different combinations of the logics 𝒮𝐻𝐼𝒩(𝒟), 𝒮𝐻𝒪𝒩(𝒟) and 𝒮𝐻𝐼𝒪(𝒟) for which it is possible to design and implement reasoning algorithms, well-suited for optimization. Finally, we provide support for ℇ-Connections in both an ontology editor, SWOOP, and an OWL reasoner, Pellet.