LEADER 03672nam  22007575  450 
001 9910483203903321
005 20251226203404.0
024 7 $a10.1007/11552222
035   $a(CKB)1000000000213237
035   $a(SSID)ssj0000319531
035   $a(PQKBManifestationID)11222540
035   $a(PQKBTitleCode)TC0000319531
035   $a(PQKBWorkID)10338084
035   $a(PQKB)11324562
035   $a(DE-He213)978-3-540-32028-9
035   $a(MiAaPQ)EBC3067558
035   $a(PPN)123097347
035   $a(EXLCZ)991000000000213237
100   $a20100316d2005      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples and Practice of Semantic Web Reasoning $eThird International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings /$fedited by Francois Fages, Sylvain Soliman
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (X, 166 p.) 
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3703
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-32028-8 
311 08$a3-540-28793-0 
320   $aIncludes bibliographical references and index.
327   $aArchitectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Languages -- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying -- Descriptive Typing Rules for Xcerpt -- A General Language for Evolution and Reactivity in the Semantic Web -- Reasoning -- Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints? -- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log -- Computational Treatment of Temporal Notions: The CTTN?System -- A Geospatial World Model for the Semantic Web -- Generating Contexts for Expression Data Using Pathway Queries.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3703
606   $aApplication software
606   $aComputer science
606   $aInformation storage and retrieval systems
606   $aArtificial intelligence
606   $aMachine theory
606   $aComputer and Information Systems Applications
606   $aComputer Science
606   $aInformation Storage and Retrieval
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
615  0$aApplication software.
615  0$aComputer science.
615  0$aInformation storage and retrieval systems.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615 14$aComputer and Information Systems Applications.
615 24$aComputer Science.
615 24$aInformation Storage and Retrieval.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
676   $a005.7
701   $aFages$b Francois$0966569
701   $aSoliman$b Sylvain$01762579
712 12$aPPSWR (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483203903321
996   $aPrinciples and practice of Semantic Web reasoning$94202593
997   $aUNINA