LEADER 04772nam  22007335  450 
001 996466013103316
005 20200704225622.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   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples and Practice of Semantic Web Reasoning$b[electronic resource] $e4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /$fedited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (XII, 280 p.) 
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v4187
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$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v4187
606   $aApplication software
606   $aInformation storage and retrieval
606   $aArtificial intelligence
606   $aMathematical logic
606   $aSoftware engineering
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aApplication software.
615  0$aInformation storage and retrieval.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aSoftware engineering.
615 14$aInformation Systems Applications (incl. Internet).
615 24$aInformation Storage and Retrieval.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aSoftware Engineering.
676   $a005.7
702   $aAlferes$b José Júlio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBailey$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMay$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchwertel$b Uta$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466013103316
996   $aPrinciples and Practice of Semantic Web Reasoning$9772418
997   $aUNISA