Web Reasoning and Rule Systems

Web Services Discovery and Constraints Composition

Pages 73-87

Biswas, Debmalya

Ontological Reasoning to Configure Emotional Voice Synthesis

Pages 88-102

Francisco, Virginia (et al.)

A Semantic Framework for Language Layering in WSML

Pages 103-117

Bruijn, Jos (et al.)

Merging Model Driven Architecture and Semantic Web for Business Rules Generation

Pages 118-132

Diouf, Mouhamed (et al.)

A Framework for Combining Rules and Geo-ontologies

Pages 133-147

Smart, Philip D. (et al.)

Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer

Pages 148-162

Bai, Xi (et al.)

$\mathcal{ALC}^{u}_{\mathbb{P}}$: An Integration of Description Logic and General Rules

Pages 163-177

Mei, Jing (et al.)

Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

Pages 178-193

Wang, Yimin (et al.)

Consistent Query Answering over Description Logic Ontologies

Pages 194-208

Lembo, Domenico (et al.)

A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results

Pages 209-218

Stoermer, Heiko (et al.)

Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images

Pages 219-228

Mechouche, Ammar (et al.)

A Framework for Ontology Based Rule Acquisition from Web Documents

Pages 229-238

Park, Sangun (et al.)

A Fast Algebraic Web Verification Service

Pages 239-248

Alpuente, María (et al.)

Proof Explanation in the DR-DEVICE System

Pages 249-258

Bassiliades, Nick (et al.)

Rule-Based Active Domain Brokering for the Semantic Web

Pages 259-268

Behrends, Erik (et al.)

Decidability Under the Well-Founded Semantics

Pages 269-278

Cherchago, Natalia (et al.)

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

Pages 279-288

Alberti, Marco (et al.)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web

Pages 289-298

Lukasiewicz, Thomas (et al.)

AceRules: Executing Rules in Controlled Natural Language

Pages 299-308

Kuhn, Tobias

Bridging Concrete and Abstract Syntax of Web Rule Languages

Pages 309-318

Milanović, Milan (et al.)

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints

Pages 319-328

Berger, Sacha (et al.)

Attaining Higher Quality for Density Based Algorithms

Pages 329-338

Chehreghani, Morteza Haghir (et al.)

Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image

Pages 339-347

Kim, Hyung Moo (et al.)

Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics

Pages 348-357

Drabent, Włodzimierz (et al.)

Extending SWRL to Enhance Mathematical Support

Pages 358-360

Sánchez-Macián, Alfonso (et al.)

Efficiently Querying Relational Databases Using OWL and SWRL

Pages 361-363

O’Connor, Martin (et al.)

Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs

Pages 364-366

Chortaras, Alexandros (et al.)

A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data

Pages 367-369

Kontopoulos, Efstratios (et al.)

Efficient OWL Reasoning with Logic Programs – Evaluations

Pages 370-373

Rudolph, Sebastian (et al.)

Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies

Pages 374-376

Pankowski, Tadeusz (et al.)

Context in Rules Used in P2P Semantic Data Integration System

Pages 377-380

Brzykcy, Grażyna (et al.)