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. Together with Said Tabet I launched the Rule Markup Initiative (cf. KR Principles and DTD Modularization). RuleML has received wide distribution.



Teaching (at the Department of Computer Science)


XML Technology

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, talk) 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. Together with Stefan Decker and Michael Sintek I gave an ECAI-2000 Tutorial on Knowledge Markup Techniques (Slides) and an IJCAI-01 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. At W3C's 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 Gerd Wagner 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, ruleml-mht.pdf) on The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations at the 14th International Conference of Applications of Prolog, INAP2001, 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).

Functional-Logic Programming

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

Knowledge Sharing and Integration

Since the
first workshop on Product Knowledge Sharing and Integration (EU Report), continued as ProKSI-97, we have treated these notions together, paralleling VEGA's 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 EJC98, 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), for 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).
Recent change: 2006-06-24