Cross-Fertilizing Logic Programming and XML for Knowledge Representation

Cross-Fertilizing Logic Programming and XML for Knowledge Representation

Harold Boley (German Research Center for Artificial Intelligence, Germany)
Copyright: © 2002 |Pages: 19
DOI: 10.4018/978-1-930708-13-6.ch003
OnDemand PDF Download:


The simplicity of Web-based data exchange is beneficial for nonformal, semiformal and formal documents. For formal specifications and programs the Web permits distributed development, usage and maintenance. Logic programming (LP) has the potential to serve as a uniform language for this. Meanwhile, however, the World Wide Web Consortium (W3C; has enhanced HTML–for nonformal and semiformal documents–into the Extensible Markup Language (XML) (Harold, 1999)–for semiformal and formal documents. This raises the issue of the relationships between XML and LP. Will logic programming have the chance, despite, or perhaps precisely because of XML, to become a ‘Web technology’ for formal documents? Could the HTML-like syntax of XML be replaced by a Prolog-like syntax, or could it be edited or presented over a standardized stylesheet—in such a Prolog syntax? Is SLD resolution a suitable starting point for the interpreter semantics of an XML query language like XQL ( or should an LP-oriented, inferential query language be developed in the form of an XML-based Prolog? In the following text, such questions will be discussed, and possible interplays between XML and LP—in both directions—will be presented.

Complete Chapter List

Search this Book:
Table of Contents
Rolf Grütter
Chapter 1
Katarina Stanoevska-Slabeva
Knowledge is the internal state of humans that results from the input and processing of information during learning and performing tasks. According... Sample PDF
The Concept of Knowledge Media: The Past and Future
Chapter 2
Giordano Lanzola, Harold Boley
The present paper reports on our experience with applying RELFUN (Boley, 1999) to problems in distributed medical care. This application arose... Sample PDF
Experience with a Functional-Logic Multi-Agent Architecture for Medical Problem Solving
Chapter 3
Harold Boley
The simplicity of Web-based data exchange is beneficial for nonformal, semiformal and formal documents. For formal specifications and programs the... Sample PDF
Cross-Fertilizing Logic Programming and XML for Knowledge Representation
Chapter 4
Hans Rudolf Straub
EDP stands for electronic data processing. Data bear imminent information–but what kind of information? The question becomes particularly apparent... Sample PDF
Four Different Types of Classification Models
Chapter 5
Markus Wagner
The main concern of healthcare management has ever been embodied by two conflicting goals. These are improving care quality while reducing care... Sample PDF
Towards Improved Representation and Communication of Pharmaceutical Expert Information
Chapter 6
Epaminondas Kapetanios
A large part of all activities in healthcare deals with decision making regarding which examinations and tests need to be done or, on the basis of... Sample PDF
A Semantically Advanced Querying Methodology for Medical Knowledge and Decision Support
Chapter 7
Konstantin Knorr, Susanne Rohrig
In healthcare a lot of data are generated that in turn will have to be accessed from several departments of a hospital. The information kept within... Sample PDF
Towards a Secure Web-Based Healthcare Application
Chapter 8
Ulrich Ultes-Nitsche, Stephanie Teufel
In Holbein et al. (1997) and previous papers (Holbein & Teufel, 1995; Holbein et al., 1996), the concept of a context-dependent access control has... Sample PDF
Secure Internet Access to Medical Data
Chapter 9
Allen F. Shaughnessy, David C. Slawson, Joachim E. Fischer
The days when newly graduated doctors were well equipped with the knowledge and information they would need during a lifetime are long since gone.... Sample PDF
Poems in the Information Jungle - How Do Physicians Survive?
Chapter 10
Kahild S. Khan, Lucas M. Bachmann, Johann Steurer
The information base for healthcare is rapidly expanding. There are more than 20,000 biomedical journals. Approximately 17,000 new biomedical books... Sample PDF
The Medical Journal Club - A Tool for Knowledge Refinement and Transfer in Healthcare
Chapter 11
Daniel L. Moody, Graeme G. Shanks
This paper describes a successful knowledge management project in one of Australia’s state health departments. The objective of the project was to... Sample PDF
Using On-Line Medical Knowledge to Support Evidence-Based Practice: A Case Study of a Successful Knowledge Management Project
Chapter 12
Walter Fierz
To a large extent, medicine is an information-processing endeavor. It is all the more surprising, therefore, that computer technology has not yet... Sample PDF
Structured Content and Connectivity of Medical Information - The Medical Data Web
Chapter 13
Steffen Staab, Michael Erdmann, Alexander Maedche, Stefan Decker
The development of the World Wide Web is about to mature from a technical platform that allows for the transportation of information from sources to... Sample PDF
An Extensible Approach for Modeling Ontologies in RDF(S)
Chapter 14
Rolf Grutter, Claus Eikemeier, Johann Steurer
It is the vision of the protagonists of the Semantic Web to achieve “a set of connected applications for data on the Web in such a way as to form a... Sample PDF
Towards a Semantic Web of Evidence-Based Medical Information
About the Authors