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


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2007-12-25

AUTHORS

David Toman, Grant Weddell

ABSTRACT

We investigate whether identification constraints such as keys and functional dependencies can be granted full status as concept constructors 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 constraint to occur in the scope of monotone concept constructors on the right-hand side of inclusion dependencies still leads to decidable implication problems. We consider the relationship between certain classes of identification constraints and nominals. More... »

PAGES

117-132

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10817-007-9092-z

DOI

http://dx.doi.org/10.1007/s10817-007-9092-z

DIMENSIONS

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


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, N2L 3G1, ON, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "David R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, ON, 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, N2L 3G1, ON, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "David R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, ON, 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"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-46564-2_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038671338", 
          "https://doi.org/10.1007/3-540-46564-2_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44503-x_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045586843", 
          "https://doi.org/10.1007/3-540-44503-x_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-63792-3_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046674633", 
          "https://doi.org/10.1007/3-540-63792-3_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44957-4_68", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029224827", 
          "https://doi.org/10.1007/3-540-44957-4_68"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00236-003-0115-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037398320", 
          "https://doi.org/10.1007/s00236-003-0115-x"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2007-12-25", 
    "datePublishedReg": "2007-12-25", 
    "description": "We investigate whether identification constraints such as keys and functional dependencies can be granted full status as concept constructors 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 constraint to occur in the scope of monotone concept constructors on the right-hand side of inclusion dependencies still leads to decidable implication problems. We consider the relationship between certain classes of identification constraints and nominals.", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s10817-007-9092-z", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136522", 
        "issn": [
          "0168-7433", 
          "1573-0670"
        ], 
        "name": "Journal of Automated Reasoning", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2-3", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "40"
      }
    ], 
    "keywords": [
      "status", 
      "side", 
      "full status", 
      "form", 
      "relationship", 
      "functional dependencies", 
      "dependency", 
      "problem", 
      "scope", 
      "left-hand side", 
      "class", 
      "key", 
      "certain class", 
      "simple form", 
      "citizens", 
      "constraints", 
      "right-hand side", 
      "nominals", 
      "identification constraints", 
      "such constraints", 
      "negation", 
      "general form", 
      "concept constructors", 
      "description logics", 
      "logic", 
      "implication problem", 
      "inclusion dependencies", 
      "constructors", 
      "logical implication problem", 
      "class citizens", 
      "undecidability", 
      "Boolean-complete description logic", 
      "monotone concept constructors", 
      "decidable implication problems"
    ], 
    "name": "On Keys and Functional Dependencies as First-Class Citizens in Description Logics", 
    "pagination": "117-132", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1010062526"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10817-007-9092-z"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10817-007-9092-z", 
      "https://app.dimensions.ai/details/publication/pub.1010062526"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2021-12-01T19:19", 
    "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/article/article_448.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s10817-007-9092-z"
  }
]
 

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/s10817-007-9092-z'

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/s10817-007-9092-z'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9092-z'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9092-z'


 

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

