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
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