Web Reasoning and Rule Systems

Invited Papers.- Rule Interchange Format: The Framework.- Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.- Full Papers.- On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.- Simulation Subsumption or Déjà vu on the Web.- Reasoning with a Network of Aligned Ontologies.- Lexicographical Inference over Inconsistent DL-Based Ontologies.- A Survey of Revision Approaches in Description Logics.- Towards Rule-Based Minimization of RDF Graphs under Constraints.- Ontology Design and Reuse with Conceptual Roles.- Enhancing a DLP System for Advanced Database Applications.- A Semantic Web Reasoner for Rules, Equations and Constraints.- What Is Approximate Reasoning?.- Approximate OWL-Reasoning with Screech.- Ranking Services Using Fuzzy HEX Programs.- Short Papers.- Markup and Component Interoperability for Active Rules.- On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web.- A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts.- Paraconsistent Reasoning with Quasi-classical Semantic in .- Posters.- Fluent Calculus Based Web Service Composition.- Vague-SWRL: A Fuzzy Extension of SWRL.- Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing.- Taming Existence in RDF Querying.- A Tableau Algorithm for Possibilistic Description Logic .