Query Answering for OWL-DL with Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2004

AUTHORS

Boris Motik , Ulrike Sattler , Rudi Studer

ABSTRACT

Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonic negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHIQ}(\mathbf{D})$\end{document} extended with DL-safe rules based on the reduction to disjunctive datalog. More... »

PAGES

549-563

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-30475-3_38

DOI

http://dx.doi.org/10.1007/978-3-540-30475-3_38

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Univ. of Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "Department of Computer Science, Univ. of Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sattler", 
        "givenName": "Ulrike", 
        "id": "sg:person.015322100453.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Studer", 
        "givenName": "Rudi", 
        "id": "sg:person.01024266115.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01024266115.06"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonic negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHIQ}(\\mathbf{D})$\\end{document} extended with DL-safe rules based on the reduction to disjunctive datalog.", 
    "editor": [
      {
        "familyName": "McIlraith", 
        "givenName": "Sheila A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Plexousakis", 
        "givenName": "Dimitris", 
        "type": "Person"
      }, 
      {
        "familyName": "van Harmelen", 
        "givenName": "Frank", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30475-3_38", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-23798-3", 
        "978-3-540-30475-3"
      ], 
      "name": "The Semantic Web \u2013 ISWC 2004", 
      "type": "Book"
    }, 
    "keywords": [
      "OWL DL", 
      "expressive power", 
      "Semantic Web ontologies", 
      "DL-safe rules", 
      "Web ontologies", 
      "combined logic", 
      "disjunctive Datalog", 
      "rule bodies", 
      "Horn rules", 
      "queries", 
      "reasoning problems", 
      "decidable logic", 
      "universal quantification", 
      "non-trivial examples", 
      "arbitrary way", 
      "logic", 
      "rules", 
      "Datalog", 
      "logics perspective", 
      "ontology", 
      "such combinations", 
      "algorithm", 
      "decidability", 
      "undecidability", 
      "interaction of variables", 
      "negation", 
      "power", 
      "way", 
      "example", 
      "knowledge", 
      "combination", 
      "one", 
      "means", 
      "perspective", 
      "variables", 
      "interaction", 
      "quantification", 
      "reduction", 
      "body", 
      "problem", 
      "atoms"
    ], 
    "name": "Query Answering for OWL-DL with Rules", 
    "pagination": "549-563", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1029644560"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30475-3_38"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30475-3_38", 
      "https://app.dimensions.ai/details/publication/pub.1029644560"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:49", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_463.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-30475-3_38"
  }
]
 

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-30475-3_38'

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-30475-3_38'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30475-3_38'

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-30475-3_38'


 

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

