06396nam 22008535 450 99646580510331620200702134440.01-280-30651-397866103065103-540-24572-310.1007/b94439(CKB)1000000000212262(DE-He213)978-3-540-24572-8(SSID)ssj0000227248(PQKBManifestationID)11198782(PQKBTitleCode)TC0000227248(PQKBWorkID)10270315(PQKB)10421826(MiAaPQ)EBC3088729(PPN)155213806(EXLCZ)99100000000021226220100905d2003 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierPrinciples and Practice of Semantic Web Reasoning[electronic resource] International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings /edited by Francois Bry, Nicola Henze, Jan Maluszynski1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (X, 214 p.)Lecture Notes in Computer Science,0302-9743 ;2901Bibliographic Level Mode of Issuance: Monograph3-540-20582-9 Includes bibliographical references at the end of each chapters 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.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).Lecture Notes in Computer Science,0302-9743 ;2901Computer scienceDatabase managementApplication softwareSoftware engineeringMathematical logicInformation storage and retrievalPopular Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/Q23000Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Computer science.Database management.Application software.Software engineering.Mathematical logic.Information storage and retrieval.Popular Computer Science.Database Management.Information Systems Applications (incl. Internet).Software Engineering.Mathematical Logic and Formal Languages.Information Storage and Retrieval.025.04Bry Francoisedthttp://id.loc.gov/vocabulary/relators/edtHenze Nicolaedthttp://id.loc.gov/vocabulary/relators/edtMaluszynski Janedthttp://id.loc.gov/vocabulary/relators/edtPPSWR (Conference)MiAaPQMiAaPQMiAaPQBOOK996465805103316Principles and Practice of Semantic Web Reasoning772418UNISA