دانلود کتاب Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

فهرست مطالب :

Front Matter....Pages -
Rule Interchange Format: The Framework....Pages 1-11
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules....Pages 12-12
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules....Pages 13-27
Simulation Subsumption or Déjà vu on the Web....Pages 28-42
Reasoning with a Network of Aligned Ontologies....Pages 43-57
Lexicographical Inference over Inconsistent DL-Based Ontologies....Pages 58-73
A Survey of Revision Approaches in Description Logics....Pages 74-88
Towards Rule-Based Minimization of RDF Graphs under Constraints....Pages 89-103
Ontology Design and Reuse with Conceptual Roles....Pages 104-118
Enhancing a DLP System for Advanced Database Applications....Pages 119-134
A Semantic Web Reasoner for Rules, Equations and Constraints....Pages 135-149
What Is Approximate Reasoning?....Pages 150-164
Approximate OWL-Reasoning with Screech ....Pages 165-180
Ranking Services Using Fuzzy HEX Programs....Pages 181-196
Markup and Component Interoperability for Active Rules....Pages 197-204
On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web....Pages 205-213
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts....Pages 214-221
Paraconsistent Reasoning with Quasi-classical Semantic in $\\mathcal{ALC}$ ....Pages 222-229
Fluent Calculus Based Web Service Composition....Pages 230-231
Vague-SWRL: A Fuzzy Extension of SWRL....Pages 232-233
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing....Pages 234-235
Taming Existence in RDF Querying....Pages 236-237
A Tableau Algorithm for Possibilistic Description Logic $\\mathcal{ALC}$ ....Pages 238-239
Back Matter....Pages -