Cantitate/Preț
Produs

Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings: Lecture Notes in Computer Science, cartea 7497

Editat de Markus Kroetzsch, Umberto Straccia
en Limba Engleză Paperback – 7 aug 2012
This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The papers were organized in topical sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other tools, standardization efforts, such as the Rules Interchange Format activity at W3C, and applications.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33340 lei

Preț vechi: 41675 lei
-20% Nou

Puncte Express: 500

Preț estimativ în valută:
6379 6661$ 5280£

Carte tipărită la comandă

Livrare economică 04-18 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642332029
ISBN-10: 3642332021
Pagini: 316
Ilustrații: XV, 298 p. 32 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2012
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Information Systems and Applications, incl. Internet/Web, and HCI

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Invited Talks.-Multi-context Systems: Specifying the Interaction of Knowledge Bases
Declaratively.-Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval
Scenarios .-Research Papers.-A Tableau Algorithm for Fuzzy Description Logics over Residuated De
Morgan Lattices.-Ontology-Based Governance of Data-Aware Processes.-Query Patterns for Existential Rules.-Semantic Independence in DL-Programs.-An Update on Query Answering with Restricted Forms of Negation.-Towards a Unifying Approach to Representing and Querying Temporal
Data in Description Logics.-Meta Programming with Answer Sets for Smart Spaces.-A Sound and Complete Backward Chaining Algorithm for Existential Rules.-Deriving Predicate Statistics for Logic Rules..-Consistent Answers in Probabilistic Datalog+/- Ontologies.-Improving the Recall of Live Linked Data Querying through Reasoning .-Technical Communications Distributed Ontology Based Data Access via Logic Programming.-Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web ..A Polynomial Reduction from ASPDA to ASP.-The Definability Abduction Problem for Data Exchange (Abstract).-Rule-Based Context Assessment in Smart Cities.-Recent Advances in Integrating OWL and Rules (Technical Communication).-Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data ..-A Tableau Algorithm for Description Logics with Nominal Schema.-Toward Scalable Reasoning over Annotated RDF Data Using
MapReduce.-On Integrating Description Logics and Rules under Minimal Hypotheses.-On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies.-On Definability and Redundancy in EL–TBoxes.-A Mobile Reasoner for Semantic-Based Matchmaking .-(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem.-Ontology-Based Data Access Using Views.-Doctoral Consortium Research Summaries.-Description Logic Knowledge Base Exchange.-Research Summary: Datalog-Based Data Access .-A Quadratic Approach for Trend Detection in Folksonomies .- Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.-When Data, Knowledge and Processes Meet Together.-

Textul de pe ultima copertă

This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012.
The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions.
The papers were organized in topical sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other tools, standardization efforts, such as the Rules Interchange Format activity at W3C, and applications.

Caracteristici

Fast-track conference proceedings State-of-the-art research Up-to-date results