04772nam 22007335 450 99646601310331620200704225622.03-540-39587-310.1007/11853107(CKB)1000000000283966(SSID)ssj0000319532(PQKBManifestationID)11237748(PQKBTitleCode)TC0000319532(PQKBWorkID)10338863(PQKB)11228354(DE-He213)978-3-540-39587-4(MiAaPQ)EBC3068188(PPN)123138051(EXLCZ)99100000000028396620100301d2006 u| 0engurnn|008mamaatxtccrPrinciples and Practice of Semantic Web Reasoning[electronic resource] 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /edited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XII, 280 p.) Information Systems and Applications, incl. Internet/Web, and HCI ;4187Bibliographic Level Mode of Issuance: Monograph3-540-39586-5 Includes bibliographical references and index.Session 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.Information Systems and Applications, incl. Internet/Web, and HCI ;4187Application softwareInformation storage and retrievalArtificial intelligenceMathematical logicSoftware engineeringInformation Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Application software.Information storage and retrieval.Artificial intelligence.Mathematical logic.Software engineering.Information Systems Applications (incl. Internet).Information Storage and Retrieval.Artificial Intelligence.Mathematical Logic and Formal Languages.Software Engineering.005.7Alferes José Júlioedthttp://id.loc.gov/vocabulary/relators/edtBailey Jamesedthttp://id.loc.gov/vocabulary/relators/edtMay Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtSchwertel Utaedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466013103316Principles and Practice of Semantic Web Reasoning772418UNISA