Ontology type: schema:Chapter
2003-01-30
AUTHORSBernd D. Heumesser , Dietmar A. Seipel , Ulrich Güntzer
ABSTRACTIn 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... »
PAGES133-146
Mathematical Knowledge Management
ISBN
978-3-540-00568-1
978-3-540-36469-6
http://scigraph.springernature.com/pub.10.1007/3-540-36469-2_11
DOIhttp://dx.doi.org/10.1007/3-540-36469-2_11
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1035422451
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
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 |