2004
AUTHORSBoris Motik , Ulrike Sattler , Rudi Studer
ABSTRACTBoth 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... »
PAGES549-563
The Semantic Web – ISWC 2004
ISBN
978-3-540-23798-3
978-3-540-30475-3
http://scigraph.springernature.com/pub.10.1007/978-3-540-30475-3_38
DOIhttp://dx.doi.org/10.1007/978-3-540-30475-3_38
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1029644560
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
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 |