Description logic rules:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Amsterdam]
IOS Press AKA
©2010
|
| Series: | Studies on the Semantic Web
v. 008 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Print version record |
| Physical Description: | 1 online resource (xii, 263 pages) illustrations |
| ISBN: | 1306284759 1607506548 1614993424 3898386430 9781306284752 9781607506546 9781614993421 9783898386432 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043032276 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151120s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 1306284759 |9 1-306-28475-9 | ||
| 020 | |a 1607506548 |9 1-60750-654-8 | ||
| 020 | |a 1614993424 |9 1-61499-342-4 | ||
| 020 | |a 3898386430 |9 3-89838-643-0 | ||
| 020 | |a 9781306284752 |9 978-1-306-28475-2 | ||
| 020 | |a 9781607506546 |9 978-1-60750-654-6 | ||
| 020 | |a 9781614993421 |9 978-1-61499-342-1 | ||
| 020 | |a 9783898386432 |9 978-3-89838-643-2 | ||
| 035 | |a (OCoLC)868068680 | ||
| 035 | |a (DE-599)BVBBV043032276 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.332 |2 22 | |
| 100 | 1 | |a Krötzsch, Markus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Description logic rules |c Markus Krötzsch |
| 264 | 1 | |a [Amsterdam] |b IOS Press |b AKA |c ©2010 | |
| 300 | |a 1 online resource (xii, 263 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies on the Semantic Web |v v. 008 | |
| 500 | |a Print version record | ||
| 505 | 8 | |a Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language | |
| 505 | 8 | |a Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment | |
| 505 | 8 | |a Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary | |
| 505 | 8 | |a Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index | |
| 505 | 8 | |a Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary | |
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 7 | |a Description logics |2 fast | |
| 650 | 7 | |a Terminologische Logik |2 swd | |
| 650 | 4 | |a Description logics | |
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Krötzsch, Markus |t Description logic rules |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=683317 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028456927 | ||
| 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=683317 |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=683317 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175389416751104 |
|---|---|
| any_adam_object | |
| author | Krötzsch, Markus |
| author_facet | Krötzsch, Markus |
| author_role | aut |
| author_sort | Krötzsch, Markus |
| author_variant | m k mk |
| building | Verbundindex |
| bvnumber | BV043032276 |
| collection | ZDB-4-EBA |
| contents | Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary |
| ctrlnum | (OCoLC)868068680 (DE-599)BVBBV043032276 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05184nmm a2200613zcb4500</leader><controlfield tag="001">BV043032276</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151120s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1306284759</subfield><subfield code="9">1-306-28475-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607506548</subfield><subfield code="9">1-60750-654-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614993424</subfield><subfield code="9">1-61499-342-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3898386430</subfield><subfield code="9">3-89838-643-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781306284752</subfield><subfield code="9">978-1-306-28475-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607506546</subfield><subfield code="9">978-1-60750-654-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993421</subfield><subfield code="9">978-1-61499-342-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783898386432</subfield><subfield code="9">978-3-89838-643-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868068680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043032276</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.332</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krötzsch, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Description logic rules</subfield><subfield code="c">Markus Krötzsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Amsterdam]</subfield><subfield code="b">IOS Press</subfield><subfield code="b">AKA</subfield><subfield code="c">©2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 263 pages)</subfield><subfield code="b">illustrations</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="490" ind1="0" ind2=" "><subfield code="a">Studies on the Semantic Web</subfield><subfield code="v">v. 008</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / General</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">Terminologische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Description logics</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)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</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">2\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</subfield><subfield code="a">Krötzsch, Markus</subfield><subfield code="t">Description logic rules</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=683317</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-028456927</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=683317</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=683317</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)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV043032276 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:15:31Z |
| institution | BVB |
| isbn | 1306284759 1607506548 1614993424 3898386430 9781306284752 9781607506546 9781614993421 9783898386432 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028456927 |
| oclc_num | 868068680 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource (xii, 263 pages) illustrations |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | IOS Press AKA |
| record_format | marc |
| series2 | Studies on the Semantic Web |
| spelling | Krötzsch, Markus Verfasser aut Description logic rules Markus Krötzsch [Amsterdam] IOS Press AKA ©2010 1 online resource (xii, 263 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Studies on the Semantic Web v. 008 Print version record Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary COMPUTERS / General bisacsh Description logics fast Terminologische Logik swd Description logics Terminologische Logik (DE-588)4359506-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Terminologische Logik (DE-588)4359506-6 s 2\p DE-604 Erscheint auch als Druck-Ausgabe Krötzsch, Markus Description logic rules http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=683317 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 | Krötzsch, Markus Description logic rules Title Page; Preface; Contents; List of Figures; Introduction; Ontologies and the Semantic Web; Description Logics; What is a Rule?; Aims and Objectives; Guide to the Reader; Basic Definitions; First-Order Logic with Equality; Semantic Correspondences between Logical Theories; Computational Complexity; Introduction to Description Logics; The Description Logic SROIQ; Syntax; Semantics and Inferencing; Simplifications and Normal Forms; Relationship of DLs to Other Logics; Description Logic Nomenclature; Combining Description Logics with Datalog; Datalog as a First-Order Rule Language Syntax of DatalogSemantics of Datalog; Equality; Datalog cup Description Logics: SWRL; Defining SWRL; Reasoning in SWRL; Approaches for Combining Rules and DLs; Rules and Conjunctive Queries; Extending Description Logics with Role Constructors; Introducing Role Expressions; Role Expressions for SROIQ and SHOIQ; Safe Role Expressions for SHIQ; A Tractable DL with Role Expressions; Summary; Related Work; Horn Logic Fragments of Description Logics; A Horn Fragment of SROIQ; A Light-Weight Horn-DL: Horn-FL0; PSpace-Complete Horn DLs: From Horn-FL- to Horn-FLOH-; Hardness; Containment Horn-SHIQ and Other ExpTime-Complete Horn DLsAlternating Turing Machines; Simulating ATMs in Horn-FLE; Summary; Related Work; The Datalog Fragment of Description Logic; Initial Considerations and Problem Definition; The Datalog Fragment of ALC; Defining Description Logic Programs; Emulating DLP in Datalog; Model Constructions for Datalog; Showing Structural Maximality of DLP; Summary; Related Work; Description Logic Fragments of SWRL: DL Rules; Initial Observations; Defining SROIQ Rules; Adding Role Constructors; Further Classes of DL Rules; Implementing DL Rules in Datalog; Summary Related WorkExtending DL Rules with DL-Safe Variables; Introducing DL-Safe Rules; DL Rules with Safe Variables; Reasoning Complexity of SROIQ+safe Rules; Tractable DL-Safe Rules: ELP; Summary; Related Work; Conclusions; Summary of the Results; Decidable Fragments of SWRL; Rule Fragments of Description Logics; Tractable Knowledge Representation Languages; Significance of the Results; Future Work; Bibliography; Index Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary COMPUTERS / General bisacsh Description logics fast Terminologische Logik swd Description logics Terminologische Logik (DE-588)4359506-6 gnd |
| subject_GND | (DE-588)4359506-6 (DE-588)4113937-9 |
| title | Description logic rules |
| title_auth | Description logic rules |
| title_exact_search | Description logic rules |
| title_full | Description logic rules Markus Krötzsch |
| title_fullStr | Description logic rules Markus Krötzsch |
| title_full_unstemmed | Description logic rules Markus Krötzsch |
| title_short | Description logic rules |
| title_sort | description logic rules |
| topic | COMPUTERS / General bisacsh Description logics fast Terminologische Logik swd Description logics Terminologische Logik (DE-588)4359506-6 gnd |
| topic_facet | COMPUTERS / General Description logics Terminologische Logik Hochschulschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=683317 |
| work_keys_str_mv | AT krotzschmarkus descriptionlogicrules |