An introduction to description logic:
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, United Kingdom
Cambridge University Press
[2017]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverzeichnis Seite 234-251 |
| Physical Description: | vii, 255 Seiten Diagramme |
| ISBN: | 9780521873611 9780521695428 0521873614 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041761678 | ||
| 003 | DE-604 | ||
| 005 | 20190612 | ||
| 007 | t | ||
| 008 | 140328s2017 |||| |||| 00||| eng d | ||
| 020 | |a 9780521873611 |c Hb.: EUR 75.60 |9 978-0-521-87361-1 | ||
| 020 | |a 9780521695428 |c Pb. |9 978-0-521-69542-8 | ||
| 020 | |a 0521873614 |9 0521873614 | ||
| 035 | |a (OCoLC)986521544 | ||
| 035 | |a (DE-599)BVBBV041761678 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-473 |a DE-83 |a DE-703 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a 03B42 |2 msc | ||
| 100 | 1 | |a Baader, Franz |d 1959- |e Verfasser |0 (DE-588)131845098 |4 aut | |
| 245 | 1 | 0 | |a An introduction to description logic |c Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester |
| 264 | 1 | |a Cambridge, United Kingdom |b Cambridge University Press |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a vii, 255 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis Seite 234-251 | ||
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Horrocks, Ian |e Verfasser |0 (DE-588)1136289895 |4 aut | |
| 700 | 1 | |a Lutz, Carsten |d 1971- |e Verfasser |0 (DE-588)134037901 |4 aut | |
| 700 | 1 | |a Sattler, Ulrike |d 1966- |e Verfasser |0 (DE-588)121392244 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027207822&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027207822 | ||
Record in the Search Index
| _version_ | 1804152065567490048 |
|---|---|
| adam_text | Contents
1 Introduction page 1
1.1 What are DLs and where do they come from? 1
1.2 What are they good for and how are they used? 3
1.3 A brief history of description logic 4
1.4 How to use this book 7
2 A Basic Description Logic 10
2.1 The concept language of the DL ACC 10
2.2 ACC knowledge bases 16
2.2.1 ACC TBoxes 17
2.2.2 ACC ABoxes 19
2.2.3 Restricted TBoxes and concept definitions 23
2.3 Basic reasoning problems and services 28
2.4 Using reasoning services 36
2.5 Extensions of the basic DL ACC 37
2.5.1 Inverse roles 37
2.5.2 Number restrictions 39
2.5.3 Nominals 41
2.5.4 Role hierarchies 42
2.5.5 Transitive roles 42
2.6 DLs and other logics 44
2.6.1 DLs as decidable fragments of first-order logic 44
2.6.2 DLs as cousins of modal logic 46
2.7 Historical context and literature review 48
3 A Little Bit of Model Theory 50
3.1 Bisimulation 51
3.2 Expressive power 53
3.3 Closure under disjoint union 55
V
vi Contents
3.4 Finite model property 57
3.5 Tree model property 63
3.6 Historical context and literature review 67
4 Reasoning in DLs with Tableau Algorithms 69
4.1 Tableau basics 70
4.2 A tableau algorithm for ACC 71
4.2.1 ABox consistency 72
4.2.2 Acyclic knowledge base consistency 82
4.2.3 General knowledge base consistency 83
4.3 A tableau algorithm for ACCXM 90
4.3.1 Inverse roles 90
4.3.2 Number restrictions 93
4.3.3 Combining inverse roles and number restrictions 97
4.4 Some implementation issues 101
4.4.1 Or-branching 101
4.4.2 And-branching 103
4.4.3 Classification 104
4.5 Historical context and literature review 104
5 Complexity 106
5.1 Concept satisfiability in ACC 107
5.1.1 Acyclic TBoxes and no TBoxes 108
5.1.2 General TBoxes 117
5.2 Concept satisfiability beyond ACC 123
5.2.1 ACC with inverse roles and nominals 123
5.2.2 Further adding number restrictions 125
5.3 Undecidable extensions of ACC 130
5.3.1 Role value maps 130
5.3.2 Concrete domains 134
5.4 Historical context and literature review 137
6 Reasoning in the EC Family of Description Logics 140
6.1 Subsumption in EC 141
6.1.1 Normalisation 142
6.1.2 The classification procedure 147
6.2 Subsumption in ECX 151
6.2.1 Normalisation 151
6.2.2 The classification procedure 152
6.3 Comparing the two subsumption algorithms 159
6.3.1 Comparing the classification rules 159
6.3.2 A more abstract point of view 162
Contents vii
6.4 Historical context and literature review 165
7 Query Answering 168
7.1 Conjunctive queries and FO queries 169
7.2 FO-rewritability and DL-Lite 174
7.2.1 Introducing DL-Lite 175
7.2.2 Universal models 180
7.2.3 FO-rewritability in DL-Lite 184
7.3 Datalog-rewritability in EC and ECX 192
7.3.1 Fundamentals of Datalog 193
7.3.2 Datalog-rewritings in ECX 195
7.3.3 Short Datalog-rewritings in EC 198
7.4 Complexity aspects 199
7.5 Historical context and literature review 202
8 Ontology Languages and Applications 205
8.1 The OWL ontology language 206
8.1.1 OWL and RDF 206
8.1.2 OWL and SIZOXQ 209
8.1.3 OWL ontologies 213
8.1.4 Non-DL features 217
8.1.5 OWL profiles 222
8.2 OWL tools and applications 223
8.2.1 The OWL API 223
8.2.2 OWL reasöners 224
8.2.3 Ontology engineering tools 224
8.2.4 OWL applications 225
Appendix: Description Logic Terminology 228
A.l Syntax and semantics of concept and role constructors 228
A.2 Syntax and semantics of knowledge bases 230
A.3 Naming schemes for description logics 231
References 234
Index 252
|
| any_adam_object | 1 |
| author | Baader, Franz 1959- Horrocks, Ian Lutz, Carsten 1971- Sattler, Ulrike 1966- |
| author_GND | (DE-588)131845098 (DE-588)1136289895 (DE-588)134037901 (DE-588)121392244 |
| author_facet | Baader, Franz 1959- Horrocks, Ian Lutz, Carsten 1971- Sattler, Ulrike 1966- |
| author_role | aut aut aut aut |
| author_sort | Baader, Franz 1959- |
| author_variant | f b fb i h ih c l cl u s us |
| building | Verbundindex |
| bvnumber | BV041761678 |
| classification_rvk | SK 130 ST 304 |
| ctrlnum | (OCoLC)986521544 (DE-599)BVBBV041761678 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01888nam a2200421 c 4500</leader><controlfield tag="001">BV041761678</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190612 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140328s2017 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521873611</subfield><subfield code="c">Hb.: EUR 75.60</subfield><subfield code="9">978-0-521-87361-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521695428</subfield><subfield code="c">Pb.</subfield><subfield code="9">978-0-521-69542-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521873614</subfield><subfield code="9">0521873614</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)986521544</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041761678</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</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">03B42</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baader, Franz</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131845098</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to description logic</subfield><subfield code="c">Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vii, 255 Seiten</subfield><subfield code="b">Diagramme</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite 234-251</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="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="700" ind1="1" ind2=" "><subfield code="a">Horrocks, Ian</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1136289895</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lutz, Carsten</subfield><subfield code="d">1971-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)134037901</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sattler, Ulrike</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121392244</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</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=027207822&sequence=000002&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-027207822</subfield></datafield></record></collection> |
| id | DE-604.BV041761678 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:04:47Z |
| institution | BVB |
| isbn | 9780521873611 9780521695428 0521873614 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027207822 |
| oclc_num | 986521544 |
| open_access_boolean | |
| owner | DE-706 DE-473 DE-BY-UBG DE-83 DE-703 |
| owner_facet | DE-706 DE-473 DE-BY-UBG DE-83 DE-703 |
| physical | vii, 255 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Baader, Franz 1959- Verfasser (DE-588)131845098 aut An introduction to description logic Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester Cambridge, United Kingdom Cambridge University Press [2017] © 2017 vii, 255 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Literaturverzeichnis Seite 234-251 Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 s DE-604 Horrocks, Ian Verfasser (DE-588)1136289895 aut Lutz, Carsten 1971- Verfasser (DE-588)134037901 aut Sattler, Ulrike 1966- Verfasser (DE-588)121392244 aut Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027207822&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Baader, Franz 1959- Horrocks, Ian Lutz, Carsten 1971- Sattler, Ulrike 1966- An introduction to description logic Terminologische Logik (DE-588)4359506-6 gnd |
| subject_GND | (DE-588)4359506-6 |
| title | An introduction to description logic |
| title_auth | An introduction to description logic |
| title_exact_search | An introduction to description logic |
| title_full | An introduction to description logic Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester |
| title_fullStr | An introduction to description logic Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester |
| title_full_unstemmed | An introduction to description logic Franz Baader, Technische Universität Dresden, Ian Horrocks, University of Oxford, Carsten Lutz, Universität Bremen, Uli Sattler, University of Manchester |
| title_short | An introduction to description logic |
| title_sort | an introduction to description logic |
| topic | Terminologische Logik (DE-588)4359506-6 gnd |
| topic_facet | Terminologische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027207822&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT baaderfranz anintroductiontodescriptionlogic AT horrocksian anintroductiontodescriptionlogic AT lutzcarsten anintroductiontodescriptionlogic AT sattlerulrike anintroductiontodescriptionlogic |