Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Entire DC Network
Reconciling Owl And Rules, David Carral Martinez, Adila A. Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler
Reconciling Owl And Rules, David Carral Martinez, Adila A. Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a first naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.
Semantic Matchmaking Of Web Resources With Local Closed-World Reasoning, Stephan Grimm, Pascal Hitzler
Semantic Matchmaking Of Web Resources With Local Closed-World Reasoning, Stephan Grimm, Pascal Hitzler
Computer Science and Engineering Faculty Publications
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 …