This book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria in June 2007 as a merger of the three previously separate events: International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), and the International Workshop on Reasoning on the Web (RoW).
The 14 revised full papers, 15 revised short papers presented together with 7 poster papers were carefully reviewed and selected from over 60 submissions. The papers address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, implemented tools and systems, standardization, ontology usability, ontology languages and their relationships, rules and ontologies, reasoning with uncertainty, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications.
Author(s): Włodzimierz Drabent, Jan Małuszyński (auth.), Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.)
Series: Lecture Notes in Computer Science 4524 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 382
Tags: Information Systems Applications (incl.Internet); Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Multimedia Information Systems; Software Engineering
Front Matter....Pages -
Well-Founded Semantics for Hybrid Rules....Pages 1-15
Rule-Based Composite Event Queries: The Language XChange EQ and Its Semantics....Pages 16-30
On the Semantics of Service Compositions....Pages 31-42
Expressive Reasoning with Horn Rules and Fuzzy Description Logics....Pages 43-57
Quantified Equilibrium Logic and Hybrid Rules....Pages 58-72
Web Services Discovery and Constraints Composition....Pages 73-87
Ontological Reasoning to Configure Emotional Voice Synthesis....Pages 88-102
A Semantic Framework for Language Layering in WSML....Pages 103-117
Merging Model Driven Architecture and Semantic Web for Business Rules Generation....Pages 118-132
A Framework for Combining Rules and Geo-ontologies....Pages 133-147
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer....Pages 148-162
$\mathcal{ALC}^{u}_{\mathbb{P}}$ : An Integration of Description Logic and General Rules....Pages 163-177
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems....Pages 178-193
Consistent Query Answering over Description Logic Ontologies....Pages 194-208
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results....Pages 209-218
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images....Pages 219-228
A Framework for Ontology Based Rule Acquisition from Web Documents....Pages 229-238
A Fast Algebraic Web Verification Service....Pages 239-248
Proof Explanation in the DR-DEVICE System....Pages 249-258
Rule-Based Active Domain Brokering for the Semantic Web....Pages 259-268
Decidability Under the Well-Founded Semantics....Pages 269-278
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services....Pages 279-288
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web....Pages 289-298
AceRules: Executing Rules in Controlled Natural Language....Pages 299-308
Bridging Concrete and Abstract Syntax of Web Rule Languages....Pages 309-318
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints....Pages 319-328
Attaining Higher Quality for Density Based Algorithms....Pages 329-338
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image....Pages 339-347
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics....Pages 348-357
Extending SWRL to Enhance Mathematical Support....Pages 358-360
Efficiently Querying Relational Databases Using OWL and SWRL....Pages 361-363
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs....Pages 364-366
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data....Pages 367-369
Efficient OWL Reasoning with Logic Programs – Evaluations....Pages 370-373
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies....Pages 374-376
Context in Rules Used in P2P Semantic Data Integration System....Pages 377-380
Back Matter....Pages -
