LEADER 04317nam 2200553 450 001 9910790733903321 005 20230725062125.0 010 $a1-61499-342-4 035 $a(CKB)2550000001179587 035 $a(EBL)1589010 035 $a(MiAaPQ)EBC1589010 035 $a(WaSeSS)Ind00045562 035 $a(Au-PeEL)EBL1589010 035 $a(CaPaEBR)ebr10827950 035 $a(CaONFJC)MIL559726 035 $a(OCoLC)867820219 035 $a(EXLCZ)992550000001179587 100 $a20140123h20102010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aDescription logic rules /$fMarkus Kro?tzsch 210 1$aHeidelberg, Germany :$cAKA :$cIOS Press,$d2010. 210 4$dİ2010 215 $a1 online resource (275 p.) 225 1 $aStudies on the Semantic Web,$x1868-1158 ;$vVolume 008 300 $aDescription based upon print version of record. 311 $a1-60750-654-8 311 $a1-306-28475-9 320 $aIncludes bibliographical references and index. 327 $aTitle 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 327 $aSyntax 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 327 $aHorn-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 327 $aRelated 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 330 $aOntological 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 410 0$aStudies on the Semantic Web ;$vv. 8. 606 $aDescription logics 615 0$aDescription logics. 676 $a006.332 700 $aKro?tzsch$b Markus$0619196 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910790733903321 996 $aDescription logic rules$93742318 997 $aUNINA