On Reasoning about Structural Equality in XML: A Description Logic Approach View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002-12-16

AUTHORS

David Toman , Grant Weddell

ABSTRACT

We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of document type definitions. This application depends on the novel ability of DLFDreg to express functional dependencies over sets of possibly infinite feature paths defined by regular languages. We also present a decision procedure for the associated logical implication problem. The procedure underlies a mapping of such problems to satisfiability problems of Datalog∨n,⌝s and in turn to the Ackermann case of the decision problem. More... »

PAGES

96-110

Book

TITLE

Database Theory — ICDT 2003

ISBN

978-3-540-00323-6
978-3-540-36285-2

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-36285-1_7

DOI

http://dx.doi.org/10.1007/3-540-36285-1_7

DIMENSIONS

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


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/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "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": "School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "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": "2002-12-16", 
    "datePublishedReg": "2002-12-16", 
    "description": "We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of document type definitions. This application depends on the novel ability of DLFDreg to express functional dependencies over sets of possibly infinite feature paths defined by regular languages. We also present a decision procedure for the associated logical implication problem. The procedure underlies a mapping of such problems to satisfiability problems of Datalog\u2228n,\u231ds and in turn to the Ackermann case of the decision problem.", 
    "editor": [
      {
        "familyName": "Calvanese", 
        "givenName": "Diego", 
        "type": "Person"
      }, 
      {
        "familyName": "Lenzerini", 
        "givenName": "Maurizio", 
        "type": "Person"
      }, 
      {
        "familyName": "Motwani", 
        "givenName": "Rajeev", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-36285-1_7", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-00323-6", 
        "978-3-540-36285-2"
      ], 
      "name": "Database Theory \u2014 ICDT 2003", 
      "type": "Book"
    }, 
    "keywords": [
      "Document Type Definition", 
      "description logic approach", 
      "description logic dialect", 
      "type definitions", 
      "logical implication problem", 
      "implication problem", 
      "feature paths", 
      "satisfiability problem", 
      "logic approach", 
      "functional dependencies", 
      "decision procedure", 
      "decision problem", 
      "regular languages", 
      "such problems", 
      "XML", 
      "structural equality", 
      "equality", 
      "novel ability", 
      "language", 
      "set", 
      "applications", 
      "dependency", 
      "path", 
      "mapping", 
      "definition", 
      "problem", 
      "turn", 
      "dialects", 
      "data", 
      "procedure", 
      "ability", 
      "approach", 
      "cases", 
      "presence", 
      "boolean complete description logic dialect", 
      "complete description logic dialect", 
      "logic dialect", 
      "DLFDreg", 
      "Ackermann case"
    ], 
    "name": "On Reasoning about Structural Equality in XML: A Description Logic Approach", 
    "pagination": "96-110", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1006768899"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-36285-1_7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-36285-1_7", 
      "https://app.dimensions.ai/details/publication/pub.1006768899"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:13", 
    "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_91.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-36285-1_7"
  }
]
 

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/3-540-36285-1_7'

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/3-540-36285-1_7'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-36285-1_7'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-36285-1_7'


 

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

