An introduction to description logic:
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely u...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2017
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 UBY01 URL des Erstveröffentlichers |
| Zusammenfassung: | Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL. |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 07 Jul 2017) |
| Beschreibung: | 1 online resource (vii, 255 pages) |
| ISBN: | 9781139025355 |
| DOI: | 10.1017/9781139025355 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044464098 | ||
| 003 | DE-604 | ||
| 005 | 20230209 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170828s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9781139025355 |9 978-1-139-02535-5 | ||
| 024 | 7 | |a 10.1017/9781139025355 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781139025355 | ||
| 035 | |a (OCoLC)995163223 | ||
| 035 | |a (DE-599)BVBBV044464098 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 006.332 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 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 [and three others] |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2017 | |
| 300 | |a 1 online resource (vii, 255 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 07 Jul 2017) | ||
| 520 | |a Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL. | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Description logics | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Computer science / Database storage and design | |
| 650 | 4 | |a Computer science / Databases and big data | |
| 650 | 4 | |a Computer science / Programming | |
| 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 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 978-0-521-87361-1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, paperback |z 978-0-521-69542-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781139025355 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029864701 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/9781139025355 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781139025355 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781139025355 |l UBY01 |p ZDB-20-CBO |q UBY_PDA_CBO_Kauf |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177791941345280 |
|---|---|
| any_adam_object | |
| author | Baader, Franz 1959- |
| author_GND | (DE-588)131845098 |
| author_facet | Baader, Franz 1959- |
| author_role | aut |
| author_sort | Baader, Franz 1959- |
| author_variant | f b fb |
| building | Verbundindex |
| bvnumber | BV044464098 |
| classification_rvk | SK 130 ST 304 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781139025355 (OCoLC)995163223 (DE-599)BVBBV044464098 |
| 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 |
| doi_str_mv | 10.1017/9781139025355 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03157nmm a2200541zc 4500</leader><controlfield tag="001">BV044464098</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230209 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170828s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139025355</subfield><subfield code="9">978-1-139-02535-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781139025355</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139025355</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)995163223</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044464098</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.332</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="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 [and three others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (vii, 255 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">Title from publisher's bibliographic system (viewed on 07 Jul 2017)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Description logics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Database storage and design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Databases and big data</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Programming</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardback</subfield><subfield code="z">978-0-521-87361-1</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, paperback</subfield><subfield code="z">978-0-521-69542-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781139025355</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029864701</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781139025355</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781139025355</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781139025355</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBY_PDA_CBO_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044464098 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:53:40Z |
| institution | BVB |
| isbn | 9781139025355 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029864701 |
| oclc_num | 995163223 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-706 |
| owner_facet | DE-12 DE-92 DE-706 |
| physical | 1 online resource (vii, 255 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBY_PDA_CBO_Kauf |
| 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 [and three others] Cambridge Cambridge University Press 2017 1 online resource (vii, 255 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 07 Jul 2017) Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL. Informatik Description logics Knowledge representation (Information theory) Computer science / Database storage and design Computer science / Databases and big data Computer science / Programming Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, hardback 978-0-521-87361-1 Erscheint auch als Druck-Ausgabe, paperback 978-0-521-69542-8 https://doi.org/10.1017/9781139025355 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Baader, Franz 1959- An introduction to description logic Informatik Description logics Knowledge representation (Information theory) Computer science / Database storage and design Computer science / Databases and big data Computer science / Programming 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 [and three others] |
| title_fullStr | An introduction to description logic Franz Baader [and three others] |
| title_full_unstemmed | An introduction to description logic Franz Baader [and three others] |
| title_short | An introduction to description logic |
| title_sort | an introduction to description logic |
| topic | Informatik Description logics Knowledge representation (Information theory) Computer science / Database storage and design Computer science / Databases and big data Computer science / Programming Terminologische Logik (DE-588)4359506-6 gnd |
| topic_facet | Informatik Description logics Knowledge representation (Information theory) Computer science / Database storage and design Computer science / Databases and big data Computer science / Programming Terminologische Logik |
| url | https://doi.org/10.1017/9781139025355 |
| work_keys_str_mv | AT baaderfranz anintroductiontodescriptionlogic |