A theory of specialization constraints for complex objects View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1990

AUTHORS

G. E. Weddell , N. Coburn

ABSTRACT

Most semantic data models and object-oriented data models allow entity and object classes to be organized according to a generalization taxonomy. In addition, range restrictions (or property typing) may be specified not only on properties associated with a given class, but also on properties inherited from superclasses. In this paper, we consider a more general form of specialization constraint in which range restrictions are associated with property value paths, instead of with the properties themselves. One consequence is that the constraints enable a form of molecular abstraction, in which the internals of more complicated objects can be defined in terms of a collection of more primitive types. Sound and complete axiomatizations are given for two models: one not assuming a most specialized class rule (MSC), and another satisfying MSC together with an additional almost lower semilattice condition. Efficient decision procedures for both cases are also presented. More... »

PAGES

229-244

Book

TITLE

ICDT '90

ISBN

978-3-540-53507-2
978-3-540-46682-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-53507-1_80

DOI

http://dx.doi.org/10.1007/3-540-53507-1_80

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Department of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Weddell", 
        "givenName": "G. E.", 
        "id": "sg:person.01111756132.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Department of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Coburn", 
        "givenName": "N.", 
        "id": "sg:person.015614722063.65", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015614722063.65"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1990", 
    "datePublishedReg": "1990-01-01", 
    "description": "Most semantic data models and object-oriented data models allow entity and object classes to be organized according to a generalization taxonomy. In addition, range restrictions (or property typing) may be specified not only on properties associated with a given class, but also on properties inherited from superclasses. In this paper, we consider a more general form of specialization constraint in which range restrictions are associated with property value paths, instead of with the properties themselves. One consequence is that the constraints enable a form of molecular abstraction, in which the internals of more complicated objects can be defined in terms of a collection of more primitive types. Sound and complete axiomatizations are given for two models: one not assuming a most specialized class rule (MSC), and another satisfying MSC together with an additional almost lower semilattice condition. Efficient decision procedures for both cases are also presented.", 
    "editor": [
      {
        "familyName": "Abiteboul", 
        "givenName": "Serge", 
        "type": "Person"
      }, 
      {
        "familyName": "Kanellakis", 
        "givenName": "Paris C.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-53507-1_80", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-53507-2", 
        "978-3-540-46682-6"
      ], 
      "name": "ICDT '90", 
      "type": "Book"
    }, 
    "keywords": [
      "general form", 
      "complicated objects", 
      "data model", 
      "constraints", 
      "efficient decision procedure", 
      "decision procedure", 
      "class", 
      "range restriction", 
      "complex objects", 
      "model", 
      "complete axiomatization", 
      "axiomatization", 
      "theory", 
      "restriction", 
      "objects", 
      "properties", 
      "form", 
      "terms", 
      "rules", 
      "semantic data model", 
      "object-oriented data model", 
      "path", 
      "conditions", 
      "procedure", 
      "generalization taxonomy", 
      "superclass", 
      "value paths", 
      "molecular abstraction", 
      "abstraction", 
      "cases", 
      "collection", 
      "primitive type", 
      "types", 
      "consequences", 
      "addition", 
      "internals", 
      "entities", 
      "taxonomy", 
      "class rules", 
      "MSCs", 
      "paper", 
      "Most semantic data models", 
      "specialization constraint", 
      "property value paths", 
      "more primitive types", 
      "specialized class rule", 
      "lower semilattice condition", 
      "semilattice condition"
    ], 
    "name": "A theory of specialization constraints for complex objects", 
    "pagination": "229-244", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023724633"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-53507-1_80"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-53507-1_80", 
      "https://app.dimensions.ai/details/publication/pub.1023724633"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:08", 
    "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_386.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-53507-1_80"
  }
]
 

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-53507-1_80'

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-53507-1_80'

Turtle is a human-readable linked data format.

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

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-53507-1_80'


 

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

