Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Calvanese, Diego (Επιμελητής έκδοσης), Lausen, Georg (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5341
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computers.; Information storage and retrieval.; Computer engineering.; Computer Science.; Computer Communication Networks.; Computer Engineering.; Software Engineering/Programming and Operating Systems.; Information Systems Applications (incl. Internet).; Information Systems and Communication Service.; Information Storage and Retrieval.

This book constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008. The 12 revised full papers, 4 revised short papers presented together with 5 poster papers were carefully reviewed an...

Πίνακας περιεχομένων:

• 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 .