04317nam 2200553 450 991079073390332120230725062125.01-61499-342-4(CKB)2550000001179587(EBL)1589010(MiAaPQ)EBC1589010(WaSeSS)Ind00045562(Au-PeEL)EBL1589010(CaPaEBR)ebr10827950(CaONFJC)MIL559726(OCoLC)867820219(EXLCZ)99255000000117958720140123h20102010 uy 0engur|n|---|||||rdacontentrdamediardacarrierDescription logic rules /Markus KrötzschHeidelberg, Germany :AKA :IOS Press,2010.©20101 online resource (275 p.)Studies on the Semantic Web,1868-1158 ;Volume 008Description based upon print version of record.1-60750-654-8 1-306-28475-9 Includes bibliographical references and index.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 LanguageSyntax 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; ContainmentHorn-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; SummaryRelated 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; IndexOntological 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 Studies on the Semantic Web ;v. 8.Description logicsDescription logics.006.332Krötzsch Markus619196MiAaPQMiAaPQMiAaPQBOOK9910790733903321Description logic rules3742318UNINA