LEADER 06396nam 22008535 450 001 996465805103316 005 20200702134440.0 010 $a1-280-30651-3 010 $a9786610306510 010 $a3-540-24572-3 024 7 $a10.1007/b94439 035 $a(CKB)1000000000212262 035 $a(DE-He213)978-3-540-24572-8 035 $a(SSID)ssj0000227248 035 $a(PQKBManifestationID)11198782 035 $a(PQKBTitleCode)TC0000227248 035 $a(PQKBWorkID)10270315 035 $a(PQKB)10421826 035 $a(MiAaPQ)EBC3088729 035 $a(PPN)155213806 035 $a(EXLCZ)991000000000212262 100 $a20100905d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples and Practice of Semantic Web Reasoning$b[electronic resource] $eInternational Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings /$fedited by Francois Bry, Nicola Henze, Jan Maluszynski 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 214 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2901 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20582-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aFoundations 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. 330 $aThe 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). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2901 606 $aComputer science 606 $aDatabase management 606 $aApplication software 606 $aSoftware engineering 606 $aMathematical logic 606 $aInformation storage and retrieval 606 $aPopular Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/Q23000 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aComputer science. 615 0$aDatabase management. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aInformation storage and retrieval. 615 14$aPopular Computer Science. 615 24$aDatabase Management. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Storage and Retrieval. 676 $a025.04 702 $aBry$b Francois$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHenze$b Nicola$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaluszynski$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPPSWR (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465805103316 996 $aPrinciples and Practice of Semantic Web Reasoning$9772418 997 $aUNISA