LEADER 03415nam 2200553 a 450 001 9910483073503321 005 20200520144314.0 010 $a3-540-39587-3 024 7 $a10.1007/11853107 035 $a(CKB)1000000000283966 035 $a(SSID)ssj0000319532 035 $a(PQKBManifestationID)11237748 035 $a(PQKBTitleCode)TC0000319532 035 $a(PQKBWorkID)10338863 035 $a(PQKB)11228354 035 $a(DE-He213)978-3-540-39587-4 035 $a(MiAaPQ)EBC3068188 035 $a(PPN)123138051 035 $a(EXLCZ)991000000000283966 100 $a20120307d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples and practice of Semantic Web reasoning $e4th international workshop, PPSWR 2006, Budva, Montenegro, June 2006 : revised selected papers /$fJose Julio Alferes ... [et al.] (eds.) 205 $a1st ed. 2006. 210 $aBerlin $cSpringer$d2006 215 $a1 online resource (XII, 280 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v4187 225 1 $aLNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-39586-5 320 $aIncludes bibliographical references and index. 327 $aSession 1. Invited Talk -- The RuleML Family of Web Rule Languages -- Session 2. Reasoning I -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing of Reasoners -- Session 3. Applications -- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits -- Interaction Protocols and Capabilities: A Preliminary Report -- Semantic Web Reasoning for Analyzing Gene Expression Profiles -- Session 4. Querying -- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt -- AMa ? oS?Abstract Machine for Xcerpt: Architecture and Principles -- Towards More Precise Typing Rules for Xcerpt -- Session 5. Reasoning II -- Extending an OWL Web Node with Reactive Behavior -- Supporting Open and Closed World Reasoning on the Web -- Reasoning with Temporal Constraints in RDF -- Session 6. Reasoning III -- Bidirectional Mapping Between OWL DL and Attempto Controlled English -- XML Querying Using Ontological Information -- Semantic Web Reasoning Using a Blackboard System -- Systems Session -- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt -- Web Queries with Style: Rendering Xcerpt Programs with CSSNG -- Information Gathering in a Dynamic World -- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining -- Fuzzy Time Intervals System Description of the FuTI?Library -- A Prototype of a Descriptive Type System for Xcerpt. 410 0$aLecture notes in computer science ;$v4187. 410 0$aLNCS sublibrary.$nSL 3,$pInformation systems and applications, incl. Internet/Web, and HCI. 517 3 $aPPSWR 2006 606 $aSemantic Web$vCongresses 615 0$aSemantic Web 676 $a005.7 701 $aAlferes$b Jose Julio$0754781 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483073503321 996 $aPrinciples and practice of Semantic Web reasoning$94199497 997 $aUNINA