Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2008

AUTHORS

Boris Motik

ABSTRACT

Description logics (DLs) and rule-based systems are two prominent families of knowledge representation formalisms. While DLs are focused on describing and reasoning about conceptual knowledge, rules are focused on answering queries about facts in the knowledge base. So far, research on DLs has been largely isolated from the research on rules. With the advent of the Semantic Web, however, it became apparent that neither formalism alone can cover all the practical use cases. The integration between DLs and rules, however, is technically challenging due to significant differences in the underlying semantic assumptions. In particular, DLs are based on standard first-order semantics and open-world assumption, whereas rules typically employ closed-world semantics based on a variant of circumscription.In my talk, I shall present an overview of the benefits of integrating DLs and rules in a coherent semantic framework, and shall discuss the main challenges in achieving a tight integration. I shall present an overview of the approaches currently discussed in literature. Finally, I shall present in more detail the approach that is based on the nonmonotonic logic MKNF by Lifschitz. This approach is tight in the sense that DLs and rules are given a common model-theoretic semantics. Furthermore, it is faithful in the sense that it is compatible with the original semantics of both DLs and rules. Finally, it is expressive and can naturally capture many of the existing proposals. I shall discuss the definitions of the semantics of the hybrid formalism, present a decision procedure for a particular decidable fragment, and discuss the complexity bounds of reasoning. More... »

PAGES

12-12

Book

TITLE

Web Reasoning and Rule Systems

ISBN

978-3-540-88736-2
978-3-540-88737-9

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-88737-9_2

DOI

http://dx.doi.org/10.1007/978-3-540-88737-9_2

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1040804239


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "University of Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Motik", 
        "givenName": "Boris", 
        "id": "sg:person.07401076267.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "Description logics (DLs) and rule-based systems are two prominent families of knowledge representation formalisms. While DLs are focused on describing and reasoning about conceptual knowledge, rules are focused on answering queries about facts in the knowledge base. So far, research on DLs has been largely isolated from the research on rules. With the advent of the Semantic Web, however, it became apparent that neither formalism alone can cover all the practical use cases. The integration between DLs and rules, however, is technically challenging due to significant differences in the underlying semantic assumptions. In particular, DLs are based on standard first-order semantics and open-world assumption, whereas rules typically employ closed-world semantics based on a variant of circumscription.In my talk, I shall present an overview of the benefits of integrating DLs and rules in a coherent semantic framework, and shall discuss the main challenges in achieving a tight integration. I shall present an overview of the approaches currently discussed in literature. Finally, I shall present in more detail the approach that is based on the nonmonotonic logic MKNF by Lifschitz. This approach is tight in the sense that DLs and rules are given a common model-theoretic semantics. Furthermore, it is faithful in the sense that it is compatible with the original semantics of both DLs and rules. Finally, it is expressive and can naturally capture many of the existing proposals. I shall discuss the definitions of the semantics of the hybrid formalism, present a decision procedure for a particular decidable fragment, and discuss the complexity bounds of reasoning.", 
    "editor": [
      {
        "familyName": "Calvanese", 
        "givenName": "Diego", 
        "type": "Person"
      }, 
      {
        "familyName": "Lausen", 
        "givenName": "Georg", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-88737-9_2", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-88736-2", 
        "978-3-540-88737-9"
      ], 
      "name": "Web Reasoning and Rule Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "description logics", 
      "open-world assumption", 
      "closed-world semantics", 
      "rule-based system", 
      "first-order semantics", 
      "model-theoretic semantics", 
      "practical use cases", 
      "knowledge representation formalism", 
      "Semantic Web", 
      "use cases", 
      "reasoning algorithm", 
      "representation formalism", 
      "original semantics", 
      "semantic framework", 
      "tight integration", 
      "semantics", 
      "complexity bounds", 
      "knowledge base", 
      "decidable fragment", 
      "semantic assumptions", 
      "main challenges", 
      "decision procedure", 
      "logic", 
      "rules", 
      "queries", 
      "integration", 
      "MKNF", 
      "hybrid formalism", 
      "algorithm", 
      "Web", 
      "reasoning", 
      "conceptual knowledge", 
      "formalism", 
      "framework", 
      "Lifschitz", 
      "proposal", 
      "overview", 
      "more detail", 
      "bounds", 
      "system", 
      "challenges", 
      "advent", 
      "research", 
      "knowledge", 
      "assumption", 
      "definition", 
      "sense", 
      "base", 
      "detail", 
      "benefits", 
      "prominent family", 
      "fact", 
      "variants", 
      "literature", 
      "procedure", 
      "talk", 
      "cases", 
      "circumscription", 
      "fragments", 
      "family", 
      "differences", 
      "significant differences", 
      "approach", 
      "coherent semantic framework", 
      "standard first-order semantics", 
      "variant of circumscription", 
      "nonmonotonic logic MKNF", 
      "logic MKNF", 
      "common model-theoretic semantics", 
      "particular decidable fragment", 
      "Faithful Integration"
    ], 
    "name": "Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules", 
    "pagination": "12-12", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040804239"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-88737-9_2"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-88737-9_2", 
      "https://app.dimensions.ai/details/publication/pub.1040804239"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:09", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_149.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-88737-9_2"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88737-9_2'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88737-9_2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88737-9_2'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88737-9_2'


 

This table displays all metadata directly associated to this object as RDF triples.

