دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
دانلود کتاب سیستم های استدلال و قوانین وب: ششمین کنفرانس بین المللی، RR 2012، وین، اتریش، 10-12 سپتامبر 2012. مجموعه مقالات
مشخصات کتاب
Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ویرایش: 1 نویسندگان: Gerhard Brewka (auth.), Markus Krötzsch, Umberto Straccia (eds.) سری: Lecture Notes in Computer Science 7497 ISBN (شابک) : 9783642332029, 9783642332036 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 311 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب سیستم های استدلال و قوانین وب: ششمین کنفرانس بین المللی، RR 2012، وین، اتریش، 10-12 سپتامبر 2012. مجموعه مقالات: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، سیستم های اطلاعاتی و خدمات ارتباطی، ذخیره سازی و بازیابی اطلاعات، داده کاوی و کشف دانش، مهندسی نرم افزار، سیستم های اطلاعات چند رسانه ای
در صورت تبدیل فایل کتاب Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های استدلال و قوانین وب: ششمین کنفرانس بین المللی، RR 2012، وین، اتریش، 10-12 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های استدلال و قوانین وب: ششمین کنفرانس بین المللی، RR 2012، وین، اتریش، 10-12 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین‌المللی استدلال و سیستم‌های قوانین وب، RR 2012، برگزار شده در وین، اتریش، در سپتامبر 2012 است. از بین 42 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش‌های موضوعی در مورد ارتباطات فنی، الگوریتم‌ها، جنبه‌های طراحی نشانه‌گذاری قوانین، طراحی زبان‌های هستی‌شناسی، مهندسی موتورها، مترجم‌ها و سایر ابزارها، تلاش‌های استانداردسازی، مانند فعالیت‌های قالب تبادل قوانین در W3C، و برنامه‌های کاربردی سازمان‌دهی شدند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages -
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively....Pages 1-4
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios....Pages 5-8
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices....Pages 9-24
Ontology-Based Governance of Data-Aware Processes....Pages 25-41
Query Patterns for Existential Rules....Pages 42-57
Semantic Independence in DL-Programs....Pages 58-74
An Update on Query Answering with Restricted Forms of Negation....Pages 75-89
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics....Pages 90-105
Meta Programming with Answer Sets for Smart Spaces....Pages 106-121
A Sound and Complete Backward Chaining Algorithm for Existential Rules....Pages 122-138
Deriving Predicate Statistics for Logic Rules....Pages 139-155
Consistent Answers in Probabilistic Datalog+/– Ontologies....Pages 156-171
Query Rewriting under Ontology Contraction....Pages 172-187
Improving the Recall of Live Linked Data Querying through Reasoning....Pages 188-204
Distributed Ontology Based Data Access via Logic Programming....Pages 205-208
Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web....Pages 209-212
A Polynomial Reduction from ASPDA to ASP....Pages 213-216
The Definability Abduction Problem for Data Exchange....Pages 217-220
Rule-Based Context Assessment in Smart Cities....Pages 221-224
Recent Advances in Integrating OWL and Rules (Technical Communication)....Pages 225-228
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data....Pages 229-233
A Tableau Algorithm for Description Logics with Nominal Schema....Pages 234-237
Toward Scalable Reasoning over Annotated RDF Data Using MapReduce....Pages 238-241
On Integrating Description Logics and Rules under Minimal Hypotheses....Pages 242-245
On the (Non-)Succinctness of Uniform Interpolation in General ${\\mathcal{EL}}$ Terminologies....Pages 246-249
On Definability and Redundancy in $\\cal{EL}$ –TBoxes....Pages 250-253
A Mobile Reasoner for Semantic-Based Matchmaking....Pages 254-257
(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem....Pages 258-261
Ontology-Based Data Access Using Views....Pages 262-265
Description Logic Knowledge Base Exchange....Pages 266-271
Research Summary: Datalog-Based Data Access....Pages 272-277
A Quadratic Approach for Trend Detection in Folksonomies....Pages 278-283
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs....Pages 284-290
When Data, Knowledge and Processes Meet Together....Pages 291-296
Back Matter....Pages -
