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", 
      "flexible processing", 
      "notation", 
      "documents", 
      "language", 
      "mathematical knowledge", 
      "XML", 
      "queries", 
      "OpenMath", 
      "MathML", 
      "different kinds", 
      "Prolog", 
      "retrieval", 
      "reasoning", 
      "system", 
      "technique", 
      "classification", 
      "processing", 
      "environment", 
      "knowledge", 
      "kind", 
      "method", 
      "model", 
      "data", 
      "transfomation", 
      "differential equations", 
      "ordinary differential equations", 
      "mechanism", 
      "substitution mechanism", 
      "equations", 
      "paper", 
      "approach", 
      "XML -based mathematical knowledge", 
      "powerful substitution mechanism", 
      "XML-based mathematical documents", 
      "PROLOG\u2014Environment"
    ], 
    "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-01-01T19:20", 
    "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_35.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.

134 TRIPLES      23 PREDICATES      72 URIs      65 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 N8ccf41b4fa50442db4d446179ba31947
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 N7c1c86bbc4f14e8b94bb48b7a5aa9aa1
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N6ebaf85a1b2c475d834fd756570c2ee5
12 schema:keywords Document Object Model
13 MathML
14 OpenMath
15 PROLOG—Environment
16 Prolog
17 XML
18 XML -based mathematical knowledge
19 XML-based mathematical documents
20 approach
21 classification
22 data
23 different kinds
24 differential equations
25 documents
26 environment
27 equations
28 expert system
29 field notation
30 flexible processing
31 flexible query language
32 intelligent reasoning
33 kind
34 knowledge
35 language
36 logic programming environment
37 mathematical documents
38 mathematical knowledge
39 mechanism
40 method
41 model
42 notation
43 object model
44 ordinary differential equations
45 paper
46 powerful substitution mechanism
47 processing
48 programming environment
49 queries
50 query language
51 reasoning
52 retrieval
53 rule-based approach
54 substitution mechanism
55 system
56 technique
57 transfomation
58 transformation language
59 schema:name An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment
60 schema:pagination 133-146
61 schema:productId N538ab82ec08a469fa95efe7972d89f8f
62 Nfed2f9903b4445a78168fdd1359c7c19
63 schema:publisher Nd546cf6f5f6c48f7b6f1ca98b1e99a28
64 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035422451
65 https://doi.org/10.1007/3-540-36469-2_11
66 schema:sdDatePublished 2022-01-01T19:20
67 schema:sdLicense https://scigraph.springernature.com/explorer/license/
68 schema:sdPublisher N2d99b078d4d447c89609306b08e9efa1
69 schema:url https://doi.org/10.1007/3-540-36469-2_11
70 sgo:license sg:explorer/license/
71 sgo:sdDataset chapters
72 rdf:type schema:Chapter
73 N0336719942c040d48d995c3b2c892b4f rdf:first sg:person.013324511711.75
74 rdf:rest rdf:nil
75 N234391e29fd84fcaa5569ee3c7d4c7b1 rdf:first sg:person.014335443074.50
76 rdf:rest N0336719942c040d48d995c3b2c892b4f
77 N2d99b078d4d447c89609306b08e9efa1 schema:name Springer Nature - SN SciGraph project
78 rdf:type schema:Organization
79 N538ab82ec08a469fa95efe7972d89f8f schema:name dimensions_id
80 schema:value pub.1035422451
81 rdf:type schema:PropertyValue
82 N6ebaf85a1b2c475d834fd756570c2ee5 schema:isbn 978-3-540-00568-1
83 978-3-540-36469-6
84 schema:name Mathematical Knowledge Management
85 rdf:type schema:Book
86 N7c1c86bbc4f14e8b94bb48b7a5aa9aa1 rdf:first Ne4289bfac12840a5b21fc4c5e6c9936a
87 rdf:rest Naacf384dadb6440cbda672c1f9303da4
88 N8ccf41b4fa50442db4d446179ba31947 rdf:first sg:person.015726301075.16
89 rdf:rest N234391e29fd84fcaa5569ee3c7d4c7b1
90 Naacf384dadb6440cbda672c1f9303da4 rdf:first Nbb7580bfac6a42949f62843d0409b84e
91 rdf:rest Nf65f7c7b4fa74094b651160ccc5ee62b
92 Nbb7580bfac6a42949f62843d0409b84e schema:familyName Buchberger
93 schema:givenName Bruno
94 rdf:type schema:Person
95 Nd546cf6f5f6c48f7b6f1ca98b1e99a28 schema:name Springer Nature
96 rdf:type schema:Organisation
97 Ne4289bfac12840a5b21fc4c5e6c9936a schema:familyName Asperti
98 schema:givenName Andrea
99 rdf:type schema:Person
100 Ne8fcda5cb7d244cf9c448f3849d7cbe1 schema:familyName Davenport
101 schema:givenName James Harold
102 rdf:type schema:Person
103 Nf65f7c7b4fa74094b651160ccc5ee62b rdf:first Ne8fcda5cb7d244cf9c448f3849d7cbe1
104 rdf:rest rdf:nil
105 Nfed2f9903b4445a78168fdd1359c7c19 schema:name doi
106 schema:value 10.1007/3-540-36469-2_11
107 rdf:type schema:PropertyValue
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 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 University of Tübingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, Tübingen, Germany
130 schema:name University of Tübingen, Wilhelm-chickard Institute for Computer Science, Sand 13, D - 2076, 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 - 7074, Würzburg, Germany
133 schema:name Department of Computer Science, University of Würzburg, Am Hubland, D - 7074, Würzburg, Germany
134 rdf:type schema:Organization
 




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


...