Description logic rules:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg
AKA
2010
[Amsterdam] IOS Press |
| Schriftenreihe: | Studies on the semantic web
8 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 263 S. 24 cm |
| ISBN: | 9783898386432 9781607506546 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037296529 | ||
| 003 | DE-604 | ||
| 005 | 20160927 | ||
| 007 | t | ||
| 008 | 110323s2010 gw m||| 00||| eng d | ||
| 015 | |a 11,A09 |2 dnb | ||
| 016 | 7 | |a 1007916079 |2 DE-101 | |
| 020 | |a 9783898386432 |c (AKA) kart. : EUR 50.00 |9 978-3-89838-643-2 | ||
| 020 | |a 9781607506546 |c (IOS Press) kart. |9 978-1-60750-654-6 | ||
| 035 | |a (OCoLC)700316593 | ||
| 035 | |a (DE-599)DNB1007916079 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE |a ne |c XA-NL | ||
| 049 | |a DE-473 | ||
| 082 | 0 | |a 006.332 |2 22/ger | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Krötzsch, Markus |e Verfasser |0 (DE-588)1026312019 |4 aut | |
| 245 | 1 | 0 | |a Description logic rules |c Markus Krötzsch |
| 264 | 1 | |a Heidelberg |b AKA |c 2010 | |
| 264 | 1 | |a [Amsterdam] |b IOS Press | |
| 300 | |a XII, 263 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies on the semantic web |v 8 | |
| 502 | |a Zugl.: Karlsruhe, Inst. für Technologie, Diss., 2010 | ||
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Studies on the semantic web |v 8 |w (DE-604)BV035815780 |9 8 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021209017&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-021209017 | ||
Datensatz im Suchindex
| _version_ | 1804143933422305280 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PREFACE V
CONTENTS VII
LIST OF FIGURES XI
1 INTRODUCTION 1
1.1 ONTOLOGIES AND THE SEMANTIC WEB 2
1.2 DESCRIPTION LOGICS 6
1.3 WHAT IS A RULE? 8
1.4 AIMS AND OBJECTIVES 11
1.5 GUIDE TO THE READER 13
2 BASIC DEFINITIONS 17
2.1 FIRST-ORDER LOGIC WITH EQUALITY 17
2.2 SEMANTIC CORRESPONDENCES BETWEEN LOGICAL THEORIES 20 2.3
COMPUTATIONAL COMPLEXITY 24
3 INTRODUCTION TO DESCRIPTION LOGICS 27
3.1 THE DESCRIPTION LOGIC SNOIQ 27
3.1.1 SYNTAX 28
3.1.2 SEMANTICS AND INFERENCING 30
3.1.3 SIMPLIFICATIONS AND NORMAL FORMS 33
3.2 RELATIONSHIP OF DLS TO OTHER LOGICS 36
3.3 DESCRIPTION LOGIC NOMENCLATURE 38
4 COMBINING DESCRIPTION LOGICS WITH DATALOG 41
4.1 DATALOG AS A FIRST-ORDER RULE LANGUAGE 42
4.1.1 SYNTAX OF DATALOG 43
4.1.2 SEMANTICS OF DATALOG 45
4.1.3 EQUALITY 48
VII
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1007916079
DIGITALISIERT DURCH
IMAGE 2
CONTENTS
4.2 DATALOG U DESCRIPTION LOGICS: SWRL 50
4.2.1 DEFINING SWRL 50
4.2.2 REASONING IN SWRL 52
4.3 APPROACHES FOR COMBINING RULES AND DLS 54
4.4 RULES AND CONJUNCTIVE QUERIES 57
5 EXTENDING DESCRIPTION LOGICS WITH ROLE CONSTRUCTORS 61 5.1 INTRODUCING
ROLE EXPRESSIONS 63
5.2 ROLE EXPRESSIONS FOR SKOIQ AND S9I0IQ 65
5.3 SAFE ROLE EXPRESSIONS FOR SWIQ 68
5.4 A TRACTABLE DL WITH ROLE EXPRESSIONS 71
5.5 SUMMARY 76
5.6 RELATED WORK 78
6 HORN LOGIC FRAGMENTS OF DESCRIPTION LOGICS 81
6.1 A HORN FRAGMENT OF SKOIQ 82
6.2 A LIGHT-WEIGHT HORN-DL: HORN-^O 87
6.3 PSPACE-COMPLETE HORN DLS: FROM HORN-72T TO HORN-72XW~ . . 89 6.3.1
HARDNESS 90
6.3.2 CONTAINMENT 93
6.4 KORN-SWIQ AND OTHER EXPTIME-COMPLETE HORN DLS 101 6.4.1 ALTERNATING
TURING MACHINES 102
6.4.2 SIMULATING ATMS IN HORN-^CSS 103
6.5 SUMMARY 107
6.6 RELATED WORK 109
7 THE DATALOG FRAGMENT OF DESCRIPTION LOGIC 111
7.1 INITIAL CONSIDERATIONS AND PROBLEM DEFINITION 112
7.2 THE DATALOG FRAGMENT OF 3LC 118
7.3 DEFINING DESCRIPTION LOGIC PROGRAMS 123
7.4 EMULATING T LV IN DATALOG 131
7.5 MODEL CONSTRUCTIONS FOR DATALOG 147
7.6 SHOWING STRUCTURAL MAXIMALITY OF DP 149
7.7 SUMMARY 168
7.8 RELATED WORK 169
8 DESCRIPTION LOGIC FRAGMENTS OF SWRL: DL RULES 171
8.1 INITIAL OBSERVATIONS 172
8.2 DEFINING SKOIQ RULES 175
8.3 ADDING ROLE CONSTRUCTORS 182
8.4 FURTHER CLASSES OF DL RULES 185
VM
IMAGE 3
CONTENTS
8.5 IMPLEMENTING DL RULES IN DATALOG 188
8.6 SUMMARY 200
8.7 RELATED WORK 201
9 EXTENDING DL RULES WITH DL-SAFE VARIABLES 203
9.1 INTRODUCING DL-SAFE RULES 204
9.2 DL RULES WITH SAFE VARIABLES 208
9.3 REASONING COMPLEXITY OF SROIQ+SAFE RULES 211
9.4 TRACTABLE DL-SAFE RULES: ELP 213
9.5 SUMMARY 223
9.6 RELATED WORK 224
10 CONCLUSIONS 227
10.1 SUMMARY OF THE RESULTS 227
10.1.1 DECIDABLE FRAGMENTS OF SWRL 227
10.1.2 RULE FRAGMENTS OF DESCRIPTION LOGICS 229
10.1.3 TRACTABLE KNOWLEDGE REPRESENTATION LANGUAGES 230 10.2
SIGNIFICANCE OF THE RESULTS 231
10.3 FUTURE WORK 233
BIBLIOGRAPHY 237
INDEX 258
IX
|
| any_adam_object | 1 |
| author | Krötzsch, Markus |
| author_GND | (DE-588)1026312019 |
| author_facet | Krötzsch, Markus |
| author_role | aut |
| author_sort | Krötzsch, Markus |
| author_variant | m k mk |
| building | Verbundindex |
| bvnumber | BV037296529 |
| classification_rvk | ST 125 |
| ctrlnum | (OCoLC)700316593 (DE-599)DNB1007916079 |
| dewey-full | 006.332 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.332 |
| dewey-search | 006.332 |
| dewey-sort | 16.332 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01697nam a2200445 cb4500</leader><controlfield tag="001">BV037296529</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160927 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110323s2010 gw m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A09</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007916079</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783898386432</subfield><subfield code="c">(AKA) kart. : EUR 50.00</subfield><subfield code="9">978-3-89838-643-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607506546</subfield><subfield code="c">(IOS Press) kart.</subfield><subfield code="9">978-1-60750-654-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700316593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007916079</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.332</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" 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="245" ind1="1" ind2="0"><subfield code="a">Description logic rules</subfield><subfield code="c">Markus Krötzsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">AKA</subfield><subfield code="c">2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Amsterdam]</subfield><subfield code="b">IOS Press</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 263 S.</subfield><subfield code="c">24 cm</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="1" ind2=" "><subfield code="a">Studies on the semantic web</subfield><subfield code="v">8</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Inst. für Technologie, Diss., 2010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies on the semantic web</subfield><subfield code="v">8</subfield><subfield code="w">(DE-604)BV035815780</subfield><subfield code="9">8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=021209017&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-021209017</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV037296529 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:55:32Z |
| institution | BVB |
| isbn | 9783898386432 9781607506546 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021209017 |
| oclc_num | 700316593 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | XII, 263 S. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | AKA IOS Press |
| record_format | marc |
| series | Studies on the semantic web |
| series2 | Studies on the semantic web |
| spelling | Krötzsch, Markus Verfasser (DE-588)1026312019 aut Description logic rules Markus Krötzsch Heidelberg AKA 2010 [Amsterdam] IOS Press XII, 263 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Studies on the semantic web 8 Zugl.: Karlsruhe, Inst. für Technologie, Diss., 2010 Terminologische Logik (DE-588)4359506-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Terminologische Logik (DE-588)4359506-6 s DE-604 Studies on the semantic web 8 (DE-604)BV035815780 8 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021209017&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Krötzsch, Markus Description logic rules Studies on the semantic web Terminologische Logik (DE-588)4359506-6 gnd |
| subject_GND | (DE-588)4359506-6 (DE-588)4113937-9 |
| title | Description logic rules |
| title_auth | Description logic rules |
| title_exact_search | Description logic rules |
| title_full | Description logic rules Markus Krötzsch |
| title_fullStr | Description logic rules Markus Krötzsch |
| title_full_unstemmed | Description logic rules Markus Krötzsch |
| title_short | Description logic rules |
| title_sort | description logic rules |
| topic | Terminologische Logik (DE-588)4359506-6 gnd |
| topic_facet | Terminologische Logik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021209017&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035815780 |
| work_keys_str_mv | AT krotzschmarkus descriptionlogicrules |