Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

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 -