Description logic rules /:
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 propo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Amsterdam] :
IOS Press : AKA,
©2010.
|
| Schriftenreihe: | Studies on the Semantic Web ;
v. 008. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (xii, 263 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 237-257) and index. |
| ISBN: | 9781614993421 1614993424 1306284759 9781306284752 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn868068680 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140114s2010 ne a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IOSPR |d YDXCP |d IDEBK |d EBLCP |d MEAUC |d E7B |d CCO |d DEBSZ |d OCLCQ |d COCUF |d AGLDB |d MOR |d PIFPO |d ZCU |d MERUC |d OCLCQ |d U3W |d STF |d VTS |d NRAMU |d ICG |d OCLCQ |d INT |d VT2 |d CHVBK |d OCLCO |d JBG |d OCLCO |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d OCLCO |d TXE |d OCLCQ |d OCLCO |d UEJ |d OCLCQ | ||
| 016 | 7 | |a 1007916079 |2 DE-101 | |
| 019 | |a 867820219 |a 869434768 |a 1055333952 |a 1066626710 |a 1081256331 | ||
| 020 | |a 9781614993421 |q (electronic bk.) | ||
| 020 | |a 1614993424 |q (electronic bk.) | ||
| 020 | |a 1306284759 |q (ebk) | ||
| 020 | |a 9781306284752 |q (ebk) | ||
| 020 | |z 1607506548 | ||
| 020 | |z 9781607506546 | ||
| 020 | |z 9783898386432 | ||
| 020 | |z 3898386430 | ||
| 035 | |a (OCoLC)868068680 |z (OCoLC)867820219 |z (OCoLC)869434768 |z (OCoLC)1055333952 |z (OCoLC)1066626710 |z (OCoLC)1081256331 | ||
| 037 | |a 559726 |b MIL | ||
| 050 | 4 | |a Q387.3 |b .K76 2010eb | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 7 | |a 006.332 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Krötzsch, Markus, |e author. | |
| 245 | 1 | 0 | |a Description logic rules / |c Markus Krötzsch. |
| 264 | 1 | |a [Amsterdam] : |b IOS Press : |b AKA, |c ©2010. | |
| 264 | 4 | |c ©2010 | |
| 300 | |a 1 online resource (xii, 263 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies on the Semantic Web ; |v volume 008 | |
| 504 | |a Includes bibliographical references (pages 237-257) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |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. | |
| 520 | |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 | 0 | |a Description logics. |0 http://id.loc.gov/authorities/subjects/sh2002004491 | |
| 650 | 6 | |a Logiques de description. | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Description logics |2 fast | |
| 650 | 7 | |a Terminologische Logik |2 gnd |0 http://d-nb.info/gnd/4359506-6 | |
| 776 | 0 | 8 | |i Print version: |a Krötzsch, Markus. |t Description logic rules |z 1607506548 |w (DLC) 2011286608 |w (OCoLC)694547813 |
| 830 | 0 | |a Studies on the Semantic Web ; |v v. 008. |0 http://id.loc.gov/authorities/names/no2009156151 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683317 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1589010 | ||
| 938 | |a ebrary |b EBRY |n ebr10827950 | ||
| 938 | |a EBSCOhost |b EBSC |n 683317 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27261284 | ||
| 938 | |a YBP Library Services |b YANK |n 11560703 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn868068680 |
|---|---|
| _version_ | 1816882256260628480 |
| adam_text | |
| 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 | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387.3 .K76 2010eb |
| callnumber-search | Q387.3 .K76 2010eb |
| callnumber-sort | Q 3387.3 K76 42010EB |
| callnumber-subject | Q - General Science |
| 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. |
| ctrlnum | (OCoLC)868068680 |
| 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>05529cam a2200661 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn868068680</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">140114s2010 ne a ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">EBLCP</subfield><subfield code="d">MEAUC</subfield><subfield code="d">E7B</subfield><subfield code="d">CCO</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFPO</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">CHVBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">TXE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007916079</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">867820219</subfield><subfield code="a">869434768</subfield><subfield code="a">1055333952</subfield><subfield code="a">1066626710</subfield><subfield code="a">1081256331</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993421</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614993424</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1306284759</subfield><subfield code="q">(ebk)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781306284752</subfield><subfield code="q">(ebk)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1607506548</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607506546</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783898386432</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3898386430</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868068680</subfield><subfield code="z">(OCoLC)867820219</subfield><subfield code="z">(OCoLC)869434768</subfield><subfield code="z">(OCoLC)1055333952</subfield><subfield code="z">(OCoLC)1066626710</subfield><subfield code="z">(OCoLC)1081256331</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">559726</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q387.3</subfield><subfield code="b">.K76 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.332</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krötzsch, Markus,</subfield><subfield code="e">author.</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="264" ind1=" " ind2="4"><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="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies on the Semantic Web ;</subfield><subfield code="v">volume 008</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 237-257) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" 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="520" ind1=" " 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="0"><subfield code="a">Description logics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2002004491</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiques de description.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">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">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4359506-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Krötzsch, Markus.</subfield><subfield code="t">Description logic rules</subfield><subfield code="z">1607506548</subfield><subfield code="w">(DLC) 2011286608</subfield><subfield code="w">(OCoLC)694547813</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies on the Semantic Web ;</subfield><subfield code="v">v. 008.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009156151</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683317</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1589010</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10827950</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">683317</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis27261284</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11560703</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn868068680 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:43Z |
| institution | BVB |
| isbn | 9781614993421 1614993424 1306284759 9781306284752 |
| language | English |
| oclc_num | 868068680 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xii, 263 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | IOS Press : AKA, |
| record_format | marc |
| series | Studies on the Semantic Web ; |
| series2 | Studies on the Semantic Web ; |
| spelling | Krötzsch, Markus, author. Description logic rules / Markus Krötzsch. [Amsterdam] : IOS Press : AKA, ©2010. ©2010 1 online resource (xii, 263 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Studies on the Semantic Web ; volume 008 Includes bibliographical references (pages 237-257) and index. 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. Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Logiques de description. COMPUTERS General. bisacsh Description logics fast Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 Print version: Krötzsch, Markus. Description logic rules 1607506548 (DLC) 2011286608 (OCoLC)694547813 Studies on the Semantic Web ; v. 008. http://id.loc.gov/authorities/names/no2009156151 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683317 Volltext |
| spellingShingle | Krötzsch, Markus Description logic rules / Studies on the Semantic Web ; 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. Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Logiques de description. COMPUTERS General. bisacsh Description logics fast Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 |
| subject_GND | http://id.loc.gov/authorities/subjects/sh2002004491 http://d-nb.info/gnd/4359506-6 |
| 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 | Description logics. http://id.loc.gov/authorities/subjects/sh2002004491 Logiques de description. COMPUTERS General. bisacsh Description logics fast Terminologische Logik gnd http://d-nb.info/gnd/4359506-6 |
| topic_facet | Description logics. Logiques de description. COMPUTERS General. Description logics Terminologische Logik |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683317 |
| work_keys_str_mv | AT krotzschmarkus descriptionlogicrules |