skip to content
Description logic rules Preview this item
ClosePreview this item
Checking...

Description logic rules

Author: Markus Krötzsch
Publisher: [Amsterdam] : IOS Press : AKA, ©2010.
Series: Studies on the Semantic Web, v. 008.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Krötzsch, Markus.
Description logic rules
(DLC) 2011286608
(OCoLC)694547813
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Markus Krötzsch
ISBN: 9781614993421 1614993424 1306284759 9781306284752
OCLC Number: 868068680
Description: 1 online resource (xii, 263 pages) : illustrations.
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.
Series Title: Studies on the Semantic Web, v. 008.
Responsibility: Markus Krötzsch.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/868068680>
library:oclcnum"868068680"
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:creator
schema:datePublished"2010"
schema:description"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."@en
schema:description"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."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/775440146>
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Description logic rules"@en
schema:url<http://ebooks.iospress.nl/isbn/978-1-61499-342-1>
schema:url<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=683317>
schema:url<http://public.eblib.com/choice/publicfullrecord.aspx?p=1589010>
schema:url<http://www.myilibrary.com?id=559726>
schema:url<http://site.ebrary.com/id/10827950>
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.