An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2003-01-30

AUTHORS

Bernd D. Heumesser , Dietmar A. Seipel , Ulrich Güntzer

ABSTRACT

In this paper,we describe techniques for querying and transforming XML -based mathematical knowledge. The XML-documents are transformed into an equivalent PROLOG-structure called field notation , which serves as our Document Object Model (DOM).Based on the field notation we provide a powerful and flexible query language in a PROLOG-based logic programming environment enabling intelligent reasoning about the data. It also offers a method which allows for elegantly encoding transfomations on XML-documents,using a powerful substitution mechanism.We are applying these techniques in an expert system for the classification and the retrieval of ordinary differential equations. The rule-based approach allows to provide a query and transformation language ,which can deal with different kinds of XML-based mathematical documents, such as documents in MATHML and in OPENMATH. More... »

PAGES

133-146

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-36469-2_11

DOI

http://dx.doi.org/10.1007/3-540-36469-2_11

DIMENSIONS

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


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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of T\u00fcbingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, T\u00fcbingen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "University of T\u00fcbingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, 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 - 7074, W\u00fcrzburg, Germany", 
          "id": "http://www.grid.ac/institutes/grid.8379.5", 
          "name": [
            "Department of Computer Science, University of W\u00fcrzburg, Am Hubland, D - 7074, 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": "University of T\u00fcbingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, T\u00fcbingen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "University of T\u00fcbingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, 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-01-30", 
    "datePublishedReg": "2003-01-30", 
    "description": "In this paper,we describe techniques for querying and transforming XML -based mathematical knowledge. The XML-documents are transformed into an equivalent PROLOG-structure called field notation , which serves as our Document Object Model (DOM).Based on the field notation we provide a powerful and flexible query language in a PROLOG-based logic programming environment enabling intelligent reasoning about the data. It also offers a method which allows for elegantly encoding transfomations on XML-documents,using a powerful substitution mechanism.We are applying these techniques in an expert system for the classification and the retrieval of ordinary differential equations. The rule-based approach allows to provide a query and transformation language ,which can deal with different kinds of XML-based mathematical documents, such as documents in MATHML and in OPENMATH.", 
    "editor": [
      {
        "familyName": "Asperti", 
        "givenName": "Andrea", 
        "type": "Person"
      }, 
      {
        "familyName": "Buchberger", 
        "givenName": "Bruno", 
        "type": "Person"
      }, 
      {
        "familyName": "Davenport", 
        "givenName": "James Harold", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-36469-2_11", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-00568-1", 
        "978-3-540-36469-6"
      ], 
      "name": "Mathematical Knowledge Management", 
      "type": "Book"
    }, 
    "keywords": [
      "Document Object Model", 
      "expert system", 
      "flexible query language", 
      "logic programming environment", 
      "rule-based approach", 
      "query language", 
      "intelligent reasoning", 
      "programming environment", 
      "transformation language", 
      "object model", 
      "mathematical documents", 
      "field notation", 
      "Prolog environment", 
      "flexible processing", 
      "notation", 
      "documents", 
      "language", 
      "XML", 
      "queries", 
      "different kinds", 
      "MathML", 
      "mathematical knowledge", 
      "OpenMath", 
      "retrieval", 
      "Prolog", 
      "reasoning", 
      "system", 
      "classification", 
      "technique", 
      "processing", 
      "knowledge", 
      "environment", 
      "kind", 
      "model", 
      "data", 
      "method", 
      "transfomation", 
      "mechanism", 
      "substitution mechanism", 
      "differential equations", 
      "ordinary differential equations", 
      "equations", 
      "paper", 
      "approach"
    ], 
    "name": "An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG\u2014Environment", 
    "pagination": "133-146", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035422451"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-36469-2_11"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-36469-2_11", 
      "https://app.dimensions.ai/details/publication/pub.1035422451"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_249.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-36469-2_11"
  }
]
 

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-36469-2_11'

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-36469-2_11'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-36469-2_11'

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-36469-2_11'


 

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