116 TRIPLES      23 PREDICATES      64 URIs      57 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-36285-1_7 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author N3c560869d31144369b0c498e79eee1e9
4 schema:datePublished 2002-12-16
5 schema:datePublishedReg 2002-12-16
6 schema:description We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of document type definitions. This application depends on the novel ability of DLFDreg to express functional dependencies over sets of possibly infinite feature paths defined by regular languages. We also present a decision procedure for the associated logical implication problem. The procedure underlies a mapping of such problems to satisfiability problems of Datalog∨n,⌝s and in turn to the Ackermann case of the decision problem.
7 schema:editor N59a83c91b5d04c0ebd20cff3c5511efd
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Na188defd00ab4998bfe5dbb49d40d01a
12 schema:keywords Ackermann case
13 DLFDreg
14 Document Type Definition
15 XML
16 ability
17 applications
18 approach
19 boolean complete description logic dialect
20 cases
21 complete description logic dialect
22 data
23 decision problem
24 decision procedure
25 definition
26 dependency
27 description logic approach
28 description logic dialect
29 dialects
30 equality
31 feature paths
32 functional dependencies
33 implication problem
34 language
35 logic approach
36 logic dialect
37 logical implication problem
38 mapping
39 novel ability
40 path
41 presence
42 problem
43 procedure
44 regular languages
45 satisfiability problem
46 set
47 structural equality
48 such problems
49 turn
50 type definitions
51 schema:name On Reasoning about Structural Equality in XML: A Description Logic Approach
52 schema:pagination 96-110
53 schema:productId N2d97f982ec764c2ab603f8f558968c83
54 Ne387807a135e412f9c3bd8cd0865f37d
55 schema:publisher N81cee857f180499aa76f6e258b679071
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006768899
57 https://doi.org/10.1007/3-540-36285-1_7
58 schema:sdDatePublished 2021-12-01T20:13
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N07da583f68e1474da0b2ef8defafc28c
61 schema:url https://doi.org/10.1007/3-540-36285-1_7
62 sgo:license sg:explorer/license/
63 sgo:sdDataset chapters
64 rdf:type schema:Chapter
65 N07da583f68e1474da0b2ef8defafc28c schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 N09c36840a1cf4ec4b2ce4f2f305b68ec schema:familyName Lenzerini
68 schema:givenName Maurizio
69 rdf:type schema:Person
70 N2d97f982ec764c2ab603f8f558968c83 schema:name doi
71 schema:value 10.1007/3-540-36285-1_7
72 rdf:type schema:PropertyValue
73 N2e2b47f13df4462eb0fd11bd38ec26b6 rdf:first N09c36840a1cf4ec4b2ce4f2f305b68ec
74 rdf:rest N368542025e8846dbaaf1b4e7836ca288
75 N368542025e8846dbaaf1b4e7836ca288 rdf:first N5541471d58534701b7bc6575f0789fd5
76 rdf:rest rdf:nil
77 N3c560869d31144369b0c498e79eee1e9 rdf:first sg:person.011644611743.11
78 rdf:rest Na6fb6f5fea4e4674a426a5f467292685
79 N5541471d58534701b7bc6575f0789fd5 schema:familyName Motwani
80 schema:givenName Rajeev
81 rdf:type schema:Person
82 N59a83c91b5d04c0ebd20cff3c5511efd rdf:first N81896e940dc94f9fa7916390ec35d26d
83 rdf:rest N2e2b47f13df4462eb0fd11bd38ec26b6
84 N81896e940dc94f9fa7916390ec35d26d schema:familyName Calvanese
85 schema:givenName Diego
86 rdf:type schema:Person
87 N81cee857f180499aa76f6e258b679071 schema:name Springer Nature
88 rdf:type schema:Organisation
89 Na188defd00ab4998bfe5dbb49d40d01a schema:isbn 978-3-540-00323-6
90 978-3-540-36285-2
91 schema:name Database Theory — ICDT 2003
92 rdf:type schema:Book
93 Na6fb6f5fea4e4674a426a5f467292685 rdf:first sg:person.01111756132.29
94 rdf:rest rdf:nil
95 Ne387807a135e412f9c3bd8cd0865f37d schema:name dimensions_id
96 schema:value pub.1006768899
97 rdf:type schema:PropertyValue
98 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
99 schema:name Philosophy and Religious Studies
100 rdf:type schema:DefinedTerm
101 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
102 schema:name Philosophy
103 rdf:type schema:DefinedTerm
104 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
105 schema:familyName Weddell
106 schema:givenName Grant
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
108 rdf:type schema:Person
109 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
110 schema:familyName Toman
111 schema:givenName David
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
113 rdf:type schema:Person
114 grid-institutes:grid.46078.3d schema:alternateName School of Computer Science, University of Waterloo, Canada
115 schema:name School of Computer Science, University of Waterloo, Canada
116 rdf:type schema:Organization
 




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


...