120 TRIPLES      23 PREDICATES      74 URIs      67 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-53507-1_80 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nc932545502e2473997bd6b0db70926f9
4 schema:datePublished 1990
5 schema:datePublishedReg 1990-01-01
6 schema:description Most semantic data models and object-oriented data models allow entity and object classes to be organized according to a generalization taxonomy. In addition, range restrictions (or property typing) may be specified not only on properties associated with a given class, but also on properties inherited from superclasses. In this paper, we consider a more general form of specialization constraint in which range restrictions are associated with property value paths, instead of with the properties themselves. One consequence is that the constraints enable a form of molecular abstraction, in which the internals of more complicated objects can be defined in terms of a collection of more primitive types. Sound and complete axiomatizations are given for two models: one not assuming a most specialized class rule (MSC), and another satisfying MSC together with an additional almost lower semilattice condition. Efficient decision procedures for both cases are also presented.
7 schema:editor N66f9832c5e3347dbba2769d89a495b26
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nafcd9232bbed40078c60388796cb69f9
12 schema:keywords MSCs
13 Most semantic data models
14 abstraction
15 addition
16 axiomatization
17 cases
18 class
19 class rules
20 collection
21 complete axiomatization
22 complex objects
23 complicated objects
24 conditions
25 consequences
26 constraints
27 data model
28 decision procedure
29 efficient decision procedure
30 entities
31 form
32 general form
33 generalization taxonomy
34 internals
35 lower semilattice condition
36 model
37 molecular abstraction
38 more primitive types
39 object-oriented data model
40 objects
41 paper
42 path
43 primitive type
44 procedure
45 properties
46 property value paths
47 range restriction
48 restriction
49 rules
50 semantic data model
51 semilattice condition
52 specialization constraint
53 specialized class rule
54 superclass
55 taxonomy
56 terms
57 theory
58 types
59 value paths
60 schema:name A theory of specialization constraints for complex objects
61 schema:pagination 229-244
62 schema:productId N4c1026c19d0f4d58a77a63e4a6dfbf17
63 N614b86317aef4efd8b4dc78048aa7273
64 schema:publisher N5af97910a810471db97feb34dcd4d566
65 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023724633
66 https://doi.org/10.1007/3-540-53507-1_80
67 schema:sdDatePublished 2021-12-01T20:08
68 schema:sdLicense https://scigraph.springernature.com/explorer/license/
69 schema:sdPublisher Nb37064d02d2d4cbe9c116fe4cfb84e3c
70 schema:url https://doi.org/10.1007/3-540-53507-1_80
71 sgo:license sg:explorer/license/
72 sgo:sdDataset chapters
73 rdf:type schema:Chapter
74 N031485911fa04672a21b469deb66cebe schema:familyName Abiteboul
75 schema:givenName Serge
76 rdf:type schema:Person
77 N41e022e689f84819b6c8d3960e701f7a rdf:first Nd95f66d273264ae09c01ffa4888004a9
78 rdf:rest rdf:nil
79 N4c1026c19d0f4d58a77a63e4a6dfbf17 schema:name doi
80 schema:value 10.1007/3-540-53507-1_80
81 rdf:type schema:PropertyValue
82 N5af97910a810471db97feb34dcd4d566 schema:name Springer Nature
83 rdf:type schema:Organisation
84 N614b86317aef4efd8b4dc78048aa7273 schema:name dimensions_id
85 schema:value pub.1023724633
86 rdf:type schema:PropertyValue
87 N66f9832c5e3347dbba2769d89a495b26 rdf:first N031485911fa04672a21b469deb66cebe
88 rdf:rest N41e022e689f84819b6c8d3960e701f7a
89 N70ba9596b67b46ecbe78b2b2803a0d51 rdf:first sg:person.015614722063.65
90 rdf:rest rdf:nil
91 Nafcd9232bbed40078c60388796cb69f9 schema:isbn 978-3-540-46682-6
92 978-3-540-53507-2
93 schema:name ICDT '90
94 rdf:type schema:Book
95 Nb37064d02d2d4cbe9c116fe4cfb84e3c schema:name Springer Nature - SN SciGraph project
96 rdf:type schema:Organization
97 Nc932545502e2473997bd6b0db70926f9 rdf:first sg:person.01111756132.29
98 rdf:rest N70ba9596b67b46ecbe78b2b2803a0d51
99 Nd95f66d273264ae09c01ffa4888004a9 schema:familyName Kanellakis
100 schema:givenName Paris C.
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:0806 schema:inDefinedTermSet anzsrc-for:
106 schema:name Information Systems
107 rdf:type schema:DefinedTerm
108 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
109 schema:familyName Weddell
110 schema:givenName G. E.
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
112 rdf:type schema:Person
113 sg:person.015614722063.65 schema:affiliation grid-institutes:grid.46078.3d
114 schema:familyName Coburn
115 schema:givenName N.
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015614722063.65
117 rdf:type schema:Person
118 grid-institutes:grid.46078.3d schema:alternateName Department of Computer Science, University of Waterloo, Canada
119 schema:name Department of Computer Science, University of Waterloo, Canada
120 rdf:type schema:Organization
 




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


...