C 3-Professur f. Informatik (Seipel)
Am Hubland, 97074 würzburg
Other participating persons and organisations:
Research foci (and basic equipment-based research projects):
The goal is the managment of semi-structured data, such as
XML-data, in a deductive database.
In addition to standard retrieval also the intelligent
reasoning about the data should be supported.
The developed techniques have been applied to various types
of XML-data, such as mathematical knowledge in MathML,
expert rules in XML, or stock data in HTML.
B. Heumesser, D. Seipel, U. Güntzer:
Flexible Processing of XML-Based Mathematical Knowledge
in a Prolog-Environment,
Proc. International Conference on Mathematical Knowledge Management
MKM'2003, Springer, Lecture Notes in Computer Science, 2003 (to appear).
Homepage (Prof. Seipel)