Web Reasoning and Rule Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Well-Founded Semantics for Hybrid Rules
3. Altmetric Badge
   Chapter 2 Rule-Based Composite Event Queries: The Language XChange EQ and Its Semantics
4. Altmetric Badge
   Chapter 3 On the Semantics of Service Compositions
5. Altmetric Badge
   Chapter 4 Expressive Reasoning with Horn Rules and Fuzzy Description Logics
6. Altmetric Badge
   Chapter 5 Quantified Equilibrium Logic and Hybrid Rules
7. Altmetric Badge
   Chapter 6 Web Services Discovery and Constraints Composition
8. Altmetric Badge
   Chapter 7 Ontological Reasoning to Configure Emotional Voice Synthesis
9. Altmetric Badge
   Chapter 8 A Semantic Framework for Language Layering in WSML
10. Altmetric Badge
    Chapter 9 Merging Model Driven Architecture and Semantic Web for Business Rules Generation
11. Altmetric Badge
    Chapter 10 A Framework for Combining Rules and Geo-ontologies
12. Altmetric Badge
    Chapter 11 Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer
13. Altmetric Badge
    Chapter 12 $\mathcal{ALC}^{u}_{\mathbb{P}}$ : An Integration of Description Logic and General Rules
14. Altmetric Badge
    Chapter 13 Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
15. Altmetric Badge
    Chapter 14 Consistent Query Answering over Description Logic Ontologies
16. Altmetric Badge
    Chapter 15 A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results
17. Altmetric Badge
    Chapter 16 Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images
18. Altmetric Badge
    Chapter 17 A Framework for Ontology Based Rule Acquisition from Web Documents
19. Altmetric Badge
    Chapter 18 A Fast Algebraic Web Verification Service
20. Altmetric Badge
    Chapter 19 Proof Explanation in the DR-DEVICE System
21. Altmetric Badge
    Chapter 20 Rule-Based Active Domain Brokering for the Semantic Web
22. Altmetric Badge
    Chapter 21 Decidability Under the Well-Founded Semantics
23. Altmetric Badge
    Chapter 22 A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
24. Altmetric Badge
    Chapter 23 Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
25. Altmetric Badge
    Chapter 24 AceRules: Executing Rules in Controlled Natural Language
26. Altmetric Badge
    Chapter 25 Bridging Concrete and Abstract Syntax of Web Rule Languages
27. Altmetric Badge
    Chapter 26 Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints
28. Altmetric Badge
    Chapter 27 Attaining Higher Quality for Density Based Algorithms
29. Altmetric Badge
    Chapter 28 Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image
30. Altmetric Badge
    Chapter 29 Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics
31. Altmetric Badge
    Chapter 30 Extending SWRL to Enhance Mathematical Support
32. Altmetric Badge
    Chapter 31 Efficiently Querying Relational Databases Using OWL and SWRL
33. Altmetric Badge
    Chapter 32 Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs
34. Altmetric Badge
    Chapter 33 A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data
35. Altmetric Badge
    Chapter 34 Efficient OWL Reasoning with Logic Programs – Evaluations
36. Altmetric Badge
    Chapter 35 Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies
37. Altmetric Badge
    Chapter 36 Context in Rules Used in P2P Semantic Data Integration System