000 04145nam a22006135i 4500
001 978-3-540-39587-4
003 DE-He213
005 20240730201845.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540395874
_9978-3-540-39587-4
024 7 _a10.1007/11853107
_2doi
050 4 _aQA76.76.A65
072 7 _aUB
_2bicssc
072 7 _aCOM005000
_2bisacsh
072 7 _aUX
_2thema
082 0 4 _a005.3
_223
245 1 0 _aPrinciples and Practice of Semantic Web Reasoning
_h[electronic resource] :
_b4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /
_cedited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXII, 280 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4187
505 0 _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.
650 0 _aApplication software.
_9169028
650 0 _aInformation storage and retrieval systems.
_922213
650 0 _aArtificial intelligence.
_93407
650 0 _aMachine theory.
_9169029
650 0 _aSoftware engineering.
_94138
650 1 4 _aComputer and Information Systems Applications.
_9169030
650 2 4 _aInformation Storage and Retrieval.
_923927
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aFormal Languages and Automata Theory.
_9169031
650 2 4 _aSoftware Engineering.
_94138
700 1 _aAlferes, José Júlio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169032
700 1 _aBailey, James.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169033
700 1 _aMay, Wolfgang.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169034
700 1 _aSchwertel, Uta.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9169035
710 2 _aSpringerLink (Online service)
_9169036
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540395867
776 0 8 _iPrinted edition:
_z9783540828839
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4187
_9169037
856 4 0 _uhttps://doi.org/10.1007/11853107
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96748
_d96748