Principles and practice of Semantic Web reasoning :International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings
- 其他作者: Bry, François, , Henze, Nicola, , Małuszyński, J.
- 出版: Berlin ;New York : Springer ©2003.
- 稽核項: 1 online resource (x, 207 pages) :illustrations.
- 叢書名: Lecture notes in computer science,2901
- 標題: Conference papers and proceedings. , COMPUTERS Online Services. , COMPUTERS , Web sémantique Congrès. , Online Services. , Semantic Web , COMPUTERS System Administration -- Storage & Retrieval. , Semantic Web Congresses. , Electronic books. , Semantic Web. , System AdministrationStorage & Retrieval. , Web sémantique
- ISBN: 3540245723 , 9783540245728
- ISBN: 3540205829 , 9783540205821 , 0302-9743 ;
- 試查全文@TNUA:
- 附註: Includes bibliographical references and index. Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation -- Reasoning in Practice -- Towards the Adaptive Semantic Web -- On Reasoning on Time and Location on the Web -- Reasoning about Communicating Agents in the Semantic Web -- Query and Rule-Languages -- A Visual Language for Web Querying and Reasoning -- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages -- On Types for XML Query Language Xcerpt -- Integrating Description Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical Semantics from Documents -- Reasoning in Attempto Controlled English -- Systematics and Architecture for a Resource Representing Knowledge about Named Entities.
- 摘要: This book constitutes the refereed proceedings of the International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2003, held in Mumbai, India in December 2003 as satellite meeting of ICLP 2003. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on foundations of semantic Web reasoning, reasoning in practice, query- and rule-languages, and semantics and knowledge representation.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=127782
- 系統號: 005315025
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
The Semantic Web is a major endeavor aimed at enriching the existing Web withmetadataandprocessingmethodssoastoprovideWeb-basedsystemswith advanced(so-calledintelligent)capabilities, inparticularwithcontext-awareness and decision support. The advanced capabilities striven for in most Semantic Web application s- narios primarily call for reasoning. Reasoning capabilities are o?ered by exi- ing Semantic Web languages, such as BPEL4WS, BPML, ConsVISor, DAML-S, JTP, TRIPLE, and others. These languages, however, were developed mostly from functionality-centered (e.g., ontology reasoning or access validation) or application-centered (e.g., Web service retrieval and composition) perspectives. A perspective centered on the reasoning techniques (e.g., forward or backward chaining, tableau-like methods, constraint reasoning, etc.) complementing the above-mentioned activities appears desirable for Semantic Web systems and - plications. The workshop on "Principles and Practice of Semantic Web Reas- ing," which took place on December 8, 2003, in Mumbai, India, was the?rst of a series of scienti?c meetings devoted to such a perspective. JustasthecurrentWebisinherentlyheterogeneousindataformatsanddata semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. Indeed, anysingleformof reasoningturnsouttobeirrealin theSemantic Web. For example, ontology reasoning in general relies on monotonic negation (for the metadata often can be fully speci?ed), while databases, Web databases, and Web-based information systems call for non-monotonic reasoning (for one would not specify non-existing trains in a railway timetable); constraint reas- ing is needed when dealing with time (for time intervals have to be dealt with), while(forwardand/orbackward)chainingisthereasoningofchoicewhencoping with database-like views (for views, i.e., virtual data, can be derived from actual data using operations such as join and projections)
來源: Google Book
來源: Google Book
評分
