The description logic handbook: theory, implementation, and applications
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
2003
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references (pages 496-545) and index Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide |
| Beschreibung: | 1 Online-Ressource (xvii, 555 pages) |
| ISBN: | 0511060637 0511066945 0511069073 9780511060632 9780511066948 9780511069079 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043163450 | ||
| 003 | DE-604 | ||
| 005 | 20221114 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 0511060637 |c electronic bk. : Adobe Reader |9 0-511-06063-7 | ||
| 020 | |a 0511066945 |c electronic bk. |9 0-511-06694-5 | ||
| 020 | |a 0511069073 |9 0-511-06907-3 | ||
| 020 | |a 9780511060632 |c electronic bk. : Adobe Reader |9 978-0-511-06063-2 | ||
| 020 | |a 9780511066948 |c electronic bk. |9 978-0-511-06694-8 | ||
| 020 | |a 9780511069079 |9 978-0-511-06907-9 | ||
| 035 | |a (OCoLC)228111011 | ||
| 035 | |a (DE-599)BVBBV043163450 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3/32 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 245 | 1 | 0 | |a The description logic handbook |b theory, implementation, and applications |c edited by Franz Baader [and others] |
| 264 | 1 | |a Cambridge, UK |b Cambridge University Press |c 2003 | |
| 300 | |a 1 Online-Ressource (xvii, 555 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 496-545) and index | ||
| 500 | |a Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index | ||
| 500 | |a The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide | ||
| 650 | 7 | |a COMPUTERS / Expert Systems |2 bisacsh | |
| 650 | 7 | |a Description logics |2 fast | |
| 650 | 7 | |a Logique de description |2 rasuqam | |
| 650 | 7 | |a Représentation des connaissances |2 rasuqam | |
| 650 | 4 | |a Description logics |v Handbooks, manuals, etc | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |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 2\p |5 DE-604 | |
| 700 | 1 | |a Baader, Franz |d 1959- |e Sonstige |0 (DE-588)131845098 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-521-78176-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-521-78176-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-521-78176-3 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028587641 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175636108935168 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)131845098 |
| building | Verbundindex |
| bvnumber | BV043163450 |
| classification_rvk | SK 130 ST 120 ST 125 ST 285 ST 300 ST 304 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)228111011 (DE-599)BVBBV043163450 |
| dewey-full | 006.3/32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/32 |
| dewey-search | 006.3/32 |
| dewey-sort | 16.3 232 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03580nmm a2200673zc 4500</leader><controlfield tag="001">BV043163450</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221114 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511060637</subfield><subfield code="c">electronic bk. : Adobe Reader</subfield><subfield code="9">0-511-06063-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511066945</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-511-06694-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511069073</subfield><subfield code="9">0-511-06907-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511060632</subfield><subfield code="c">electronic bk. : Adobe Reader</subfield><subfield code="9">978-0-511-06063-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511066948</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-511-06694-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511069079</subfield><subfield code="9">978-0-511-06907-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228111011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043163450</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="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/32</subfield><subfield code="2">21</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 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">ST 285</subfield><subfield code="0">(DE-625)143648:</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">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</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 [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, UK</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 555 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 496-545) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Expert Systems</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Description logics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique de description</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Représentation des connaissances</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Description logics</subfield><subfield code="v">Handbooks, manuals, etc</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="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="8">1\p</subfield><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">2\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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-521-78176-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-521-78176-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-521-78176-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028587641</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043163450 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:26Z |
| institution | BVB |
| isbn | 0511060637 0511066945 0511069073 9780511060632 9780511066948 9780511069079 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028587641 |
| oclc_num | 228111011 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xvii, 555 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | The description logic handbook theory, implementation, and applications edited by Franz Baader [and others] Cambridge, UK Cambridge University Press 2003 1 Online-Ressource (xvii, 555 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 496-545) and index Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide COMPUTERS / Expert Systems bisacsh Description logics fast Logique de description rasuqam Représentation des connaissances rasuqam Description logics Handbooks, manuals, etc Informatik (DE-588)4026894-9 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Informatik (DE-588)4026894-9 s Terminologische Logik (DE-588)4359506-6 s 2\p DE-604 Baader, Franz 1959- Sonstige (DE-588)131845098 oth Erscheint auch als Druck-Ausgabe, Hardcover 0-521-78176-0 Erscheint auch als Druck-Ausgabe, Hardcover 978-0-521-78176-3 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | The description logic handbook theory, implementation, and applications COMPUTERS / Expert Systems bisacsh Description logics fast Logique de description rasuqam Représentation des connaissances rasuqam Description logics Handbooks, manuals, etc Informatik (DE-588)4026894-9 gnd Terminologische Logik (DE-588)4359506-6 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4359506-6 (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 [and others] |
| title_fullStr | The description logic handbook theory, implementation, and applications edited by Franz Baader [and others] |
| title_full_unstemmed | The description logic handbook theory, implementation, and applications edited by Franz Baader [and others] |
| title_short | The description logic handbook |
| title_sort | the description logic handbook theory implementation and applications |
| title_sub | theory, implementation, and applications |
| topic | COMPUTERS / Expert Systems bisacsh Description logics fast Logique de description rasuqam Représentation des connaissances rasuqam Description logics Handbooks, manuals, etc Informatik (DE-588)4026894-9 gnd Terminologische Logik (DE-588)4359506-6 gnd |
| topic_facet | COMPUTERS / Expert Systems Description logics Logique de description Représentation des connaissances Description logics Handbooks, manuals, etc Informatik Terminologische Logik Aufsatzsammlung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=120320 |
| work_keys_str_mv | AT baaderfranz thedescriptionlogichandbooktheoryimplementationandapplications |