|
|
|
|
| LEADER |
05862cam a2200949 4500 |
| 001 |
0-883936666 |
| 003 |
DE-627 |
| 005 |
20230525131356.0 |
| 007 |
tu |
| 008 |
170406s2017 xxk||||| 00| ||eng c |
| 020 |
|
|
|a 9780521695428
|c Paperback
|9 978-0-521-69542-8
|
| 020 |
|
|
|a 9780521873611
|c Hardback
|9 978-0-521-87361-1
|
| 035 |
|
|
|a (DE-627)883936666
|
| 035 |
|
|
|a (DE-576)488578833
|
| 035 |
|
|
|a (DE-599)GBV883936666
|
| 035 |
|
|
|a (OCoLC)986521544
|
| 035 |
|
|
|a (OCoLC)989951280
|
| 035 |
|
|
|a (OCoLC)986521544
|
| 035 |
|
|
|a (ZBM)1373.68002
|
| 035 |
|
|
|a (ZBM)1373.68002
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rda
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|c XA-GB
|c XD-US
|c XE-AU
|c XB-IN
|c XB-SG
|
| 050 |
|
0 |
|a Q387.3
|
| 082 |
0 |
|
|a 006.332
|2 23
|
| 084 |
|
|
|a SK 130
|q OBV
|2 rvk
|0 (DE-625)rvk/143216:
|
| 084 |
|
|
|a ST 300
|q OBV
|2 rvk
|0 (DE-625)rvk/143650:
|
| 084 |
|
|
|a ST 125
|2 rvk
|0 (DE-625)rvk/143586:
|
| 084 |
|
|
|a ST 304
|2 rvk
|0 (DE-625)rvk/143653:
|
| 084 |
|
|
|a *68-01
|2 MSC
|
| 084 |
|
|
|a 68T27
|2 MSC
|
| 084 |
|
|
|a 68T30
|2 MSC
|
| 084 |
|
|
|a 54.10
|2 bkl
|
| 100 |
1 |
|
|a Baader, Franz
|d 1959-
|e VerfasserIn
|0 (DE-588)131845098
|0 (DE-627)515800325
|0 (DE-576)298790033
|4 aut
|
| 245 |
1 |
3 |
|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)
|
| 246 |
3 |
3 |
|a Description logic
|
| 250 |
|
|
|a First published
|
| 264 |
|
1 |
|a Cambridge
|a New York
|a Port Melbourne
|a Delhi
|a Singapore
|b Cambridge University Press
|c 2017
|
| 300 |
|
|
|a vii, 255 Seiten
|b Diagramme
|c 23 cm (paperback)
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
| 338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
| 500 |
|
|
|a Literaturverzeichnis: Seite 234-251
|
| 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 |
|
0 |
|a Description logics
|v Textbooks
|
| 650 |
|
0 |
|a Knowledge representation (Information theory)
|
| 650 |
|
0 |
|a Conceptual structures (Information theory)
|
| 689 |
0 |
0 |
|d s
|0 (DE-588)4359506-6
|0 (DE-627)181303655
|0 (DE-576)211614815
|a Terminologische Logik
|2 gnd
|
| 689 |
0 |
|
|5 DE-101
|
| 689 |
1 |
0 |
|d s
|0 (DE-588)4359506-6
|0 (DE-627)181303655
|0 (DE-576)211614815
|a Terminologische Logik
|2 gnd
|
| 689 |
1 |
|
|5 (DE-627)
|
| 700 |
1 |
|
|a Horrocks, Ian
|e VerfasserIn
|0 (DE-588)1136289895
|0 (DE-627)892519320
|0 (DE-576)490397336
|4 aut
|
| 700 |
1 |
|
|a Lutz, Carsten
|d 1971-
|e VerfasserIn
|0 (DE-588)134037901
|0 (DE-627)559880022
|0 (DE-576)30027064X
|4 aut
|
| 700 |
1 |
|
|a Sattler, Ulrike
|d 1966-
|e VerfasserIn
|0 (DE-588)121392244
|0 (DE-627)705429288
|0 (DE-576)179887084
|4 aut
|
| 776 |
0 |
8 |
|i Erscheint auch als
|n Online-Ausgabe
|a Baader, Franz, 1959 -
|t An introduction to description logic
|d Cambridge : Cambridge University Press, 2017
|h 1 Online-Ressource (viii, 255 Seiten)
|w (DE-627)165803936X
|w (DE-576)488578825
|z 9781139025355
|
| 776 |
0 |
8 |
|i Erscheint auch als
|n Online-Ausgabe
|a Baader, Franz
|t An introduction to description logic
|d Cambridge : Cambridge University Press, 2017
|h 1 online resource (vii, 255 pages)
|w (DE-627)894033387
|w (DE-576)512416168
|z 9780521873611
|z 9780521695428
|z 9781139025355
|
| 856 |
4 |
2 |
|u https://www.gbv.de/dms/tib-ub-hannover/883936666.pdf
|m V:DE-601
|m B:DE-89
|q pdf/application
|v 2019-10-01
|x Verlag
|y Inhaltsverzeichnis
|3 Inhaltsverzeichnis
|
| 856 |
4 |
2 |
|u https://zbmath.org/?q=an:1373.68002
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
| 935 |
|
|
|i Blocktest
|
| 936 |
r |
v |
|a SK 130
|b Logik und Grundlagen, Metamathematik,
|k Monografien
|k Logik und Grundlagen, Metamathematik,
|0 (DE-627)1270918567
|0 (DE-625)rvk/143216:
|0 (DE-576)200918567
|
| 936 |
r |
v |
|a ST 300
|b Allgemeines
|k Monografien
|k Künstliche Intelligenz
|k Allgemeines
|0 (DE-627)1271119005
|0 (DE-625)rvk/143650:
|0 (DE-576)201119005
|
| 936 |
r |
v |
|a ST 125
|b Schaltungstheorie, Rechnerarithmetik, Logik
|k Monografien
|k Grundlagen der Informatik
|k Schaltungstheorie, Rechnerarithmetik, Logik
|0 (DE-627)1272105989
|0 (DE-625)rvk/143586:
|0 (DE-576)202105989
|
| 936 |
r |
v |
|a ST 304
|b Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
|k Monografien
|k Künstliche Intelligenz
|k Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
|0 (DE-627)1271584034
|0 (DE-625)rvk/143653:
|0 (DE-576)201584034
|
| 936 |
b |
k |
|a 54.10
|j Theoretische Informatik
|0 (DE-627)106418815
|
| 951 |
|
|
|a BO
|
| 900 |
|
|
|a Baader, F.
|
| 900 |
|
|
|a Baader, Frans
|
| 900 |
|
|
|a Sattler, Uli
|
| 950 |
|
|
|a Begriffslogik
|
| 950 |
|
|
|a Beschreibungslogik
|
| 950 |
|
|
|a Description logic
|
| 950 |
|
|
|a Terminological logic
|
| 950 |
|
|
|a Terminologischer Wissensrepräsentationsformalismus
|
| 950 |
|
|
|a Terminologisches System
|
| 950 |
|
|
|a Deskriptionslogik
|
| 950 |
|
|
|a Logik
|
| 950 |
|
|
|a Terminologische Sprache
|
| 951 |
|
|
|b XA-DE
|
| 852 |
|
|
|a DE-14
|x epn:3261216247
|z 2017-06-14T15:59:52Z
|
| 852 |
|
|
|a DE-15
|x epn:4112612915
|z 2022-05-11T13:57:38Z
|
| 852 |
|
|
|a DE-Zi4
|x epn:3261216492
|z 2018-09-27T14:38:58Z
|
| 980 |
|
|
|a 883936666
|b 0
|k 883936666
|o 488578833
|
SOLR
| _version_ |
1797151940156588032 |
| author |
Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Ulrike |
| author_facet |
Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Ulrike |
| 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 |
| barcode_de15 |
0026551683, 0026551691, 0026648177 |
| barcode_dezi4 |
03212455 |
| branch_de15 |
Campus-Bibliothek |
| branch_dezi4 |
Görlitz |
| building |
(DE-Zi4)FHGR, (DE-15)02 |
| callnumber-first |
Q - Science |
| callnumber-label |
Q387 |
| callnumber-raw |
Q387.3 |
| callnumber-search |
Q387.3 |
| callnumber-sort |
Q 3387.3 |
| callnumber-subject |
Q - General Science |
| callnumber_de15 |
ST 304 B111 I4, 02A-2023-2397, SK 130, 02A-2023-2396, 02A-2022-1102 |
| callnumber_de15_cns_mv |
ST 304 B111 I4, 02A-2023-2397, SK 130, 02A-2023-2396, 02A-2022-1102 |
| callnumber_de15_ct_mv |
ST 304 B111 I4, 02A-2023-2397, SK 130, 02A-2023-2396, 02A-2022-1102 |
| callnumber_dezi4 |
ST 125 B111 |
| collcode_dezi4 |
Freihand |
| contents |
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.-- |
| ctrlnum |
(DE-627)883936666, (DE-576)488578833, (DE-599)GBV883936666, (OCoLC)986521544, (OCoLC)989951280, (ZBM)1373.68002 |
| de15_date |
2022-05-11T13:57:38Z |
| 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 |
| edition |
First published |
| facet_avail |
Local |
| facet_local_del330 |
Terminologische Logik |
| finc_class_facet |
Mathematik, Informatik, Allgemeine Naturwissenschaft |
| finc_id_str |
0018982123 |
| fincclass_txtF_mv |
science-mathematics, science-computerscience |
| footnote |
Literaturverzeichnis: Seite 234-251 |
| format |
Book |
| format_access_txtF_mv |
Book, E-Book |
| format_de14 |
Book, E-Book |
| format_de15 |
Book, E-Book |
| format_del152 |
Buch |
| format_detail_txtF_mv |
text-print-monograph-independent |
| format_dezi4 |
e-Book |
| format_finc |
Book, E-Book |
| format_legacy |
Book |
| format_legacy_nrw |
Book, E-Book |
| format_nrw |
Book, E-Book |
| format_strict_txtF_mv |
Book |
| genre_facet |
Textbooks |
| geogr_code |
not assigned |
| geogr_code_person |
Germany |
| id |
0-883936666 |
| illustrated |
Not Illustrated |
| imprint |
Cambridge, New York, Port Melbourne, Delhi, Singapore, Cambridge University Press, 2017 |
| imprint_str_mv |
Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017 |
| institution |
DE-14, DE-Zi4, DE-15 |
| is_hierarchy_id |
|
| is_hierarchy_title |
|
| isbn |
9780521695428, 9780521873611 |
| isbn_isn_mv |
9781139025355, 9780521873611, 9780521695428 |
| kxp_id_str |
883936666 |
| language |
English |
| last_indexed |
2024-04-23T18:40:44.888Z |
| local_heading_facet_dezwi2 |
Description logics, Knowledge representation (Information theory), Conceptual structures (Information theory), Terminologische Logik |
| marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @387993f5, Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ] |
| match_str |
baader2017anintroductiontodescriptionlogic |
| mega_collection |
Verbunddaten SWB |
| names_id_str_mv |
(DE-588)131845098, (DE-627)515800325, (DE-576)298790033, (DE-588)1136289895, (DE-627)892519320, (DE-576)490397336, (DE-588)134037901, (DE-627)559880022, (DE-576)30027064X, (DE-588)121392244, (DE-627)705429288, (DE-576)179887084 |
| oclc_num |
986521544, 989951280 |
| physical |
vii, 255 Seiten; Diagramme; 23 cm (paperback) |
| publishDate |
2017 |
| publishDateSort |
2017 |
| publishPlace |
Cambridge |
| publisher |
Cambridge University Press |
| record_format |
marcfinc |
| record_id |
488578833 |
| recordtype |
marcfinc |
| rsn_id_str_mv |
(DE-15)3881312 |
| rvk_facet |
SK 130, ST 300, ST 125, ST 304 |
| rvk_label |
Monografien, Logik und Grundlagen, Metamathematik,, Künstliche Intelligenz, Allgemeines, Grundlagen der Informatik, Schaltungstheorie, Rechnerarithmetik, Logik, Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation |
| rvk_path |
ST, SQ - SU, SK 130, ST 125, ST 300, ST 120 - ST 140, SK, ST 304, SA - SP, ST 300 - ST 308 |
| rvk_path_str_mv |
ST, SQ - SU, SK 130, ST 125, ST 300, ST 120 - ST 140, SK, ST 304, SA - SP, ST 300 - ST 308 |
| source_id |
0 |
| spelling |
Baader, Franz 1959- VerfasserIn (DE-588)131845098 (DE-627)515800325 (DE-576)298790033 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), Description logic, First published, Cambridge New York Port Melbourne Delhi Singapore Cambridge University Press 2017, vii, 255 Seiten Diagramme 23 cm (paperback), Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Literaturverzeichnis: Seite 234-251, 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.--, Description logics Textbooks, Knowledge representation (Information theory), Conceptual structures (Information theory), s (DE-588)4359506-6 (DE-627)181303655 (DE-576)211614815 Terminologische Logik gnd, DE-101, (DE-627), Horrocks, Ian VerfasserIn (DE-588)1136289895 (DE-627)892519320 (DE-576)490397336 aut, Lutz, Carsten 1971- VerfasserIn (DE-588)134037901 (DE-627)559880022 (DE-576)30027064X aut, Sattler, Ulrike 1966- VerfasserIn (DE-588)121392244 (DE-627)705429288 (DE-576)179887084 aut, Erscheint auch als Online-Ausgabe Baader, Franz, 1959 - An introduction to description logic Cambridge : Cambridge University Press, 2017 1 Online-Ressource (viii, 255 Seiten) (DE-627)165803936X (DE-576)488578825 9781139025355, Erscheint auch als Online-Ausgabe Baader, Franz An introduction to description logic Cambridge : Cambridge University Press, 2017 1 online resource (vii, 255 pages) (DE-627)894033387 (DE-576)512416168 9780521873611 9780521695428 9781139025355, https://www.gbv.de/dms/tib-ub-hannover/883936666.pdf V:DE-601 B:DE-89 pdf/application 2019-10-01 Verlag Inhaltsverzeichnis Inhaltsverzeichnis, https://zbmath.org/?q=an:1373.68002 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, DE-14 epn:3261216247 2017-06-14T15:59:52Z, DE-15 epn:4112612915 2022-05-11T13:57:38Z, DE-Zi4 epn:3261216492 2018-09-27T14:38:58Z |
| spellingShingle |
Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Ulrike, 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 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.--, Description logics Textbooks, Knowledge representation (Information theory), Conceptual structures (Information theory), Terminologische Logik |
| swb_id_str |
488578833 |
| title |
An introduction to description logic |
| title_alt |
Description logic |
| title_auth |
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 |
| title_unstemmed |
An introduction to description logic |
| topic |
Description logics Textbooks, Knowledge representation (Information theory), Conceptual structures (Information theory), Terminologische Logik |
| topic_facet |
Description logics, Knowledge representation (Information theory), Conceptual structures (Information theory), Terminologische Logik |
| url |
https://www.gbv.de/dms/tib-ub-hannover/883936666.pdf, https://zbmath.org/?q=an:1373.68002 |
| work_keys_str_mv |
AT baaderfranz anintroductiontodescriptionlogic, AT horrocksian anintroductiontodescriptionlogic, AT lutzcarsten anintroductiontodescriptionlogic, AT sattlerulrike anintroductiontodescriptionlogic, AT baaderfranz descriptionlogic, AT horrocksian descriptionlogic, AT lutzcarsten descriptionlogic, AT sattlerulrike descriptionlogic, AT baaderfranz introductiontodescriptionlogic, AT horrocksian introductiontodescriptionlogic, AT lutzcarsten introductiontodescriptionlogic, AT sattlerulrike introductiontodescriptionlogic |