119 TRIPLES      22 PREDICATES      64 URIs      51 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10817-007-9092-z schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author Nf31c2a4a4d0146b38ef8e8b8a3b81dcd
4 schema:citation sg:pub.10.1007/3-540-44503-x_4
5 sg:pub.10.1007/3-540-44957-4_68
6 sg:pub.10.1007/3-540-46564-2_3
7 sg:pub.10.1007/3-540-63792-3_10
8 sg:pub.10.1007/s00236-003-0115-x
9 schema:datePublished 2007-12-25
10 schema:datePublishedReg 2007-12-25
11 schema:description We investigate whether identification constraints such as keys and functional dependencies can be granted full status as concept constructors 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 constraint to occur in the scope of monotone concept constructors on the right-hand side of inclusion dependencies still leads to decidable implication problems. We consider the relationship between certain classes of identification constraints and nominals.
12 schema:genre article
13 schema:inLanguage en
14 schema:isAccessibleForFree false
15 schema:isPartOf N06ae4c287c5f4c35bde4705d6f3efdfc
16 N1338004e9e5644a59f4df4e6f813bc24
17 sg:journal.1136522
18 schema:keywords Boolean-complete description logic
19 certain class
20 citizens
21 class
22 class citizens
23 concept constructors
24 constraints
25 constructors
26 decidable implication problems
27 dependency
28 description logics
29 form
30 full status
31 functional dependencies
32 general form
33 identification constraints
34 implication problem
35 inclusion dependencies
36 key
37 left-hand side
38 logic
39 logical implication problem
40 monotone concept constructors
41 negation
42 nominals
43 problem
44 relationship
45 right-hand side
46 scope
47 side
48 simple form
49 status
50 such constraints
51 undecidability
52 schema:name On Keys and Functional Dependencies as First-Class Citizens in Description Logics
53 schema:pagination 117-132
54 schema:productId N1a64ea58ceb94eb09eaf549da88ec117
55 Nfe3bd7f7822d4f8c9866a56c1cf78fac
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010062526
57 https://doi.org/10.1007/s10817-007-9092-z
58 schema:sdDatePublished 2021-12-01T19:19
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N26f49a1f611f49d183677d569e9821e1
61 schema:url https://doi.org/10.1007/s10817-007-9092-z
62 sgo:license sg:explorer/license/
63 sgo:sdDataset articles
64 rdf:type schema:ScholarlyArticle
65 N06ae4c287c5f4c35bde4705d6f3efdfc schema:volumeNumber 40
66 rdf:type schema:PublicationVolume
67 N1338004e9e5644a59f4df4e6f813bc24 schema:issueNumber 2-3
68 rdf:type schema:PublicationIssue
69 N1a64ea58ceb94eb09eaf549da88ec117 schema:name doi
70 schema:value 10.1007/s10817-007-9092-z
71 rdf:type schema:PropertyValue
72 N26f49a1f611f49d183677d569e9821e1 schema:name Springer Nature - SN SciGraph project
73 rdf:type schema:Organization
74 Nbb5b0c4cc58547e1872da0b490de6b17 rdf:first sg:person.01111756132.29
75 rdf:rest rdf:nil
76 Nf31c2a4a4d0146b38ef8e8b8a3b81dcd rdf:first sg:person.011644611743.11
77 rdf:rest Nbb5b0c4cc58547e1872da0b490de6b17
78 Nfe3bd7f7822d4f8c9866a56c1cf78fac schema:name dimensions_id
79 schema:value pub.1010062526
80 rdf:type schema:PropertyValue
81 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
82 schema:name Psychology and Cognitive Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
85 schema:name Psychology
86 rdf:type schema:DefinedTerm
87 sg:journal.1136522 schema:issn 0168-7433
88 1573-0670
89 schema:name Journal of Automated Reasoning
90 schema:publisher Springer Nature
91 rdf:type schema:Periodical
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 sg:pub.10.1007/3-540-44503-x_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045586843
103 https://doi.org/10.1007/3-540-44503-x_4
104 rdf:type schema:CreativeWork
105 sg:pub.10.1007/3-540-44957-4_68 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029224827
106 https://doi.org/10.1007/3-540-44957-4_68
107 rdf:type schema:CreativeWork
108 sg:pub.10.1007/3-540-46564-2_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038671338
109 https://doi.org/10.1007/3-540-46564-2_3
110 rdf:type schema:CreativeWork
111 sg:pub.10.1007/3-540-63792-3_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046674633
112 https://doi.org/10.1007/3-540-63792-3_10
113 rdf:type schema:CreativeWork
114 sg:pub.10.1007/s00236-003-0115-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1037398320
115 https://doi.org/10.1007/s00236-003-0115-x
116 rdf:type schema:CreativeWork
117 grid-institutes:grid.46078.3d schema:alternateName David R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, ON, Canada
118 schema:name David R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, ON, Canada
119 rdf:type schema:Organization
 




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


...