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", 
      "DL-safe rules", 
      "Semantic Web ontologies", 
      "interesting reasoning problems", 
      "Web ontologies", 
      "combined logic", 
      "rule bodies", 
      "disjunctive Datalog", 
      "Horn rules", 
      "queries", 
      "universal quantification", 
      "reasoning problems", 
      "decidable logic", 
      "non-trivial examples", 
      "arbitrary way", 
      "logic", 
      "rules", 
      "Datalog", 
      "ontology", 
      "such combinations", 
      "algorithm", 
      "logic perspective", 
      "decidability", 
      "undecidability", 
      "negation", 
      "power", 
      "example", 
      "way", 
      "knowledge", 
      "combination", 
      "one", 
      "interaction of variables", 
      "variables", 
      "means", 
      "perspective", 
      "interaction", 
      "reduction", 
      "quantification", 
      "body", 
      "atoms", 
      "problem", 
      "function-free Horn rules", 
      "orthogonal expressive power", 
      "tree-like rules", 
      "monotonic negation", 
      "description logic perspective", 
      "decidable such combination", 
      "similar decidable combinations", 
      "decidable combinations", 
      "DL-safe ones"
    ], 
    "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-01-01T19:13", 
    "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_231.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.

138 TRIPLES      23 PREDICATES      77 URIs      70 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 N6ba949a231b14aa9b68e223450401fa6
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 N005966c13b0748fe9036aaabed47d653
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nfd64b556bd4044adaf807f8723cb7763
12 schema:keywords DL-safe ones
13 DL-safe rules
14 Datalog
15 Horn rules
16 OWL-DL
17 Semantic Web ontologies
18 Web ontologies
19 algorithm
20 arbitrary way
21 atoms
22 body
23 combination
24 combined logic
25 decidability
26 decidable combinations
27 decidable logic
28 decidable such combination
29 description logic perspective
30 disjunctive Datalog
31 example
32 expressive power
33 function-free Horn rules
34 interaction
35 interaction of variables
36 interesting reasoning problems
37 knowledge
38 logic
39 logic perspective
40 means
41 monotonic negation
42 negation
43 non-trivial examples
44 one
45 ontology
46 orthogonal expressive power
47 perspective
48 power
49 problem
50 quantification
51 queries
52 reasoning problems
53 reduction
54 rule bodies
55 rules
56 similar decidable combinations
57 such combinations
58 tree-like rules
59 undecidability
60 universal quantification
61 variables
62 way
63 schema:name Query Answering for OWL-DL with Rules
64 schema:pagination 549-563
65 schema:productId N1329868be42147cca8933bc31918ea78
66 N7c92a2c45b0545ce8f4e29206f7ceed3
67 schema:publisher N87740acca2ea473ea3d3e7ee5de967cf
68 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029644560
69 https://doi.org/10.1007/978-3-540-30475-3_38
70 schema:sdDatePublished 2022-01-01T19:13
71 schema:sdLicense https://scigraph.springernature.com/explorer/license/
72 schema:sdPublisher Nbf9601b0bacc47b4a9d78ceb5f5b37d9
73 schema:url https://doi.org/10.1007/978-3-540-30475-3_38
74 sgo:license sg:explorer/license/
75 sgo:sdDataset chapters
76 rdf:type schema:Chapter
77 N005966c13b0748fe9036aaabed47d653 rdf:first N066ccbd8a2d849a1ad4c00ad025cd3f3
78 rdf:rest Nce60f406b0fd4c61a46d4c16d4632ef0
79 N066ccbd8a2d849a1ad4c00ad025cd3f3 schema:familyName McIlraith
80 schema:givenName Sheila A.
81 rdf:type schema:Person
82 N1329868be42147cca8933bc31918ea78 schema:name dimensions_id
83 schema:value pub.1029644560
84 rdf:type schema:PropertyValue
85 N354c778b849c47ada94ffe573d7a7d17 rdf:first N3a96e2e1b2334785a3729e800a45c3dc
86 rdf:rest rdf:nil
87 N3a96e2e1b2334785a3729e800a45c3dc schema:familyName van Harmelen
88 schema:givenName Frank
89 rdf:type schema:Person
90 N6ba949a231b14aa9b68e223450401fa6 rdf:first sg:person.07401076267.36
91 rdf:rest N7d7968a7eac74310afd2553d7a463c73
92 N7c92a2c45b0545ce8f4e29206f7ceed3 schema:name doi
93 schema:value 10.1007/978-3-540-30475-3_38
94 rdf:type schema:PropertyValue
95 N7d7968a7eac74310afd2553d7a463c73 rdf:first sg:person.015322100453.31
96 rdf:rest Nc0800dacaaa849cca16fac4ca83b83c8
97 N87740acca2ea473ea3d3e7ee5de967cf schema:name Springer Nature
98 rdf:type schema:Organisation
99 Nbf9601b0bacc47b4a9d78ceb5f5b37d9 schema:name Springer Nature - SN SciGraph project
100 rdf:type schema:Organization
101 Nc0800dacaaa849cca16fac4ca83b83c8 rdf:first sg:person.01024266115.06
102 rdf:rest rdf:nil
103 Nce60f406b0fd4c61a46d4c16d4632ef0 rdf:first Ne4aaafe6779c41899f56744b39ba4d94
104 rdf:rest N354c778b849c47ada94ffe573d7a7d17
105 Ne4aaafe6779c41899f56744b39ba4d94 schema:familyName Plexousakis
106 schema:givenName Dimitris
107 rdf:type schema:Person
108 Nfd64b556bd4044adaf807f8723cb7763 schema:isbn 978-3-540-23798-3
109 978-3-540-30475-3
110 schema:name The Semantic Web – ISWC 2004
111 rdf:type schema:Book
112 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
113 schema:name Information and Computing Sciences
114 rdf:type schema:DefinedTerm
115 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
116 schema:name Artificial Intelligence and Image Processing
117 rdf:type schema:DefinedTerm
118 sg:person.01024266115.06 schema:affiliation grid-institutes:grid.7892.4
119 schema:familyName Studer
120 schema:givenName Rudi
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01024266115.06
122 rdf:type schema:Person
123 sg:person.015322100453.31 schema:affiliation grid-institutes:grid.5379.8
124 schema:familyName Sattler
125 schema:givenName Ulrike
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31
127 rdf:type schema:Person
128 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.7892.4
129 schema:familyName Motik
130 schema:givenName Boris
131 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
132 rdf:type schema:Person
133 grid-institutes:grid.5379.8 schema:alternateName Department of Computer Science, Univ. of Manchester, UK
134 schema:name Department of Computer Science, Univ. of Manchester, UK
135 rdf:type schema:Organization
136 grid-institutes:grid.7892.4 schema:alternateName FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany
137 schema:name FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany
138 rdf:type schema:Organization
 




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


...