Type Inferencing Based on Complete Type Specifications View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Leonid A. Kalinichenko , Vladimir I. Zadorozhny

ABSTRACT

Type specification completeness is a necessary prerequisite for support of object creating formulae in object calculus leading to formation of new types to be integrated into a type lattice containing the types from which they were formed.The paper shows what conditions should be satisfied in order that the inferred types could be correct and what is the systematic way of integration of these types into the existing type lattice on the basis of a well-defined subtype relation. Ignoring of the specification completeness for type inference may lead to inconsistent results.The paper contributes to clarification of type inferencing operations for the case of complete type specifications. More... »

PAGES

207-219

Book

TITLE

Advances in Databases and Information Systems

ISBN

978-3-540-76014-6
978-1-4471-1486-4

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4471-1486-4_14

DOI

http://dx.doi.org/10.1007/978-1-4471-1486-4_14

DIMENSIONS

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


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/06", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Biological Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0601", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Biochemistry and Cell Biology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia", 
          "id": "http://www.grid.ac/institutes/grid.4886.2", 
          "name": [
            "Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kalinichenko", 
        "givenName": "Leonid A.", 
        "id": "sg:person.016144507043.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016144507043.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia", 
          "id": "http://www.grid.ac/institutes/grid.4886.2", 
          "name": [
            "Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zadorozhny", 
        "givenName": "Vladimir I.", 
        "id": "sg:person.011164463001.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011164463001.52"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Type specification completeness is a necessary prerequisite for support of object creating formulae in object calculus leading to formation of new types to be integrated into a type lattice containing the types from which they were formed.The paper shows what conditions should be satisfied in order that the inferred types could be correct and what is the systematic way of integration of these types into the existing type lattice on the basis of a well-defined subtype relation. Ignoring of the specification completeness for type inference may lead to inconsistent results.The paper contributes to clarification of type inferencing operations for the case of complete type specifications.", 
    "editor": [
      {
        "familyName": "Eder", 
        "givenName": "Johann", 
        "type": "Person"
      }, 
      {
        "familyName": "Kalinichenko", 
        "givenName": "Leonid A.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4471-1486-4_14", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-76014-6", 
        "978-1-4471-1486-4"
      ], 
      "name": "Advances in Databases and Information Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "new type", 
      "type lattice", 
      "operation", 
      "specification", 
      "necessary prerequisite", 
      "support of object", 
      "objects", 
      "formula", 
      "formation", 
      "types", 
      "lattice", 
      "conditions", 
      "order", 
      "systematic way", 
      "integration", 
      "results", 
      "completeness", 
      "prerequisite", 
      "support", 
      "way", 
      "basis", 
      "relation", 
      "clarification", 
      "cases", 
      "inferencing", 
      "calculus", 
      "inference", 
      "inconsistent results", 
      "specification completeness", 
      "object calculus", 
      "paper", 
      "subtype relation", 
      "type inference", 
      "type specification"
    ], 
    "name": "Type Inferencing Based on Complete Type Specifications", 
    "pagination": "207-219", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1053548154"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4471-1486-4_14"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4471-1486-4_14", 
      "https://app.dimensions.ai/details/publication/pub.1053548154"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "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_412.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-1-4471-1486-4_14"
  }
]
 

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/978-1-4471-1486-4_14'

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-1-4471-1486-4_14'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-1486-4_14'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-1486-4_14'


 

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