128 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-30475-3_38 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N144fc6c4b8f947b89ea34057273f3d11
4 schema:datePublished 2004
5 schema:datePublishedReg 2004-01-01
6 schema:description Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonic negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHIQ}(\mathbf{D})$\end{document} extended with DL-safe rules based on the reduction to disjunctive datalog.
7 schema:editor N8e08f23d1f854df9b2af3b9235798e32
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ne74196a146f4472584abd67f91668e4f
12 schema:keywords DL-safe rules
13 Datalog
14 Horn rules
15 OWL DL
16 Semantic Web ontologies
17 Web ontologies
18 algorithm
19 arbitrary way
20 atoms
21 body
22 combination
23 combined logic
24 decidability
25 decidable logic
26 disjunctive Datalog
27 example
28 expressive power
29 interaction
30 interaction of variables
31 knowledge
32 logic
33 logics perspective
34 means
35 negation
36 non-trivial examples
37 one
38 ontology
39 perspective
40 power
41 problem
42 quantification
43 queries
44 reasoning problems
45 reduction
46 rule bodies
47 rules
48 such combinations
49 undecidability
50 universal quantification
51 variables
52 way
53 schema:name Query Answering for OWL-DL with Rules
54 schema:pagination 549-563
55 schema:productId N1cecf5a5d7984f6eb81898ec2892e156
56 N2b18b84785894d3ba4b57d8e67380e50
57 schema:publisher N76016b35dae54a0ca7066684cda0772e
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029644560
59 https://doi.org/10.1007/978-3-540-30475-3_38
60 schema:sdDatePublished 2022-05-20T07:49
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher Naa89ac588bff4ead883bc89379417ad8
63 schema:url https://doi.org/10.1007/978-3-540-30475-3_38
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N144fc6c4b8f947b89ea34057273f3d11 rdf:first sg:person.07401076267.36
68 rdf:rest N45e67bcf9a4e45df91e75454619e50a9
69 N16d86c9c958e4d559957d63d2643ca24 rdf:first Nf9ebf831f30f4c298f7baaf9364f8f8d
70 rdf:rest rdf:nil
71 N1cecf5a5d7984f6eb81898ec2892e156 schema:name dimensions_id
72 schema:value pub.1029644560
73 rdf:type schema:PropertyValue
74 N2b18b84785894d3ba4b57d8e67380e50 schema:name doi
75 schema:value 10.1007/978-3-540-30475-3_38
76 rdf:type schema:PropertyValue
77 N45e67bcf9a4e45df91e75454619e50a9 rdf:first sg:person.015322100453.31
78 rdf:rest Ne759f5bf5dab4db9ba3192fd3e798268
79 N76016b35dae54a0ca7066684cda0772e schema:name Springer Nature
80 rdf:type schema:Organisation
81 N7b2945e5875843739dbcb79405257959 rdf:first Ne65564308d3242268c29d5e48cc42c8c
82 rdf:rest N16d86c9c958e4d559957d63d2643ca24
83 N8e08f23d1f854df9b2af3b9235798e32 rdf:first Ne284bea388bb4a129ee360dca2d23695
84 rdf:rest N7b2945e5875843739dbcb79405257959
85 Naa89ac588bff4ead883bc89379417ad8 schema:name Springer Nature - SN SciGraph project
86 rdf:type schema:Organization
87 Ne284bea388bb4a129ee360dca2d23695 schema:familyName McIlraith
88 schema:givenName Sheila A.
89 rdf:type schema:Person
90 Ne65564308d3242268c29d5e48cc42c8c schema:familyName Plexousakis
91 schema:givenName Dimitris
92 rdf:type schema:Person
93 Ne74196a146f4472584abd67f91668e4f schema:isbn 978-3-540-23798-3
94 978-3-540-30475-3
95 schema:name The Semantic Web – ISWC 2004
96 rdf:type schema:Book
97 Ne759f5bf5dab4db9ba3192fd3e798268 rdf:first sg:person.01024266115.06
98 rdf:rest rdf:nil
99 Nf9ebf831f30f4c298f7baaf9364f8f8d schema:familyName van Harmelen
100 schema:givenName Frank
101 rdf:type schema:Person
102 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
103 schema:name Information and Computing Sciences
104 rdf:type schema:DefinedTerm
105 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
106 schema:name Artificial Intelligence and Image Processing
107 rdf:type schema:DefinedTerm
108 sg:person.01024266115.06 schema:affiliation grid-institutes:grid.7892.4
109 schema:familyName Studer
110 schema:givenName Rudi
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01024266115.06
112 rdf:type schema:Person
113 sg:person.015322100453.31 schema:affiliation grid-institutes:grid.5379.8
114 schema:familyName Sattler
115 schema:givenName Ulrike
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31
117 rdf:type schema:Person
118 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.7892.4
119 schema:familyName Motik
120 schema:givenName Boris
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
122 rdf:type schema:Person
123 grid-institutes:grid.5379.8 schema:alternateName Department of Computer Science, Univ. of Manchester, UK
124 schema:name Department of Computer Science, Univ. of Manchester, UK
125 rdf:type schema:Organization
126 grid-institutes:grid.7892.4 schema:alternateName FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany
127 schema:name FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany
128 rdf:type schema:Organization
 




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


...