131 TRIPLES      23 PREDICATES      69 URIs      62 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-36469-2_11 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N41b6278fc6e141558915c26e398b6b95
4 schema:datePublished 2003-01-30
5 schema:datePublishedReg 2003-01-30
6 schema:description In this paper,we describe techniques for querying and transforming XML -based mathematical knowledge. The XML-documents are transformed into an equivalent PROLOG-structure called field notation , which serves as our Document Object Model (DOM).Based on the field notation we provide a powerful and flexible query language in a PROLOG-based logic programming environment enabling intelligent reasoning about the data. It also offers a method which allows for elegantly encoding transfomations on XML-documents,using a powerful substitution mechanism.We are applying these techniques in an expert system for the classification and the retrieval of ordinary differential equations. The rule-based approach allows to provide a query and transformation language ,which can deal with different kinds of XML-based mathematical documents, such as documents in MATHML and in OPENMATH.
7 schema:editor N95f52c1333884226ada1edf08812abb2
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nc432e95e4da54af684158bf18cbf87c6
12 schema:keywords Document Object Model
13 MathML
14 OpenMath
15 Prolog
16 Prolog environment
17 XML
18 approach
19 classification
20 data
21 different kinds
22 differential equations
23 documents
24 environment
25 equations
26 expert system
27 field notation
28 flexible processing
29 flexible query language
30 intelligent reasoning
31 kind
32 knowledge
33 language
34 logic programming environment
35 mathematical documents
36 mathematical knowledge
37 mechanism
38 method
39 model
40 notation
41 object model
42 ordinary differential equations
43 paper
44 processing
45 programming environment
46 queries
47 query language
48 reasoning
49 retrieval
50 rule-based approach
51 substitution mechanism
52 system
53 technique
54 transfomation
55 transformation language
56 schema:name An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment
57 schema:pagination 133-146
58 schema:productId N14485bd05b2e447da81b6b78bd74e7d9
59 N4fc0e7914f2f43daa53eac59022e0158
60 schema:publisher N1f4a31bc3e314e68a3044224aad525ac
61 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035422451
62 https://doi.org/10.1007/3-540-36469-2_11
63 schema:sdDatePublished 2022-05-20T07:44
64 schema:sdLicense https://scigraph.springernature.com/explorer/license/
65 schema:sdPublisher Nbc5cc6528f0e40b1b92911ff911ea10f
66 schema:url https://doi.org/10.1007/3-540-36469-2_11
67 sgo:license sg:explorer/license/
68 sgo:sdDataset chapters
69 rdf:type schema:Chapter
70 N050f864579644b1d8e5cdbf7e8a8d334 rdf:first sg:person.014335443074.50
71 rdf:rest N2fd04a9830fb42d8ae447427ffb7f3fc
72 N14485bd05b2e447da81b6b78bd74e7d9 schema:name doi
73 schema:value 10.1007/3-540-36469-2_11
74 rdf:type schema:PropertyValue
75 N1f4a31bc3e314e68a3044224aad525ac schema:name Springer Nature
76 rdf:type schema:Organisation
77 N2fd04a9830fb42d8ae447427ffb7f3fc rdf:first sg:person.013324511711.75
78 rdf:rest rdf:nil
79 N4151128f1e0b48d39615bbfa0784f071 rdf:first N624ccfd316e24be3ba73b395ce0a43bb
80 rdf:rest rdf:nil
81 N41b6278fc6e141558915c26e398b6b95 rdf:first sg:person.015726301075.16
82 rdf:rest N050f864579644b1d8e5cdbf7e8a8d334
83 N4fc0e7914f2f43daa53eac59022e0158 schema:name dimensions_id
84 schema:value pub.1035422451
85 rdf:type schema:PropertyValue
86 N624ccfd316e24be3ba73b395ce0a43bb schema:familyName Davenport
87 schema:givenName James Harold
88 rdf:type schema:Person
89 N95f52c1333884226ada1edf08812abb2 rdf:first Nb1b33eba269943f89dda7f3c4d9f54ad
90 rdf:rest Nd8828f88aaf64b18a8e9cee4d1eede2f
91 Nb1b33eba269943f89dda7f3c4d9f54ad schema:familyName Asperti
92 schema:givenName Andrea
93 rdf:type schema:Person
94 Nbc5cc6528f0e40b1b92911ff911ea10f schema:name Springer Nature - SN SciGraph project
95 rdf:type schema:Organization
96 Nc432e95e4da54af684158bf18cbf87c6 schema:isbn 978-3-540-00568-1
97 978-3-540-36469-6
98 schema:name Mathematical Knowledge Management
99 rdf:type schema:Book
100 Nd8828f88aaf64b18a8e9cee4d1eede2f rdf:first Ndb28727dcccd44f7866148f6dbe481de
101 rdf:rest N4151128f1e0b48d39615bbfa0784f071
102 Ndb28727dcccd44f7866148f6dbe481de schema:familyName Buchberger
103 schema:givenName Bruno
104 rdf:type schema:Person
105 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
106 schema:name Information and Computing Sciences
107 rdf:type schema:DefinedTerm
108 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
109 schema:name Artificial Intelligence and Image Processing
110 rdf:type schema:DefinedTerm
111 sg:person.013324511711.75 schema:affiliation grid-institutes:grid.10392.39
112 schema:familyName Güntzer
113 schema:givenName Ulrich
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
115 rdf:type schema:Person
116 sg:person.014335443074.50 schema:affiliation grid-institutes:grid.8379.5
117 schema:familyName Seipel
118 schema:givenName Dietmar A.
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014335443074.50
120 rdf:type schema:Person
121 sg:person.015726301075.16 schema:affiliation grid-institutes:grid.10392.39
122 schema:familyName Heumesser
123 schema:givenName Bernd D.
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015726301075.16
125 rdf:type schema:Person
126 grid-institutes:grid.10392.39 schema:alternateName University of Tübingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, Tübingen, Germany
127 schema:name University of Tübingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, Tübingen, Germany
128 rdf:type schema:Organization
129 grid-institutes:grid.8379.5 schema:alternateName Department of Computer Science, University of Würzburg, Am Hubland, D - 7074, Würzburg, Germany
130 schema:name Department of Computer Science, University of Würzburg, Am Hubland, D - 7074, Würzburg, Germany
131 rdf:type schema:Organization
 




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


...