Foreword
This volume contains the papers presented at the 6th International Work- shop on Uncertainty Reasoning for the Semantic Web (URSW 2010), held as a part of the9th International Semantic Web Conference (ISWC 2010) at Shang- hai, China, November 7, 2010. It contains 8 technical papers and 4 position papers, which were selected in a rigorous reviewing process, where each paper was reviewed by at least four program committee members.
The International Semantic Web Conference is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Inter- national Workshop on Uncertainty Reasoning for the Semantic Web is an excit- ing opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle un- certainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and de- velopers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but little history of interac- tion. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision.
Audience: The intended audience for this workshop includes the following:
– researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies;
– Semantic Web developers and researchers;
– people in the knowledge representation community with interest in the Se- mantic Web;
– ontology researchers and ontological engineers;
– Web services researchers and developers with interest in the Semantic Web;
and
– developers of tools designed to support Semantic Web implementation, e.g., Jena, Prot´eg´e, and Prot´eg´e-OWL developers.
Topics: We intended to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide:
– syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty;
– logical formalisms to support uncertainty in Semantic Web languages;
– probability theory as a means of assessing the likelihood that terms in dif- ferent ontologies refer to the same or similar concepts;
– architectures for applying plausible reasoning to the problem of ontology mapping;
– using fuzzy approaches to deal with imprecise concepts within ontologies;
– the concept of a probabilistic ontology and its relevance to the Semantic Web;
– best practices for representing uncertain, incomplete, ambiguous, or contro- versial information in the Semantic Web;
– the role of uncertainty as it relates to Web services;
– interface protocols with support for uncertainty as a means to improve in- teroperability among Web services;
– uncertainty reasoning techniques applied to trust issues in the Semantic Web;
– existing implementations of uncertainty reasoning tools in the context of the Semantic Web;
– issues and techniques for integrating tools for representing and reasoning with uncertainty; and
– the future of uncertainty reasoning for the Semantic Web.
We wish to thank all authors who submitted papers and all workshop par- ticipants for fruitful discussions. We would like to thank the program committee members and external referees for their timely expertise in carefully reviewing the submissions.
November 2010
Fernando Bobillo Rommel Carvalho Paulo C. G. da Costa Claudia d’Amato Nicola Fanizzi Kathryn B. Laskey Kenneth J. Laskey Thomas Lukasiewicz Trevor Martin Matthias Nickles Michael Pool
Workshop Organization
Programme Chairs
Fernando Bobillo (University of Zaragoza, Spain) Rommel Carvalho (George Mason University, USA) Paulo C. G. da Costa (George Mason University, USA) Claudia d’Amato (University of Bari, Italy)
Nicola Fanizzi (University of Bari, Italy)
Kathryn B. Laskey (George Mason University, USA) Kenneth J. Laskey (MITRE Corporation, USA) Thomas Lukasiewicz (University of Oxford, UK) Trevor Martin (University of Bristol, UK) Matthias Nickles (University of Bath, UK) Michael Pool (Vertical Search Works, Inc., USA)
Programme Committee
Fernando Bobillo (University of Zaragoza, Spain) Rommel Carvalho (George Mason University, USA) Paulo C. G. Costa (George Mason University, USA) Fabio Gagliardi Cozman (University of S˜ao Paulo, Brazil) Claudia d’Amato (University of Bari, Italy)
Nicola Fanizzi (University of Bari, Italy) Marcelo Ladeira (University of Brasilia, Brazil) Kathryn Laskey (George Mason University, USA) Kenneth J. Laskey (MITRE Corporation, USA) Thomas Lukasiewicz (University of Oxford, UK) Trevor Martin (University of Bristol, UK) Matthias Nickles (University of Bath, UK) Jeff Z. Pan (University of Aberdeen, UK) Michael Pool (Vertical Search Works, Inc., USA) Livia Predoiu (University of Mannheim, Germany) Guilin Qi (Southeast University, China)
David Robertson (University of Edinburgh, UK) Daniel S´anchez (University of Granada, Spain)
Sergej Sizov (University of Koblenz-Landau, Germany) Giorgos Stoilos (University of Oxford, UK)
Umberto Straccia (ISTI-CNR, Italy)
Andreas Tolk (Old Dominion University, USA) Johanna Voelker (University of Karlsruhe, Germany) Peter Vojt´aˇs (Charles University, Czech Republic)
External Reviewers
Yuan Ren Edward Thomas Xiaowang Zhang
Table of Contents
Technical papers
Description Logics over Multisets . . . 1 Yuncheng Jiang
Transforming Fuzzy Description Logic ALCF L into Classical
Description LogicALCH. . . 13 Yining Wu
PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation
using Probabilistic Methods . . . 25 Saminda Abeyruwan, Ubbo Visser, Vance Lemmon, Stephan Schurer
Efficient approximate SPARQL querying of Web of Linked Data . . . 37 Kuldeep B R Reddy, P Sreenivasa Kumar
Semantic Query Extension through Probabilistic Description Logics . . . 49 Jos´e Eduardo Ochoa-Luna, Kate Revoredo, Fabio Gagliardi Cozman
Finite Fuzzy Description Logics: A Crisp Representation for Finite
FuzzyALCH. . . 61 Fernando Bobillo, Umberto Straccia
PR-OWL 2.0 - Bridging the gap to OWL semantics . . . 73 Rommel Carvalho, Kathryn Laskey, Paulo Costa
Learning Sentences and Assessments in Probabilistic Description Logics. . 85 Jo´e Eduardo Ochoa Luna, Kate Revoredo, Fabio Gagliardi Cozman
Position papers
SWRL-F - A Fuzzy-logic Extension of the Semantic Web Rule Language. 97 Tomasz Wiktor Wlodarczyk, Martin O’Connor, Chunming Rong, Mark Musen
A Tractable Paraconsistent Fuzzy Description Logic. . . 101 Henrique Viana, Thiago Alves, Jo˜ao Alcˆantara, Ana Teresa Martins
Default Logics for Plausible Reasoning with Controversial Axioms. . . 105 Thomas Scharrenbach, Claudia d’Amato, Nicola Fanizzi, Rolf Gr¨utter, Bettina Waldvogel, Abraham Bernstein
Tractability of the Crisp Representations of Tractable Fuzzy Description
Logics . . . 109 Fernando Bobillo, Miguel Delgado