Home Page of
Harold Boley: http://www.dfki.uni-kl.de/~boley/
Since September 2002, I have been at NRC and the University of New Brunswick in Fredericton;
for details see my UNB Home Page at http://www.cs.unb.ca/profs/boley/.
For my work as a visiting researcher at Stanford between
Jan. and Dec. 1999 see
my SMI Home Page at http://smi-web.stanford.edu/people/boley/.
Based on a proposal for KBs in the Web and ONTOFILE,
I have helped initiating DFKI's efforts in XML, RDF, and the Semantic Web,
in research (XML Technology) and teaching (XML: Foundations, Techniques, Applications).
Trying to capture the basics, e.g. for newcomers, I put together The Semantic Web in 10 Passages.
with Said Tabet
I launched the Rule Markup Initiative (cf. KR Principles and DTD Modularization).
RuleML has received wide distribution.
Relational-Functional Markup Language for sharing functional-logic knowledge on the Web (RFML). Comparison of the
Protégé and XML Knowledge Models (ProXML)
and Using Protégé-2000 to Edit RDF (Protégé-RDF).
A paper invited to the 14th
WLP (in German: paper,
talk; in English: paper,
compares notions of XML and logic programming.
One talk prepared for the Dagstuhl Seminar
Semantics for the Web
discusses Subsumption Semantics for XML Tags, the other
moves Towards a Wireless Agent Markup Core.
with Stefan Decker
and Michael Sintek
I gave an ECAI-2000 Tutorial on Knowledge Markup
Techniques (Slides) and
Tutorial on Knowledge Markup and Resource Semantics (Slides).
A paper invited to PRIIA 2000 looks at RDF from the extended perspective of logic programming and hypergraphs (HTML, PostScript, PDF; Talk).
A paper for WFLP 2000 gives the rationale for RFML-like formats (PostScript, PDF, Talk).
An invited talk at a Workshop on Attribute Grammars, XML, and RDF at the Institute for Media and Communications Management aligns Attribute Grammars and XML.
Jos De Roo
and me gave a talk on Inferential Semantics for Networked Image Data
at the Semantic Web Technologies Workshop in Luxembourg.
A talk at the Dagstuhl Seminar
Semantics in Databases
discusses three Semantics for Valid XML Documents.
RDF Interest Group: Face to face meeting 26/27 Feb 2001
we talked on
The Rule Markup Initiative: RDF Relationships and DTD Modularization.
A talk at the OntoWeb Kick-off Workshop,
Heraklion, Greece, June 2001, was on RuleML for the Semantic Web.
Together with Said Tabet and
I presented an SWWS paper,
Design Rationale of RuleML: A Markup Language for Semantic Web Rules (talk),
at Stanford, CA, in July/August 2001.
I gave an invited talk (ruleml-mht-talk) and paper (ruleml-mht.ps,
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations at the
14th International Conference of Applications of Prolog,
in Tokyo, Japan, in October 2001.
Currently, I am working on a draft of A Web Data Model Unifying XML and RDF.
Graph Generalization and Processing
For permitting visual object-relational modeling,
Directed Labeled Graphs (DLGs) were generalized to
Directed Recursive Labelnode Hypergraphs (DRLHs),
processed by a declarative graph library.
A hypergraph version is also proposed for extending RDF (PostScript, PDF; Talk).
The basic RELFUN effort has provided a tight, practical integration
of relations and functions to obtain a single declarative programming style.
It is the semantic basis of the Relational-Functional Markup Language
(RFML), which employs an XML
Knowledge Sharing and Integration
first workshop on Product Knowledge Sharing and Integration
(EU Report), continued as ProKSI-97,
we have treated these notions together,
joinder of sharing and evolution, as found in a German review.
A conceptual essay, in English (paper, talk) and German (PS, HTML), proposes
(1) the use of Horn logic for building sharable knowledge bases in the Web and
(2) a search engine integrating the knowledge in such KBs.
Uniform ontological modeling of the semantics of file and URL systems
is developed in the ONTOFILE paper and
talk of the
along with a knowledge-sharing position statement.
This is our summary of sharing and integration via the Web.
Functional-Logic and OOP Applications
Functional-logic prototypes were implemented in RELFUN among others for
selecting thermoplastics fulfilling certain engineering properties (RTPLAST),
transforming CAD workpieces into lathe-NC programs
(CAD2NC), and for multi-agent medical problem solving; cf. Applications in RELFUN.
An object-oriented prototype, PIMaS, was implemented in Smalltalk for product-process mapping, e.g. for building water-purification plants
(gzipped PS version).
Ontologies were developed, e.g. for Mathematics International (Mathint Ontology).