Document Type

Article

Publication Date

Winter 1-1-2007

Abstract

Ontology languages like OWL allow for semantically rich annotation of resources (e.g., products advertised at on-line electronic marketplaces). The description logic (DL) formalism underlying OWL provides reasoning techniques that perform match-making on such annotations. This paper identifies peculiarities in the use of DL inferences for matchmaking that derive from OWL's open-world semantics, analyzes local closed-world reasoning for its applicability to matchmaking, and investigates the suitability of two nonmonotonic extensions to DL, autoepistemic DLs and DLs with circumscription, for local closed-world reasoning in the matchmaking context. An elaborate example of an electronic marketplace for PC product catalogs from the e-commerce domain demonstrates how these formalisms can be used to realize such scenarios.

Comments

Available for download is the unpublished, authors' version of the article. The final, published version is available at http://dx.doi.org/10.2753/JEC1086-4415120204.

DOI

10.2753/JEC1086-4415120204


Share

COinS