Foundations of Semantic Web technologies:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton [u.a.]
Chapman & Hall/CRC Press
2010
|
| Schriftenreihe: | Chapman & Hall/CRC textbooks in computing
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | [22], 427 S. graph. Darst. |
| ISBN: | 9781420090505 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV035719275 | ||
| 003 | DE-604 | ||
| 005 | 20201005 | ||
| 007 | t | ||
| 008 | 090910s2010 xxud||| |||| 00||| eng d | ||
| 010 | |a 2009024576 | ||
| 020 | |a 9781420090505 |9 978-1-4200-9050-5 | ||
| 035 | |a (OCoLC)633756837 | ||
| 035 | |a (DE-599)BVBBV035719275 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-20 |a DE-29T |a DE-473 |a DE-384 |a DE-12 |a DE-11 |a DE-Aug4 |a DE-739 |a DE-706 |a DE-703 |a DE-525 |a DE-522 |a DE-573 | ||
| 050 | 0 | |a TK5105.88815 | |
| 080 | |a 004.738.5 | ||
| 082 | 0 | |a 025.042/7 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a ST 302 |0 (DE-625)143652: |2 rvk | ||
| 084 | |a ST 252 |0 (DE-625)143627: |2 rvk | ||
| 084 | |a ST 515 |0 (DE-625)143677: |2 rvk | ||
| 084 | |a 24,1 |2 ssgn | ||
| 100 | 1 | |a Hitzler, Pascal |e Verfasser |0 (DE-588)133575829 |4 aut | |
| 245 | 1 | 0 | |a Foundations of Semantic Web technologies |c Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph |
| 264 | 1 | |a Boca Raton [u.a.] |b Chapman & Hall/CRC Press |c 2010 | |
| 300 | |a [22], 427 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Chapman & Hall/CRC textbooks in computing | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Web semántica | |
| 650 | 4 | |a Semantic Web | |
| 650 | 0 | 7 | |a Semantic Web |0 (DE-588)4688372-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Semantic Web |0 (DE-588)4688372-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rudolph, Sebastian |d 1976- |e Verfasser |0 (DE-588)132806320 |4 aut | |
| 700 | 1 | |a Krötzsch, Markus |e Verfasser |0 (DE-588)1026312019 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017996088&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805082909070065664 |
|---|---|
| adam_text |
Contents
1
The Quest for Semantics
1
1.1
Building Models
. 2
1.2
Calculating with Knowledge
. 5
1.3
Exchanging Information
. 8
1.4
Semanic Web Technologies
. 11
1.5
Further Reading
. 15
1 Resource Description Language RDF
17
2
Simple Ontologies in RDF and RDF Schema
19
2.1
Introduction to RDF
. 20
2.2
Syntax for RDF
. 25
2.3
Advanced Features
. 37
2.4
Simple Ontologies in RDF Schema
. 46
2.5
Encoding of Special Datastructures
. 57
2.6
An Example
. 65
2.7
Summary
. 67
2.8
Exercises
. 69
2.9
Further Reading
. 70
3
RDF Formal Semantics
73
3.1
Why Semantics?
. 73
3.2
Model-Theoretic Semantics for RDF(S)
. 74
3.3
Syntactic Reasoning with Deduction Rules
. 90
3.4
The Semantic Limits of RDF(S)
. 104
3.5
Summary
. 106
3.6
Exercises
. 107
3.7
Further Reading
. 108
II Web Ontology Language OWL
109
4
Ontologies in OWL 111
4.1
OWL Syntax and Intuitive Semantics
. 112
4.2
OWL Species
. 138
4.3
The Forthcoming OWL
2
Standard
. 140
4.4
Summary
. 153
4.5
Exercises
. 156
4.6
Further Reading
. 157
5
OWL Formal Semantics
159
5.1
Description Logics
. 159
5.2
Model-Theoretic Semantics of OWL
. 172
5.3
Automated Reasoning with OWL
. 181
5.4
Summary
. 208
5.5
Exercises
. 208
5.6
Further Reading
. 210
III Rules and Queries
211
6
Ontologies and Rules
213
6.1
What Is a Rule?
. 214
6.2
Datalog
as a First-Order Rule Language
. 217
6.3
Combining Rules with OWL DL
. 223
6.4
Rule Interchange Format
RIF
. 238
6.5
Summary
. 256
6.6
Exercises
. 257
6.7
Further Reading
.-. 258
7
Query Languages
261
7.1
SPARQL: Query Language for RDF
. 262
7.2
Conjunctive Queries for OWL DL
. 292
7.3
Summary
. 300
7.4
Exercises
. 301
7.5
Further Reading
. 303
IV Beyond Foundations
305
8
Ontology Engineering
307
8.1
Requirement Analysis
. 308
8.2
Ontology Creation
-
Where Is Your Knowledge?
. 309
8.3
Quality Assurance of Ontologies
. 317
8.4
Modular Ontologies: Divide and Conquer
. 326
8.5
Software Tools
. 327
8.6
Summary
. 333
8.7
Further Reading
. 333
9
Applications
335
9.1
Web Data Exchange and Syndication
. 336
9.2
Semantic Wikis
. 341
9.3
Semantic Portals
. 344
9.4
Semantic Metadata in Data Formats
. 345
9.5
Semantic Web in Life Sciences
. 345
9.6
Ontologies for Standardizations
. 347
9.7
RIF Applications
. 347
9.8
Toward Future
Applications
. 348
9.9
Summary
. 349
9.10
Further Reading
. 349
V Appendices
351
A Extensible Markup Language XML
353
A.I XML in a Nutshell
. 353
A.2 Syntax of XML
. 355
A.3 XML Schema
. 356
В
Set Theory
363
B.I Basic Notions
. 363
B.2 Set Operations
. 364
B.3 Relations and Functions
. 365
С
Logic
367
C.I Syntax
. 367
C.2 Semantics
. 368
C.3 Proof Theory and Decidability
. 373
D
Solutions to the Exercises
375
D.I Solutions for Chapter
2 . 375
D.2 Solutions for Chapter
3 . 378
D.3 Solutions for Chapter
4 . 381
D.4 Solutions for Chapter
5 . 384
D.5 Solutions for Chapter
6 . 389
D.6 Solutions for Chapter
7 . 393
References
403
Index
415 |
| any_adam_object | 1 |
| author | Hitzler, Pascal Rudolph, Sebastian 1976- Krötzsch, Markus |
| author_GND | (DE-588)133575829 (DE-588)132806320 (DE-588)1026312019 |
| author_facet | Hitzler, Pascal Rudolph, Sebastian 1976- Krötzsch, Markus |
| author_role | aut aut aut |
| author_sort | Hitzler, Pascal |
| author_variant | p h ph s r sr m k mk |
| building | Verbundindex |
| bvnumber | BV035719275 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.88815 |
| callnumber-search | TK5105.88815 |
| callnumber-sort | TK 45105.88815 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 304 ST 302 ST 252 ST 515 |
| ctrlnum | (OCoLC)633756837 (DE-599)BVBBV035719275 |
| dewey-full | 025.042/7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 025 - Operations of libraries and archives |
| dewey-raw | 025.042/7 |
| dewey-search | 025.042/7 |
| dewey-sort | 225.042 17 |
| dewey-tens | 020 - Library and information sciences |
| discipline | Allgemeines Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV035719275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201005</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090910s2010 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009024576</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781420090505</subfield><subfield code="9">978-1-4200-9050-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633756837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035719275</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.88815</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">004.738.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">025.042/7</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 302</subfield><subfield code="0">(DE-625)143652:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 252</subfield><subfield code="0">(DE-625)143627:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 515</subfield><subfield code="0">(DE-625)143677:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">24,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hitzler, Pascal</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133575829</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of Semantic Web technologies</subfield><subfield code="c">Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">Chapman & Hall/CRC Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">[22], 427 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Chapman & Hall/CRC textbooks in computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Web semántica</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantic Web</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantic Web</subfield><subfield code="0">(DE-588)4688372-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Semantic Web</subfield><subfield code="0">(DE-588)4688372-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rudolph, Sebastian</subfield><subfield code="d">1976-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132806320</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krötzsch, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026312019</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017996088&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| id | DE-604.BV035719275 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T07:40:08Z |
| institution | BVB |
| isbn | 9781420090505 |
| language | English |
| lccn | 2009024576 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017996088 |
| oclc_num | 633756837 |
| open_access_boolean | |
| owner | DE-20 DE-29T DE-473 DE-BY-UBG DE-384 DE-12 DE-11 DE-Aug4 DE-739 DE-706 DE-703 DE-525 DE-522 DE-573 |
| owner_facet | DE-20 DE-29T DE-473 DE-BY-UBG DE-384 DE-12 DE-11 DE-Aug4 DE-739 DE-706 DE-703 DE-525 DE-522 DE-573 |
| physical | [22], 427 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Chapman & Hall/CRC Press |
| record_format | marc |
| series2 | Chapman & Hall/CRC textbooks in computing |
| spelling | Hitzler, Pascal Verfasser (DE-588)133575829 aut Foundations of Semantic Web technologies Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph Boca Raton [u.a.] Chapman & Hall/CRC Press 2010 [22], 427 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Chapman & Hall/CRC textbooks in computing Includes bibliographical references and index Web semántica Semantic Web Semantic Web (DE-588)4688372-1 gnd rswk-swf Semantic Web (DE-588)4688372-1 s DE-604 Rudolph, Sebastian 1976- Verfasser (DE-588)132806320 aut Krötzsch, Markus Verfasser (DE-588)1026312019 aut Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017996088&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hitzler, Pascal Rudolph, Sebastian 1976- Krötzsch, Markus Foundations of Semantic Web technologies Web semántica Semantic Web Semantic Web (DE-588)4688372-1 gnd |
| subject_GND | (DE-588)4688372-1 |
| title | Foundations of Semantic Web technologies |
| title_auth | Foundations of Semantic Web technologies |
| title_exact_search | Foundations of Semantic Web technologies |
| title_full | Foundations of Semantic Web technologies Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph |
| title_fullStr | Foundations of Semantic Web technologies Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph |
| title_full_unstemmed | Foundations of Semantic Web technologies Pascal Hitzler ; Markus Krötzsch ; Sebastian Rudolph |
| title_short | Foundations of Semantic Web technologies |
| title_sort | foundations of semantic web technologies |
| topic | Web semántica Semantic Web Semantic Web (DE-588)4688372-1 gnd |
| topic_facet | Web semántica Semantic Web |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017996088&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hitzlerpascal foundationsofsemanticwebtechnologies AT rudolphsebastian foundationsofsemanticwebtechnologies AT krotzschmarkus foundationsofsemanticwebtechnologies |