000 | 03381nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-540-32028-9 | ||
003 | DE-He213 | ||
005 | 20240730181050.0 | ||
007 | cr nn 008mamaa | ||
008 | 100316s2005 gw | s |||| 0|eng d | ||
020 |
_a9783540320289 _9978-3-540-32028-9 |
||
024 | 7 |
_a10.1007/11552222 _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] : _bThird International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / _cedited by Francois Fages, Sylvain Soliman. |
250 | _a1st ed. 2005. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2005. |
|
300 |
_aX, 166 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 ; _v3703 |
|
505 | 0 | _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. | |
650 | 0 |
_aApplication software. _9123204 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aInformation storage and retrieval systems. _922213 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aMachine theory. _9123205 |
|
650 | 1 | 4 |
_aComputer and Information Systems Applications. _9123206 |
650 | 2 | 4 |
_aComputer Science. _99832 |
650 | 2 | 4 |
_aInformation Storage and Retrieval. _923927 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9123207 |
700 | 1 |
_aFages, Francois. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9123208 |
|
700 | 1 |
_aSoliman, Sylvain. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9123209 |
|
710 | 2 |
_aSpringerLink (Online service) _9123210 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540287933 |
776 | 0 | 8 |
_iPrinted edition: _z9783540815389 |
830 | 0 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v3703 _9123211 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/11552222 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90678 _d90678 |