W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2005

RE: Introductions

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Sun, 4 Dec 2005 00:44:53 -0500
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E90116DEAF@nrccenexb1.nrc.ca>
To: <public-rif-wg@w3.org>

Principal, Attending F2F

  -- a bio summarizing experience you have that's relevant to the
     work of this group

I'm leader of the Semantic Web Laboratory at NRC, IIT e-Business, and 
Adjunct Professor at the Faculty of Computer Science, University of
New Brunswick, Canada. In 1999, I developed the Relational-Functional
Markup Language before inciting the Rule Markup Initiative in 2000,
which I have been co-chairing since. My current focus is Semantic Web
knowledge representation using POSL and RuleML:
http://www.ruleml.org/usecases/nbbizkb
http://www.ruleml.org/usecases/chemxelem
http://www.ruleml.org/usecases/foaf

I've tried to bridge between communities, bringing RuleML serialization
into the four W3C Member Submissions most relevant to the RIF WG:
http://www.w3.org/Submission/2004/SUBM-SWRL-20040521
http://www.w3.org/Submission/2005/SUBM-FOL-RuleML-20050411
http://www.w3.org/Submission/2005/SUBM-SWSF-SWSL-20050909
http://www.w3.org/Submission/WRL

Our expanding teams of Semantic Web researchers in Fredericton are ready
to contribute to the WG with XSD specs, XSLT translators, rule engines,
and use cases.

  -- as much contact info as you care to share on this public list

Dr. Harold Boley
Institute for Information Technology - e-Business
National Research Council of Canada
46 Dineen Drive
Fredericton, NB, E3B 9W4
Phone: +1-506-444-0385
Fax: +1-506-444-6114
Email: harold.boley AT nrc.gc.ca
URL: http://www.cs.unb.ca/~boley

  -- what you expect to get out of this WG

A rule language reusing a version of the RuleML Horn Logic syntax in
Phase 1,
so that a lot of effort can be devoted to the semantic extensions of
Phase 2.

  -- what you hope/expect to contribute.

Phase 1

2.2.1.  Extensibility / 2.2.2.  Conformance
For both of these, the http://www.ruleml.org/modularization/#Model may
be
of interest.

2.2.3.  Load-and-Query Rule Engine
Here, http://www.jdrew.org/oojdrew could become a reference
implementation.

2.2.4. XML Syntax / 2.2.5. Horn Logic
Our results with the XSD http://www.ruleml.org/spec should be reused and
further developed, mainly http://www.ruleml.org/0.9/xsd/hornlog.xsd and
nearby sublanguage modules.

2.2.6. Datatype Support
The SWRL built-ins could be revisited and their OO jDREW implementation
extended: http://www.jdrew.org/oojdrew/builtins.html

Phase 2

3.2.1. Extensions to the Logic
Classical Negation and Negation-As-Failure can be made available in
separate sublanguages and in a combined one, as exemplified inside the
Negation Datalog module: http://www.ruleml.org/modularization/#Model
(see also http://www.ruleml.org/0.9/xsd/nafhornlog.xsd).
Scopes can be introduced for Negation-As-Failure and for positive
queries.
Full First-Order Logic (FOL) can reuse work by DARPA DAML and RuleML:
http://www.w3.org/Submission/2005/SUBM-FOL-RuleML-20050411
Various fragments of OWL can be -- homogeneous approach -- in subsets of
http://www.w3.org/Submission/2004/SUBM-SWRL-20040521
or become -- heterogeneous approach -- DL queries in hybrid rules:
http://www.jdrew.org/oojdrew/exa/hybridrules.html

3.2.2. Purely Syntactic Extensions
Should follow the SWSL approach:
http://www.w3.org/Submission/2005/SUBM-SWSF-SWSL-20050909

3.2.3. Datatype and Data Structure Support / 3.2.4. Data Sources
A ground layer of Web built-ins can help both this WG and related
efforts
(see also http://www.ruleml.org/indoo/indoo.html#Programs-as-Data).

3.2.5. Actions / 3.2.6. Knowledge Base Access
Work on Production RuleML (PR RuleML), coordinated with OMG's PRR,
will be relevant for both: http://www.w3.org/2004/12/rules-ws/paper/53
Received on Sunday, 4 December 2005 05:48:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:24 GMT