home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

kroetzsch markus (curatore); straccia umberto (curatore) - web reasoning and rule systems

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 08/2012
Edizione: 2012





Trama

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.




Sommario

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











Altre Informazioni

ISBN:

9783642332029

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 486 gr
Formato: Brossura
Illustration Notes:XV, 298 p. 32 illus.
Pagine Arabe: 298
Pagine Romane: xv


Dicono di noi