The description logic handbook: theory, implementation, and applications
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2010
|
| Edition: | 2. ed., paperback ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIX, 601 S. graph. Darst. |
| ISBN: | 9780521876254 9780521150118 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV036503095 | ||
| 003 | DE-604 | ||
| 005 | 20220427 | ||
| 007 | t | ||
| 008 | 100615s2010 xxud||| |||| 00||| eng d | ||
| 020 | |a 9780521876254 |c hardback |9 978-0-521-87625-4 | ||
| 020 | |a 9780521150118 |c paperback |9 978-0-521-15011-8 | ||
| 035 | |a (OCoLC)695878369 | ||
| 035 | |a (DE-599)BVBBV036503095 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-M347 |a DE-355 |a DE-739 |a DE-522 |a DE-Aug4 |a DE-19 |a DE-188 |a DE-573 |a DE-473 | ||
| 082 | 0 | |a 006.332 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 716f |2 stub | ||
| 245 | 1 | 0 | |a The description logic handbook |b theory, implementation, and applications |c edited by Franz Baader ... |
| 250 | |a 2. ed., paperback ed. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2010 | |
| 300 | |a XIX, 601 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Baader, Franz |d 1959- |e Sonstige |0 (DE-588)131845098 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020425465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020425465 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804143068327182336 |
|---|---|
| adam_text | Contents
List of contributors page
ix
Preface to the second edition
xiii
Preface
xv
1
An Introduction to Description Logics D.
Nardi
and
R. J. Brachman
1
1.1
Introduction
1
1.2
Prom networks to Description Logics
5
1.3
Knowledge representation in Description Logics
13
1.4
Prom theory to practice: Description Logic systems
17
1.5
Applications developed with Description Logic systems
22
1.6
Extensions of Description Logics
32
1.7
Relationship to other fields of Computer Science
39
1.8
Conclusion
42
Part I Theory
45
2
Basic Description Logics
F. Baader
and W. Nutt
47
2.1
Introduction
47
2.2
Definition of the basic formalism
50
2.3
Reasoning algorithms
81
2.4
Language extensions
98
3
Complexity of Reasoning
F. M.
Donini
105
3.1
Introduction
105
3.2
OR-branching: finding a model
109
3.3
AND-branching: finding a clash
117
3.4
Combining sources of complexity
124
3.5
Reasoning in the presence of axioms
127
3.6
Undecidability
133
3.7
Reasoning about individuals in ABoxes
140
3.8
Discussion
144
vi
Contents
3.9
A
list of complexity results for subsumption and
satisfiability
145
4
Relationships with other Formalisms U.
Sattler,
D.
Calvanese, and R. Molitor
149
4.1 AI
knowledge representation formalisms
149
4.2
Logical formalisms
161
4.3
Database models
174
5
Expressive Description Logics D. Calvanese and
G.
De Giacomo
193
5.1
Introduction
193
5.2
Correspondence between Description Logics and
Propositional Dynamic Logics
195
5.3
Functional restrictions
202
5.4
Qualified number restrictions
209
5.5
Objects
213
5.6 Fixpoint
constructs
217
5.7
Relations of arbitrary
arity
221
5.8
Finite model reasoning
226
5.9
Undecidability results
232
6
Extensions to Description Logics
F. Baader,
R.
Küsters,
and
F. Wolter 237
6.1
Introduction
237
6.2
Language extensions
238
6.3
Non-standard inference problems
270
Part II Implementation
283
7
From Description Logic
Provers
to Knowledge Representation
Systems D. L. McGuinness and P. F. Patel-Schneider
285
7.1
Introduction
285
7.2
Basic access
287
7.3
Advanced application access
290
7.4
Advanced human access
295
7.5
Other technical concerns
301
7.6
Public relations concerns
301
7.7
Summary
303
8
Description Logic Systems R.
Möller
and V. Haarslev
304
8.1
New light through old windows?
304
8.2
The first generation
305
8.3
Second generation Description Logic systems
313
8.4
The next generation: FaCT, Dlp and Racer
324
8.5
Lessons learned
327
Contents
vii
9 Implementation
and Optimization Techniques
/.
Horrocks
329
9.1
Introduction
329
9.2
Preliminaries
331
9.3
Subsumption-testing algorithms
336
9.4
Theory versus practice
341
9.5
Optimization techniques
347
9.6
Discussion
371
Part III Applications
375
10
Conceptual Modeling with Description Logics
A. Borgida
and R. J. Brachman
377
10.1
Background
377
10.2
Elementary Description Logic modeling
379
10.3
Individuals in the world
381
10.4
Concepts
384
10.5
Subconcepts
387
10.6
Modeling relationships
390
10.7
Modeling ontological aspects of relationships
392
10.8
A conceptual modeling methodology
399
10.9
The ABox: modeling specific states of the world
399
10.10
Conclusions
401
11
Software Engineering
С
A. Welty
402
11.1
Introduction
402
11.2
Background
402
11.3
LassiE
403
11.4
CodeBase
408
11.5
CSIS and CBMS
409
12
Configuration D. L. McGuinness
417
12.1
Introduction
417
12.2
Configuration description and requirements
419
12.3
The PROSE and Questar family of configurators
433
12.4
Summary
434
13
Medical Informatics A. Rector
436
13.1
Background and history
437
13.2
Example applications
441
13.3
Technical issues in medical ontologies
447
13.4
Ontological issues in medical ontologies
453
13.5
Architectures: terminology servers, views, and change
management
456
13.6
Discussion: key lessons from medical ontologies
457
viii Contents
14
OWL: a Description-Logic-Based Ontology Language for the
Semantic Web
/.
Horrocks,
P. F. Patel-Schneider,
D. L. McGuinness, and C. A. Welty
458
14.1
Background and history
458
14.2
Steps towards integration with the Semantic Web: OIL
and DAML+OIL
461
14.3
Pull integration into the Semantic Web: OWL
467
14.4
Summary
484
15
Natural Language Processing E. Franconi
487
15.1
Introduction
487
15.2
Semantic interpretation
488
15.3
Reasoning with the logical form
492
15.4
Knowledge-based natural language generation
497
16
Description Logics for Databases
A. Borgida,
M.
Lenzerini,
and
R.
Rosati
500
16.1
Introduction
500
16.2
Data
models and Description Logics
504
16.3
Description Logics and database querying
513
16.4
Data integration
517
16.5
Conclusions
523
Appendix Description Logic Terminology
F. Baader 525
A.I Notational conventions
525
A.
2
Syntax and semantics of common Description Logics
526
A.3 Additional constructors
531
A.4 A note on the naming scheme for Description Logics
534
Bibliography
537
Index
593
|
| any_adam_object | 1 |
| author_GND | (DE-588)131845098 |
| building | Verbundindex |
| bvnumber | BV036503095 |
| classification_rvk | ST 120 ST 125 SK 130 ST 300 |
| classification_tum | DAT 540f DAT 716f |
| ctrlnum | (OCoLC)695878369 (DE-599)BVBBV036503095 |
| 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 Mathematik |
| edition | 2. ed., paperback ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01943nam a2200469zc 4500</leader><controlfield tag="001">BV036503095</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100615s2010 xxud||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521876254</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-87625-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521150118</subfield><subfield code="c">paperback</subfield><subfield code="9">978-0-521-15011-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)695878369</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036503095</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-M347</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.332</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</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">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 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The description logic handbook</subfield><subfield code="b">theory, implementation, and applications</subfield><subfield code="c">edited by Franz Baader ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., paperback ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 601 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="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="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baader, Franz</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131845098</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=020425465&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-020425465</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV036503095 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:41:47Z |
| institution | BVB |
| isbn | 9780521876254 9780521150118 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020425465 |
| oclc_num | 695878369 |
| open_access_boolean | |
| owner | DE-M347 DE-355 DE-BY-UBR DE-739 DE-522 DE-Aug4 DE-19 DE-BY-UBM DE-188 DE-573 DE-473 DE-BY-UBG |
| owner_facet | DE-M347 DE-355 DE-BY-UBR DE-739 DE-522 DE-Aug4 DE-19 DE-BY-UBM DE-188 DE-573 DE-473 DE-BY-UBG |
| physical | XIX, 601 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | The description logic handbook theory, implementation, and applications edited by Franz Baader ... 2. ed., paperback ed. Cambridge [u.a.] Cambridge Univ. Press 2010 XIX, 601 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Informatik (DE-588)4026894-9 s Terminologische Logik (DE-588)4359506-6 s 1\p DE-604 Baader, Franz 1959- Sonstige (DE-588)131845098 oth Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020425465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | The description logic handbook theory, implementation, and applications Terminologische Logik (DE-588)4359506-6 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4359506-6 (DE-588)4026894-9 (DE-588)4143413-4 |
| title | The description logic handbook theory, implementation, and applications |
| title_auth | The description logic handbook theory, implementation, and applications |
| title_exact_search | The description logic handbook theory, implementation, and applications |
| title_full | The description logic handbook theory, implementation, and applications edited by Franz Baader ... |
| title_fullStr | The description logic handbook theory, implementation, and applications edited by Franz Baader ... |
| title_full_unstemmed | The description logic handbook theory, implementation, and applications edited by Franz Baader ... |
| title_short | The description logic handbook |
| title_sort | the description logic handbook theory implementation and applications |
| title_sub | theory, implementation, and applications |
| topic | Terminologische Logik (DE-588)4359506-6 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Terminologische Logik Informatik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020425465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT baaderfranz thedescriptionlogichandbooktheoryimplementationandapplications |