136 TRIPLES      23 PREDICATES      97 URIs      90 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-88737-9_2 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N8bff2f66bd694596a4b770e53561b810
4 schema:datePublished 2008
5 schema:datePublishedReg 2008-01-01
6 schema:description Description logics (DLs) and rule-based systems are two prominent families of knowledge representation formalisms. While DLs are focused on describing and reasoning about conceptual knowledge, rules are focused on answering queries about facts in the knowledge base. So far, research on DLs has been largely isolated from the research on rules. With the advent of the Semantic Web, however, it became apparent that neither formalism alone can cover all the practical use cases. The integration between DLs and rules, however, is technically challenging due to significant differences in the underlying semantic assumptions. In particular, DLs are based on standard first-order semantics and open-world assumption, whereas rules typically employ closed-world semantics based on a variant of circumscription.In my talk, I shall present an overview of the benefits of integrating DLs and rules in a coherent semantic framework, and shall discuss the main challenges in achieving a tight integration. I shall present an overview of the approaches currently discussed in literature. Finally, I shall present in more detail the approach that is based on the nonmonotonic logic MKNF by Lifschitz. This approach is tight in the sense that DLs and rules are given a common model-theoretic semantics. Furthermore, it is faithful in the sense that it is compatible with the original semantics of both DLs and rules. Finally, it is expressive and can naturally capture many of the existing proposals. I shall discuss the definitions of the semantics of the hybrid formalism, present a decision procedure for a particular decidable fragment, and discuss the complexity bounds of reasoning.
7 schema:editor N6f9b463c003d41faba8ef2fa5b51f1d9
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N21a2b292635f499f9025ee4bc88a627b
12 schema:keywords Faithful Integration
13 Lifschitz
14 MKNF
15 Semantic Web
16 Web
17 advent
18 algorithm
19 approach
20 assumption
21 base
22 benefits
23 bounds
24 cases
25 challenges
26 circumscription
27 closed-world semantics
28 coherent semantic framework
29 common model-theoretic semantics
30 complexity bounds
31 conceptual knowledge
32 decidable fragment
33 decision procedure
34 definition
35 description logics
36 detail
37 differences
38 fact
39 family
40 first-order semantics
41 formalism
42 fragments
43 framework
44 hybrid formalism
45 integration
46 knowledge
47 knowledge base
48 knowledge representation formalism
49 literature
50 logic
51 logic MKNF
52 main challenges
53 model-theoretic semantics
54 more detail
55 nonmonotonic logic MKNF
56 open-world assumption
57 original semantics
58 overview
59 particular decidable fragment
60 practical use cases
61 procedure
62 prominent family
63 proposal
64 queries
65 reasoning
66 reasoning algorithm
67 representation formalism
68 research
69 rule-based system
70 rules
71 semantic assumptions
72 semantic framework
73 semantics
74 sense
75 significant differences
76 standard first-order semantics
77 system
78 talk
79 tight integration
80 use cases
81 variant of circumscription
82 variants
83 schema:name Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules
84 schema:pagination 12-12
85 schema:productId N07f828165a944907b12f43ea2caf71d1
86 N565c01c506fd49dc98803dc9dbc31f01
87 schema:publisher N4c9089d002c7478a8f9a1f523858b726
88 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040804239
89 https://doi.org/10.1007/978-3-540-88737-9_2
90 schema:sdDatePublished 2022-01-01T19:09
91 schema:sdLicense https://scigraph.springernature.com/explorer/license/
92 schema:sdPublisher N9a8662201dbf4cd59e4628ce7cd78add
93 schema:url https://doi.org/10.1007/978-3-540-88737-9_2
94 sgo:license sg:explorer/license/
95 sgo:sdDataset chapters
96 rdf:type schema:Chapter
97 N026e81d9a4144131b6f2b3c32bc31426 schema:familyName Calvanese
98 schema:givenName Diego
99 rdf:type schema:Person
100 N07f828165a944907b12f43ea2caf71d1 schema:name dimensions_id
101 schema:value pub.1040804239
102 rdf:type schema:PropertyValue
103 N21a2b292635f499f9025ee4bc88a627b schema:isbn 978-3-540-88736-2
104 978-3-540-88737-9
105 schema:name Web Reasoning and Rule Systems
106 rdf:type schema:Book
107 N4c9089d002c7478a8f9a1f523858b726 schema:name Springer Nature
108 rdf:type schema:Organisation
109 N565c01c506fd49dc98803dc9dbc31f01 schema:name doi
110 schema:value 10.1007/978-3-540-88737-9_2
111 rdf:type schema:PropertyValue
112 N6f9b463c003d41faba8ef2fa5b51f1d9 rdf:first N026e81d9a4144131b6f2b3c32bc31426
113 rdf:rest Naee4a49b54cb4849a3a13ef9a8ba5e5e
114 N8bff2f66bd694596a4b770e53561b810 rdf:first sg:person.07401076267.36
115 rdf:rest rdf:nil
116 N9a8662201dbf4cd59e4628ce7cd78add schema:name Springer Nature - SN SciGraph project
117 rdf:type schema:Organization
118 Naee4a49b54cb4849a3a13ef9a8ba5e5e rdf:first Nbe5f1749ebc54561ac5758c6b6b79cd9
119 rdf:rest rdf:nil
120 Nbe5f1749ebc54561ac5758c6b6b79cd9 schema:familyName Lausen
121 schema:givenName Georg
122 rdf:type schema:Person
123 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
124 schema:name Information and Computing Sciences
125 rdf:type schema:DefinedTerm
126 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
127 schema:name Information Systems
128 rdf:type schema:DefinedTerm
129 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
130 schema:familyName Motik
131 schema:givenName Boris
132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
133 rdf:type schema:Person
134 grid-institutes:grid.4991.5 schema:alternateName University of Oxford, UK
135 schema:name University of Oxford, UK
136 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...