An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment

被引:0
|
作者
Heumesser, BD
Seipel, DA
Güntzer, U
机构
[1] Univ Tubingen, Wilhelm Schickard Inst Comp Sci, D-72076 Tubingen, Germany
[2] Univ Wurzburg, Dept Comp Sci, D-97074 Wurzburg, Germany
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:133 / 146
页数:14
相关论文
共 50 条
  • [31] XML-based distributed access control system
    López, J
    Maña, A
    Yagüe, MI
    E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS, 2002, 2455 : 203 - 213
  • [32] The development of an XML-Based data warehouse system
    Huang, SM
    Su, CH
    INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2002, 2002, 2412 : 206 - 212
  • [33] An XML-based system for Spanish question answering
    Tomas, David
    Vicedo, Jose L.
    Saiz, Maximiliano
    Izquierdo, Ruben
    ACCESSING MULTILINGUAL INFORMATION REPOSITORIES, 2006, 4022 : 347 - 350
  • [34] XIRS: an XML-based image retrieval system
    Tchuissang, G. N. Fanzou
    De, Xu
    Wang, N.
    Siewe, Franicois
    LECTURE NOTES IN SIGNAL SCIENCE, INTERNET AND EDUCATION (SSIP'07/MIV'07/DIWEB'07), 2007, : 233 - +
  • [35] Xml-based open framework for system interaction
    Copéré, L
    Fouilleron, M
    Truffinet, C
    Tricot, JC
    El Kamel, A
    2003 IEEE SYSTEMS & INFORMATION ENGINEERING DESIGN SYMPOSIUM, 2003, : 101 - 106
  • [36] Research of XML-Based Web Report System
    Liang, Kun
    Li, Yujun
    Duan, Jinghong
    Wang, Yiming
    2017 IEEE 3RD INTERNATIONAL CONFERENCE ON BIG DATA SECURITY ON CLOUD (BIGDATASECURITY, IEEE 3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE AND SMART COMPUTING, (HPSC) AND 2ND IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA AND SECURITY (IDS), 2017, : 96 - 100
  • [37] A model of XML-based distributed measurement system
    Le, B
    Liu, Z
    Gu, TX
    PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, VOL 1, 2004, : 1351 - 1355
  • [38] A new version of annotation method with a XML-based knowledge base
    Yasrebi, Mohammad
    Khosravi, Somayeh
    World Academy of Science, Engineering and Technology, 2010, 62 : 632 - 634
  • [39] An XML-based interactive question generator for an adaptive learning environment
    Bajuelos, AL
    Breda, AM
    Castillo, G
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS I, 2002, : 430 - 435
  • [40] Ontology-supported and XML-based knowledge description language
    Wang Xianghua
    JournalofSystemsEngineeringandElectronics, 2004, (02) : 197 - 204