Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Physical Sciences and Mathematics
Cognitive Approaches For The Semantic Web, Dedre Gentner, Frank Van Harmelen, Pascal Hitzler, Krzysztof Janowicz, Kai-Uwe Kuhnberger
Cognitive Approaches For The Semantic Web, Dedre Gentner, Frank Van Harmelen, Pascal Hitzler, Krzysztof Janowicz, Kai-Uwe Kuhnberger
Computer Science and Engineering Faculty Publications
A major focus in the design of Semantic Web ontology languages used to be on finding a suitable balance between the expressivity of the language and the tractability of reasoning services defined over this language. This focus mirrors the original vision of a Web composed of machine readable and understandable data. Similarly to the classical Web a few years ago, the attention is recently shifting towards a user-centric vision of the Semantic Web. Essentially, the information stored on the Web is from and for humans. This new focus is not only reflected in the fast growing Linked Data Web but …
Local Closed-World Reasoning With Description Logics Under The Well-Founded Semantics, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Local Closed-World Reasoning With Description Logics Under The Well-Founded Semantics, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Computer Science and Engineering Faculty Publications
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based …
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 …
The Semantic Web In One Day, York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
The Semantic Web In One Day, York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
Computer Science and Engineering Faculty Publications
To gain momentum, technologies for building private semantic Webs or parts of the World Wide semantic Web must become a commodity and easy to integrate. To determine just how far semantic Web technologies have come, we wanted to create a snapshot of what you could do by applying and assembling existing semantic Web technologies - in one day.