Availability: An introduction to description logic | Technische Universität München

An introduction to description logic:

Saved in:

Bibliographic Details
Main Authors:	Baader, Franz 1959- (Author), Horrocks, Ian (Author), Lutz, Carsten 1971- (Author), Sattler, Ulrike 1966- (Author)
Format:	Book
Language:	English
Published:	Cambridge, United Kingdom Cambridge University Press [2017]
Subjects:	Terminologische Logik
Links:	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
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 xx \|\|\|\| \|\|\|\| 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027207822

Record in the Search Index

_version_	1819339504448700416
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>01889nam 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 xx \|\|\|\| \|\|\|\| 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027207822</subfield></datafield></record></collection>
id	DE-604.BV041761678
illustrated	Not Illustrated
indexdate	2024-12-20T16:54:28Z
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
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

Availability

‌

Order via interlibrary loan Table of Contents