On Keys and Functional Dependencies as First-Class Citizens in Description Logics View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

David Toman , Grant Weddell

ABSTRACT

We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description logic. In particular, we show that surprisingly simple forms of such constraints lead to undecidability of the associated logical implication problem if they are allowed within the scope of a negation or on the left-hand-side of inclusion dependencies. We then show that allowing a very general form of identification constraints to occur in the scope of monotone concept constructors on the right-hand-side of inclusion dependencies still leads to decidable implication problems. Finally, we consider the relationship between certain classes of identification constraints and nominals. More... »

PAGES

647-661

Book

TITLE

Automated Reasoning

ISBN

978-3-540-37187-8
978-3-540-37188-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11814771_52

DOI

http://dx.doi.org/10.1007/11814771_52

DIMENSIONS

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


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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "David R. Cheriton School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "David R. Cheriton School of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Toman", 
        "givenName": "David", 
        "id": "sg:person.011644611743.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "David R. Cheriton School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "David R. Cheriton School of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Weddell", 
        "givenName": "Grant", 
        "id": "sg:person.01111756132.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description logic. In particular, we show that surprisingly simple forms of such constraints lead to undecidability of the associated logical implication problem if they are allowed within the scope of a negation or on the left-hand-side of inclusion dependencies. We then show that allowing a very general form of identification constraints to occur in the scope of monotone concept constructors on the right-hand-side of inclusion dependencies still leads to decidable implication problems. Finally, we consider the relationship between certain classes of identification constraints and nominals.", 
    "editor": [
      {
        "familyName": "Furbach", 
        "givenName": "Ulrich", 
        "type": "Person"
      }, 
      {
        "familyName": "Shankar", 
        "givenName": "Natarajan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11814771_52", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-37187-8", 
        "978-3-540-37188-5"
      ], 
      "name": "Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "status", 
      "side", 
      "full status", 
      "relationship", 
      "form", 
      "functional dependencies", 
      "dependency", 
      "problem", 
      "scope", 
      "class", 
      "key", 
      "simple form", 
      "certain class", 
      "citizens", 
      "constraints", 
      "nominals", 
      "such constraints", 
      "negation", 
      "identification constraints", 
      "general form", 
      "concept constructors", 
      "class citizens", 
      "logic", 
      "constructors", 
      "description logics", 
      "undecidability", 
      "logical implication problem", 
      "implication problem", 
      "inclusion dependencies", 
      "Boolean-complete description logic", 
      "monotone concept constructors", 
      "decidable implication problems"
    ], 
    "name": "On Keys and Functional Dependencies as First-Class Citizens in Description Logics", 
    "pagination": "647-661", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1038861224"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11814771_52"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11814771_52", 
      "https://app.dimensions.ai/details/publication/pub.1038861224"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:03", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_291.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11814771_52"
  }
]
 

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/11814771_52'

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/11814771_52'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11814771_52'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11814771_52'


 

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

104 TRIPLES      23 PREDICATES      58 URIs      51 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11814771_52 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author Nfcb7523034154367a6d22b58a1ed7f0b
4 schema:datePublished 2006
5 schema:datePublishedReg 2006-01-01
6 schema:description We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description logic. In particular, we show that surprisingly simple forms of such constraints lead to undecidability of the associated logical implication problem if they are allowed within the scope of a negation or on the left-hand-side of inclusion dependencies. We then show that allowing a very general form of identification constraints to occur in the scope of monotone concept constructors on the right-hand-side of inclusion dependencies still leads to decidable implication problems. Finally, we consider the relationship between certain classes of identification constraints and nominals.
7 schema:editor N87cde858476a4dedbaf2af1222b05871
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nd48b5a425bba42b7950c4be8ee6833b5
12 schema:keywords Boolean-complete description logic
13 certain class
14 citizens
15 class
16 class citizens
17 concept constructors
18 constraints
19 constructors
20 decidable implication problems
21 dependency
22 description logics
23 form
24 full status
25 functional dependencies
26 general form
27 identification constraints
28 implication problem
29 inclusion dependencies
30 key
31 logic
32 logical implication problem
33 monotone concept constructors
34 negation
35 nominals
36 problem
37 relationship
38 scope
39 side
40 simple form
41 status
42 such constraints
43 undecidability
44 schema:name On Keys and Functional Dependencies as First-Class Citizens in Description Logics
45 schema:pagination 647-661
46 schema:productId N520d12f8764448f08297fe5f4309c91c
47 Nbdea86a1414643049e03fa89e6bb740c
48 schema:publisher N340c97faafba4a52805b360c2b06c910
49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038861224
50 https://doi.org/10.1007/11814771_52
51 schema:sdDatePublished 2021-12-01T20:03
52 schema:sdLicense https://scigraph.springernature.com/explorer/license/
53 schema:sdPublisher N4b1962a925604e948810aaceb1c61619
54 schema:url https://doi.org/10.1007/11814771_52
55 sgo:license sg:explorer/license/
56 sgo:sdDataset chapters
57 rdf:type schema:Chapter
58 N2677df363b654696a0419f04238cd5af rdf:first Nfe29931e98a2481488ca2793c6906628
59 rdf:rest rdf:nil
60 N340c97faafba4a52805b360c2b06c910 schema:name Springer Nature
61 rdf:type schema:Organisation
62 N4b1962a925604e948810aaceb1c61619 schema:name Springer Nature - SN SciGraph project
63 rdf:type schema:Organization
64 N520d12f8764448f08297fe5f4309c91c schema:name doi
65 schema:value 10.1007/11814771_52
66 rdf:type schema:PropertyValue
67 N87cde858476a4dedbaf2af1222b05871 rdf:first Nb13bee462fd54d31b01a91491307bebd
68 rdf:rest N2677df363b654696a0419f04238cd5af
69 Nb13bee462fd54d31b01a91491307bebd schema:familyName Furbach
70 schema:givenName Ulrich
71 rdf:type schema:Person
72 Nbdea86a1414643049e03fa89e6bb740c schema:name dimensions_id
73 schema:value pub.1038861224
74 rdf:type schema:PropertyValue
75 Nd48b5a425bba42b7950c4be8ee6833b5 schema:isbn 978-3-540-37187-8
76 978-3-540-37188-5
77 schema:name Automated Reasoning
78 rdf:type schema:Book
79 Nde74d016fd9f42aa91351479d7ea2613 rdf:first sg:person.01111756132.29
80 rdf:rest rdf:nil
81 Nfcb7523034154367a6d22b58a1ed7f0b rdf:first sg:person.011644611743.11
82 rdf:rest Nde74d016fd9f42aa91351479d7ea2613
83 Nfe29931e98a2481488ca2793c6906628 schema:familyName Shankar
84 schema:givenName Natarajan
85 rdf:type schema:Person
86 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
87 schema:name Psychology and Cognitive Sciences
88 rdf:type schema:DefinedTerm
89 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
90 schema:name Psychology
91 rdf:type schema:DefinedTerm
92 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
93 schema:familyName Weddell
94 schema:givenName Grant
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
96 rdf:type schema:Person
97 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
98 schema:familyName Toman
99 schema:givenName David
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
101 rdf:type schema:Person
102 grid-institutes:grid.46078.3d schema:alternateName David R. Cheriton School of Computer Science, University of Waterloo, Canada
103 schema:name David R. Cheriton School of Computer Science, University of Waterloo, Canada
104 rdf:type schema:Organization
 




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


...