106 TRIPLES      23 PREDICATES      60 URIs      53 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4471-1486-4_14 schema:about anzsrc-for:06
2 anzsrc-for:0601
3 schema:author N3b028b1378bb461c953dfd35087860a6
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Type specification completeness is a necessary prerequisite for support of object creating formulae in object calculus leading to formation of new types to be integrated into a type lattice containing the types from which they were formed.The paper shows what conditions should be satisfied in order that the inferred types could be correct and what is the systematic way of integration of these types into the existing type lattice on the basis of a well-defined subtype relation. Ignoring of the specification completeness for type inference may lead to inconsistent results.The paper contributes to clarification of type inferencing operations for the case of complete type specifications.
7 schema:editor N27dba9677da746558b49d06a62583478
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N775a5df15c834ea0a731e52d0f5dfe44
12 schema:keywords basis
13 calculus
14 cases
15 clarification
16 completeness
17 conditions
18 formation
19 formula
20 inconsistent results
21 inference
22 inferencing
23 integration
24 lattice
25 necessary prerequisite
26 new type
27 object calculus
28 objects
29 operation
30 order
31 paper
32 prerequisite
33 relation
34 results
35 specification
36 specification completeness
37 subtype relation
38 support
39 support of object
40 systematic way
41 type inference
42 type lattice
43 type specification
44 types
45 way
46 schema:name Type Inferencing Based on Complete Type Specifications
47 schema:pagination 207-219
48 schema:productId N9e2c878ec6424c5d8971ffb5a50f4e72
49 Nda64fcbef25b49cd950befde352ba1e6
50 schema:publisher N67da70c8d9b648bbb74fe9ceb9eb40d8
51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053548154
52 https://doi.org/10.1007/978-1-4471-1486-4_14
53 schema:sdDatePublished 2022-05-20T07:47
54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
55 schema:sdPublisher Nd32355c742094935abab55108bc0dfd9
56 schema:url https://doi.org/10.1007/978-1-4471-1486-4_14
57 sgo:license sg:explorer/license/
58 sgo:sdDataset chapters
59 rdf:type schema:Chapter
60 N09f0112434864b3ca40925cab0107e2d rdf:first sg:person.011164463001.52
61 rdf:rest rdf:nil
62 N27dba9677da746558b49d06a62583478 rdf:first Na86d36feda374201817555f49eec2833
63 rdf:rest N38d18cb564c549dfa5d07e48f151cd2d
64 N38d18cb564c549dfa5d07e48f151cd2d rdf:first N4804d304ff334312b9a11175e292aab6
65 rdf:rest rdf:nil
66 N3b028b1378bb461c953dfd35087860a6 rdf:first sg:person.016144507043.63
67 rdf:rest N09f0112434864b3ca40925cab0107e2d
68 N4804d304ff334312b9a11175e292aab6 schema:familyName Kalinichenko
69 schema:givenName Leonid A.
70 rdf:type schema:Person
71 N67da70c8d9b648bbb74fe9ceb9eb40d8 schema:name Springer Nature
72 rdf:type schema:Organisation
73 N775a5df15c834ea0a731e52d0f5dfe44 schema:isbn 978-1-4471-1486-4
74 978-3-540-76014-6
75 schema:name Advances in Databases and Information Systems
76 rdf:type schema:Book
77 N9e2c878ec6424c5d8971ffb5a50f4e72 schema:name dimensions_id
78 schema:value pub.1053548154
79 rdf:type schema:PropertyValue
80 Na86d36feda374201817555f49eec2833 schema:familyName Eder
81 schema:givenName Johann
82 rdf:type schema:Person
83 Nd32355c742094935abab55108bc0dfd9 schema:name Springer Nature - SN SciGraph project
84 rdf:type schema:Organization
85 Nda64fcbef25b49cd950befde352ba1e6 schema:name doi
86 schema:value 10.1007/978-1-4471-1486-4_14
87 rdf:type schema:PropertyValue
88 anzsrc-for:06 schema:inDefinedTermSet anzsrc-for:
89 schema:name Biological Sciences
90 rdf:type schema:DefinedTerm
91 anzsrc-for:0601 schema:inDefinedTermSet anzsrc-for:
92 schema:name Biochemistry and Cell Biology
93 rdf:type schema:DefinedTerm
94 sg:person.011164463001.52 schema:affiliation grid-institutes:grid.4886.2
95 schema:familyName Zadorozhny
96 schema:givenName Vladimir I.
97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011164463001.52
98 rdf:type schema:Person
99 sg:person.016144507043.63 schema:affiliation grid-institutes:grid.4886.2
100 schema:familyName Kalinichenko
101 schema:givenName Leonid A.
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016144507043.63
103 rdf:type schema:Person
104 grid-institutes:grid.4886.2 schema:alternateName Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia
105 schema:name Institute for Problems of Informatics, Russian Academy of Sciences, Vavilova 30/6, 117900, Moscow, V-334, Russia
106 rdf:type schema:Organization
 




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


...