An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2003

AUTHORS

Bernd D. Heumesser , Dietmar A. Seipel , Ralf-Dieter Schimkat , Ulrich Güntzer

ABSTRACT

Xml has become a key language for information interchange and integration over the World Wide Web. Representing and storing mathematical achievements and knowledge in a self-describing, extensible and open manner facilitates Web information systems which simplify co-operation among mathematicians world wide.In this paper, we describe a knowledge base management system for Xml-based mathematical knowledge. Our information system provides different types of information retrieval techniques. Digitally stored and edited mathematical knowledge can be accessed by applying a well-defined and structured access to the types and elements of Xml-documents.The information system transforms Xml-based mathematical knowledge into a complex Prolog-structure called field notation, which serves as the basis for building a digital library of fine-grained mathematical objects. Based on the field notation we provide a powerful and flexible declarative query language in a logic programming environment. More... »

PAGES

59-71

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-45155-6_7

DOI

http://dx.doi.org/10.1007/978-3-540-45155-6_7

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Heumesser", 
        "givenName": "Bernd D.", 
        "id": "sg:person.015726301075.16", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015726301075.16"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of W\u00fcrzburg, Am Hubland, D \u2013 97074, W\u00fcrzburg, Germany", 
          "id": "http://www.grid.ac/institutes/grid.8379.5", 
          "name": [
            "Department of Computer Science, University of W\u00fcrzburg, Am Hubland, D \u2013 97074, W\u00fcrzburg, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Seipel", 
        "givenName": "Dietmar A.", 
        "id": "sg:person.014335443074.50", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014335443074.50"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Schimkat", 
        "givenName": "Ralf-Dieter", 
        "id": "sg:person.012275237475.03", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012275237475.03"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard Institute for Computer Science, University of T\u00fcbingen, Sand 13, D \u2013 72076, T\u00fcbingen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "G\u00fcntzer", 
        "givenName": "Ulrich", 
        "id": "sg:person.013324511711.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2003", 
    "datePublishedReg": "2003-01-01", 
    "description": "Xml has become a key language for information interchange and integration over the World Wide Web. Representing and storing mathematical achievements and knowledge in a self-describing, extensible and open manner facilitates Web information systems which simplify co-operation among mathematicians world wide.In this paper, we describe a knowledge base management system for Xml-based mathematical knowledge. Our information system provides different types of information retrieval techniques. Digitally stored and edited mathematical knowledge can be accessed by applying a well-defined and structured access to the types and elements of Xml-documents.The information system transforms Xml-based mathematical knowledge into a complex Prolog-structure called field notation, which serves as the basis for building a digital library of fine-grained mathematical objects. Based on the field notation we provide a powerful and flexible declarative query language in a logic programming environment.", 
    "editor": [
      {
        "familyName": "Bai", 
        "givenName": "Fengshan", 
        "type": "Person"
      }, 
      {
        "familyName": "Wegner", 
        "givenName": "Bernd", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-45155-6_7", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-40689-1", 
        "978-3-540-45155-6"
      ], 
      "name": "Electronic Information and Communication in Mathematics", 
      "type": "Book"
    }, 
    "keywords": [
      "information systems", 
      "knowledge base management system", 
      "declarative query language", 
      "web information systems", 
      "information retrieval techniques", 
      "logic programming environment", 
      "World Wide Web", 
      "query language", 
      "digital libraries", 
      "programming environment", 
      "information interchange", 
      "Wide Web", 
      "XML", 
      "retrieval techniques", 
      "structured access", 
      "field notation", 
      "management system", 
      "notation", 
      "mathematical knowledge", 
      "key language", 
      "language", 
      "mathematical objects", 
      "retrieving", 
      "system", 
      "Web", 
      "knowledge", 
      "objects", 
      "different types", 
      "library", 
      "access", 
      "integration", 
      "environment", 
      "interchange", 
      "technique", 
      "world", 
      "types", 
      "elements", 
      "basis", 
      "achievement", 
      "mathematical achievement", 
      "paper"
    ], 
    "name": "An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge", 
    "pagination": "59-71", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1030854583"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-45155-6_7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-45155-6_7", 
      "https://app.dimensions.ai/details/publication/pub.1030854583"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:39", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_170.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-45155-6_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/978-3-540-45155-6_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/978-3-540-45155-6_7'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-45155-6_7'

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

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


 

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

134 TRIPLES      23 PREDICATES      68 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-45155-6_7 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0806
4 schema:author Nb1e6091c73bd4264844698dd6814bd2f
5 schema:datePublished 2003
6 schema:datePublishedReg 2003-01-01
7 schema:description Xml has become a key language for information interchange and integration over the World Wide Web. Representing and storing mathematical achievements and knowledge in a self-describing, extensible and open manner facilitates Web information systems which simplify co-operation among mathematicians world wide.In this paper, we describe a knowledge base management system for Xml-based mathematical knowledge. Our information system provides different types of information retrieval techniques. Digitally stored and edited mathematical knowledge can be accessed by applying a well-defined and structured access to the types and elements of Xml-documents.The information system transforms Xml-based mathematical knowledge into a complex Prolog-structure called field notation, which serves as the basis for building a digital library of fine-grained mathematical objects. Based on the field notation we provide a powerful and flexible declarative query language in a logic programming environment.
8 schema:editor N4c751fcfceeb40209956e7db6386dd69
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf N2f5b169b8d634107814e812e86541c14
13 schema:keywords Web
14 Wide Web
15 World Wide Web
16 XML
17 access
18 achievement
19 basis
20 declarative query language
21 different types
22 digital libraries
23 elements
24 environment
25 field notation
26 information interchange
27 information retrieval techniques
28 information systems
29 integration
30 interchange
31 key language
32 knowledge
33 knowledge base management system
34 language
35 library
36 logic programming environment
37 management system
38 mathematical achievement
39 mathematical knowledge
40 mathematical objects
41 notation
42 objects
43 paper
44 programming environment
45 query language
46 retrieval techniques
47 retrieving
48 structured access
49 system
50 technique
51 types
52 web information systems
53 world
54 schema:name An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge
55 schema:pagination 59-71
56 schema:productId N059f7d48f10740a081fadd7892a7eb7c
57 Nf50b1c47f21344c09d86723dcd87f105
58 schema:publisher Nf91a919b373047d09f419efad66db25a
59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030854583
60 https://doi.org/10.1007/978-3-540-45155-6_7
61 schema:sdDatePublished 2022-05-10T10:39
62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
63 schema:sdPublisher Nd2be2eb02ced440d932acf6e718ffa96
64 schema:url https://doi.org/10.1007/978-3-540-45155-6_7
65 sgo:license sg:explorer/license/
66 sgo:sdDataset chapters
67 rdf:type schema:Chapter
68 N059f7d48f10740a081fadd7892a7eb7c schema:name dimensions_id
69 schema:value pub.1030854583
70 rdf:type schema:PropertyValue
71 N1767537e15e448199082a10945f69f28 rdf:first sg:person.014335443074.50
72 rdf:rest N7f2ca8615d1d45959e412804af3dd3d1
73 N2b41dac28e034aceb837c7c0787bb524 schema:familyName Wegner
74 schema:givenName Bernd
75 rdf:type schema:Person
76 N2f5b169b8d634107814e812e86541c14 schema:isbn 978-3-540-40689-1
77 978-3-540-45155-6
78 schema:name Electronic Information and Communication in Mathematics
79 rdf:type schema:Book
80 N3f35845ebfbd416cb1c7c41cdae78787 rdf:first sg:person.013324511711.75
81 rdf:rest rdf:nil
82 N4c751fcfceeb40209956e7db6386dd69 rdf:first Nb59dfbaa1b314e5881c86c96500ab657
83 rdf:rest Ne498ded52c8d4e20b56af8f3c1f460b3
84 N7f2ca8615d1d45959e412804af3dd3d1 rdf:first sg:person.012275237475.03
85 rdf:rest N3f35845ebfbd416cb1c7c41cdae78787
86 Nb1e6091c73bd4264844698dd6814bd2f rdf:first sg:person.015726301075.16
87 rdf:rest N1767537e15e448199082a10945f69f28
88 Nb59dfbaa1b314e5881c86c96500ab657 schema:familyName Bai
89 schema:givenName Fengshan
90 rdf:type schema:Person
91 Nd2be2eb02ced440d932acf6e718ffa96 schema:name Springer Nature - SN SciGraph project
92 rdf:type schema:Organization
93 Ne498ded52c8d4e20b56af8f3c1f460b3 rdf:first N2b41dac28e034aceb837c7c0787bb524
94 rdf:rest rdf:nil
95 Nf50b1c47f21344c09d86723dcd87f105 schema:name doi
96 schema:value 10.1007/978-3-540-45155-6_7
97 rdf:type schema:PropertyValue
98 Nf91a919b373047d09f419efad66db25a schema:name Springer Nature
99 rdf:type schema:Organisation
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
107 schema:name Information Systems
108 rdf:type schema:DefinedTerm
109 sg:person.012275237475.03 schema:affiliation grid-institutes:grid.10392.39
110 schema:familyName Schimkat
111 schema:givenName Ralf-Dieter
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012275237475.03
113 rdf:type schema:Person
114 sg:person.013324511711.75 schema:affiliation grid-institutes:grid.10392.39
115 schema:familyName Güntzer
116 schema:givenName Ulrich
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
118 rdf:type schema:Person
119 sg:person.014335443074.50 schema:affiliation grid-institutes:grid.8379.5
120 schema:familyName Seipel
121 schema:givenName Dietmar A.
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014335443074.50
123 rdf:type schema:Person
124 sg:person.015726301075.16 schema:affiliation grid-institutes:grid.10392.39
125 schema:familyName Heumesser
126 schema:givenName Bernd D.
127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015726301075.16
128 rdf:type schema:Person
129 grid-institutes:grid.10392.39 schema:alternateName Wilhelm-Schickard Institute for Computer Science, University of Tübingen, Sand 13, D – 72076, Tübingen, Germany
130 schema:name Wilhelm-Schickard Institute for Computer Science, University of Tübingen, Sand 13, D – 72076, Tübingen, Germany
131 rdf:type schema:Organization
132 grid-institutes:grid.8379.5 schema:alternateName Department of Computer Science, University of Würzburg, Am Hubland, D – 97074, Würzburg, Germany
133 schema:name Department of Computer Science, University of Würzburg, Am Hubland, D – 97074, Würzburg, Germany
134 rdf:type schema:Organization
 




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


...