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", 
      "programming environment", 
      "information interchange", 
      "Wide Web", 
      "digital libraries", 
      "XML", 
      "retrieval techniques", 
      "structured access", 
      "field notation", 
      "management system", 
      "mathematician\u2019s world", 
      "mathematical knowledge", 
      "notation", 
      "language", 
      "mathematical objects", 
      "key language", 
      "system", 
      "retrieving", 
      "Web", 
      "objects", 
      "knowledge", 
      "different types", 
      "integration", 
      "environment", 
      "access", 
      "library", 
      "interchange", 
      "technique", 
      "world", 
      "types", 
      "elements", 
      "basis", 
      "achievement", 
      "mathematical achievement", 
      "paper", 
      "open manner facilitates Web information systems", 
      "manner facilitates Web information systems", 
      "facilitates Web information systems", 
      "base management system", 
      "complex Prolog-structure", 
      "Prolog-structure", 
      "flexible declarative query language"
    ], 
    "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-01-01T19:12", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_212.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.

142 TRIPLES      23 PREDICATES      76 URIs      68 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 N64191b5bc1e64bcc88a10fe03003a6d4
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 Ne7ddf7319726467084491a7e16c85187
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf Ncc2436d245da4f97bac76cd72d84f793
13 schema:keywords Prolog-structure
14 Web
15 Web Information Systems
16 Wide Web
17 World Wide Web
18 XML
19 access
20 achievement
21 base management system
22 basis
23 complex Prolog-structure
24 declarative query language
25 different types
26 digital libraries
27 elements
28 environment
29 facilitates Web information systems
30 field notation
31 flexible declarative query language
32 information interchange
33 information retrieval techniques
34 information systems
35 integration
36 interchange
37 key language
38 knowledge
39 knowledge base management system
40 language
41 library
42 logic programming environment
43 management system
44 manner facilitates Web information systems
45 mathematical achievement
46 mathematical knowledge
47 mathematical objects
48 mathematician’s world
49 notation
50 objects
51 open manner facilitates Web information systems
52 paper
53 programming environment
54 query language
55 retrieval techniques
56 retrieving
57 structured access
58 system
59 technique
60 types
61 world
62 schema:name An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge
63 schema:pagination 59-71
64 schema:productId N6308851f0b554e3abc2e850287e75136
65 N789a58f3e22b46d6a399e951e209ff59
66 schema:publisher Nc13150b0954a4f399f6018e7561bfd51
67 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030854583
68 https://doi.org/10.1007/978-3-540-45155-6_7
69 schema:sdDatePublished 2022-01-01T19:12
70 schema:sdLicense https://scigraph.springernature.com/explorer/license/
71 schema:sdPublisher N73c1478910fd4b1d9e50dd6f1c66708f
72 schema:url https://doi.org/10.1007/978-3-540-45155-6_7
73 sgo:license sg:explorer/license/
74 sgo:sdDataset chapters
75 rdf:type schema:Chapter
76 N18ac102240a14719bec4682bd5c1e1df schema:familyName Bai
77 schema:givenName Fengshan
78 rdf:type schema:Person
79 N2fa12d53535042d0a04c620ebb1b4f22 rdf:first sg:person.014335443074.50
80 rdf:rest Nd907e8c2a3f842ae88b1d398a223a503
81 N6308851f0b554e3abc2e850287e75136 schema:name doi
82 schema:value 10.1007/978-3-540-45155-6_7
83 rdf:type schema:PropertyValue
84 N64191b5bc1e64bcc88a10fe03003a6d4 rdf:first sg:person.015726301075.16
85 rdf:rest N2fa12d53535042d0a04c620ebb1b4f22
86 N73c1478910fd4b1d9e50dd6f1c66708f schema:name Springer Nature - SN SciGraph project
87 rdf:type schema:Organization
88 N789a58f3e22b46d6a399e951e209ff59 schema:name dimensions_id
89 schema:value pub.1030854583
90 rdf:type schema:PropertyValue
91 Nbabd163360f74a328495ac00800e66b1 schema:familyName Wegner
92 schema:givenName Bernd
93 rdf:type schema:Person
94 Nc13150b0954a4f399f6018e7561bfd51 schema:name Springer Nature
95 rdf:type schema:Organisation
96 Nc930f16fa6b5475aaabeca6dac9ccfe3 rdf:first sg:person.013324511711.75
97 rdf:rest rdf:nil
98 Ncc2436d245da4f97bac76cd72d84f793 schema:isbn 978-3-540-40689-1
99 978-3-540-45155-6
100 schema:name Electronic Information and Communication in Mathematics
101 rdf:type schema:Book
102 Nd907e8c2a3f842ae88b1d398a223a503 rdf:first sg:person.012275237475.03
103 rdf:rest Nc930f16fa6b5475aaabeca6dac9ccfe3
104 Ne7ddf7319726467084491a7e16c85187 rdf:first N18ac102240a14719bec4682bd5c1e1df
105 rdf:rest Nfc067fd20e2a462f8b16c72ef122aa3a
106 Nfc067fd20e2a462f8b16c72ef122aa3a rdf:first Nbabd163360f74a328495ac00800e66b1
107 rdf:rest rdf:nil
108 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
109 schema:name Information and Computing Sciences
110 rdf:type schema:DefinedTerm
111 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
112 schema:name Artificial Intelligence and Image Processing
113 rdf:type schema:DefinedTerm
114 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
115 schema:name Information Systems
116 rdf:type schema:DefinedTerm
117 sg:person.012275237475.03 schema:affiliation grid-institutes:grid.10392.39
118 schema:familyName Schimkat
119 schema:givenName Ralf-Dieter
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012275237475.03
121 rdf:type schema:Person
122 sg:person.013324511711.75 schema:affiliation grid-institutes:grid.10392.39
123 schema:familyName Güntzer
124 schema:givenName Ulrich
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
126 rdf:type schema:Person
127 sg:person.014335443074.50 schema:affiliation grid-institutes:grid.8379.5
128 schema:familyName Seipel
129 schema:givenName Dietmar A.
130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014335443074.50
131 rdf:type schema:Person
132 sg:person.015726301075.16 schema:affiliation grid-institutes:grid.10392.39
133 schema:familyName Heumesser
134 schema:givenName Bernd D.
135 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015726301075.16
136 rdf:type schema:Person
137 grid-institutes:grid.10392.39 schema:alternateName Wilhelm-Schickard Institute for Computer Science, University of Tübingen, Sand 13, D – 72076, Tübingen, Germany
138 schema:name Wilhelm-Schickard Institute for Computer Science, University of Tübingen, Sand 13, D – 72076, Tübingen, Germany
139 rdf:type schema:Organization
140 grid-institutes:grid.8379.5 schema:alternateName Department of Computer Science, University of Würzburg, Am Hubland, D – 97074, Würzburg, Germany
141 schema:name Department of Computer Science, University of Würzburg, Am Hubland, D – 97074, Würzburg, Germany
142 rdf:type schema:Organization
 




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


...