Functional-Logic Programming in/for the Web

The first paper discusses functional-logic programming for the `object-level' of knowledge bases in the World Wide Web. The second paper discusses FLP for the `meta-level' of KBs about the WWW.



Knowledge Bases in the World Wide Web: A Challenge for Logic Programming

Harold Boley

DFKI Kaiserslautern

Abstract

Regarding the World Wide Web, knowledge bases can be categorized between (HTML-)documents and (SQL-)databases. In order to standardize them, the use of Horn logic for Web publications is proposed. The central part outlines the design of a Web search engine for processing distributed Horn-logic knowledge bases. Some of the research issues to be solved are elaborated from the perspective of (parallel, modular) logic programming. A proposal for realization is based on the Infomaster system, here restricted from heterogeneous notations to a standardized format. Possible Inter- and intranet applications are discussed. Finally, an LP-community effort for building up (documented) Horn-logic knowledge bases in the Web is encouraged.

In English: PS
In German: PS





ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs

Harold Boley

DFKI Kaiserslautern

Abstract

The conceptual-modeling language ONTOFILE is introduced to cope with the ontological complexity of (distributed) file systems. On the basis of the functional-logic language Relfun and the metadata-element set Dublin Core, files are described by exterior and interior ontologies for the respective structuring of their manifest and underlying features. These declarative representations are subdivided into manifest file designators, attributes, and relations as well as underlying file entities and properties. Exterior designators are Relfun terms uniformly used to name local and global files by URLs of schemes file and http, respectively. Exterior attributes and relations are refined by parameters; single-valued and multiple-valued attributes are represented, respectively, by deterministic and non-deterministic functions. Interior entites and properties are modeled by subsumption heterarchies; property-to-entity applications return the files in which they hold. An interior ontology can be employed at the same time, like in fact retrieval, as a knowledge base formally summarizing the content of files and, like in document retrieval, as an index for the names of files containing detailed information. Besides retrieval, interior heterarchies permit two kinds of inference, inheritance and expansion. All ONTOFILE notions are discussed with an information-systems example.

Foils:
talk

Paper:
with (implicit) gunzip from *.ps.gz
(slower since) directly as *.ps




For details on the source language see: RELFUN