Harold Boley

Harold Boley

Adjunct Professor, Faculty of Computer Science
University of New Brunswick
 
Leader, Semantic Web Laboratory
Institute for Information Technology - e-Business, NRC
46 Dineen Drive, Fredericton, NB, E3B 9W4, Canada
Phone: +1-506-444-0385, Fax: +1-506-444-6114, Mail: first dot last at nrc.gc.ca

Welcome on my page, to the campus of UNB, including our NRC-IIT location, and in Fredericton. UNB and NRC Fredericton are strong players in Web-oriented Computer Science. I am leading the NRC SemWebLab, which conducts research in Semantic Web languages and applications, including rule-based knowledge representation. I am co-founder and co-chair of the RuleML Initiative as well as co-editor of the W3C Rule Interchange Format Working Group (RIF Wiki).

One of my current interests, in various teams, is Semantic Web knowledge representation joining rules and ontologies, as explored, e.g., with sorted Horn logics in Relfun, RuleML, and POSL, with the hybrid combination of Datalog and Description Logics from ALC to SHIQ in DatalogDL, as well as with the homogeneous integration of rules using default negation and ALC in ALCuP. Another current interest is the use of such Semantic Web knowledge representations for person/organization-centric profiles supporting FOAF-extending social networking and expert finding, as explored, e.g., with RuleML FOAF in FindXpRT and combined RDF vocabularies in the ExpertFinder initiative.

If you are interested to study in Fredericton, this is CS Information for Prospective Students.
If you are interested to work here, there may be a relevant IIT Job Posting for our Fredericton location, as e.g. in reasoning, semantic web, multi-agent systems, and SOA.

In particular, I am currently looking for students, knowledgeable in RIF-BLD or Derivation RuleML, working on their Schema specification (XML Schema for RIF-BLD / Schema Specification of RuleML) and on their Java Implementation.

Recent Teaching

2009/10

2008/09

2007/08

2006/07

2005/06

2004/05

2003/04

2002/03

 

Fall: CS 6795 Semantic Web Techniques

Fall: 384.124 Semantic Web Techniques
Fall: 384.126 Logical Foundations of Cognitive Science

Fall: CS 6795 Semantic Web Techniques

Fall: CS 6795 Semantic Web Techniques

Fall: CS 6795 Semantic Web Techniques

Fall: CS 6795 Semantic Web Techniques

Fall: CS 6905 Semantic Web Techniques

Fall: CS 6999 Semantic Web Techniques

 

Winter: CS 6715 Functional-Logic Programming

Winter: CS 6715 Functional-Logic Programming

Winter: CS 6715 Functional-Logic Programming

Winter: CS 6715 Functional-Logic Programming

Winter: CS 6905 Functional and Logic Programming

Winter: CS 6905 Functional and Logic Programming

Winter: CS 6905 Functional and Logic Programming

 
   

Summer: Semantic Services for Business Process Management

Summer: ICEC2006 on SOA

Summer: NRC-IIT Summer Rules Training

     

Research

Short form

Expanded form

Brief description

AcLOnet

Assembly from a Collaborative Learning-Object NETwork

Filter&compose geometry Learning Objects via LOM Metadata

AgentMatcher

Agent Match Maker

Match making using Treesim and ranked pairing

ALCuP

ALC with unique names and general Datalog programs

Homogeneous integration of rules using default negation and ALC

DatalogDL

Datalog rules parameterized by Description Logics

Hybrid combination of rules and ontologies (ALC to SHIQ)

DRLHs

Directed Recursive Labelnode Hypergraphs

Semantic nets with complex nodes, label descriptions, n-ary arcs

fhDLP

fuzzy hybrid Description Logic Programs

fuzzy hybrid ontology/rule combination

FindXpRT

Find an eXpert via Rules and Taxonomies

Person-centric knowledge for expert finding using RuleML FOAF

FOL RuleML

First-Order-Logic RuleML

Explicit quantifiers and disjunction for RuleML knowledge bases

Grailog

Graph inscribed logic

DRLH-like graphs for the presentation&mapping of logic languages

inDiscover

independent music Discovery

NRC/Bell music recommendation portal

LOMGen

Learning Object Metadata Generator

Information extraction in computing domain

NBBizKB

New Brunswick Business Knowledge Base

Extracted RuleML facts processed by RuleML rules

OntoMathInt

Ontology for Mathematics International

Formalized and visualized study program

OntoTherm

Ontology for ELOTHERM

RuleML taxonomy for heating design

OO jDREW

Object-Oriented Java Deductive Reasoning Engine for the Web

Open source reference implementation of RuleML

OO RuleML

Object-Oriented Rule Markup Language

Joining F-logic and Prolog in RuleML

POSL

Positional-Slotted Language

Shorthand and presentation syntax for Semantic Web knowledge

RACOFI

Rule Applying COllaborative FIltering

Multi-dimensional music recommendation

RACSA

Rule Applying Comparison Shopping Agent

Computing end prices via RuleML rules

RALOCA

Rule Applying Learning Object Comparison Agent

e-Learning filtering with OO RuleML

Reaction RuleML

Reaction rule languages of RuleML

Comprises production, action, reaction, and temporal-logic rules

Relfun

Relational-Functional Language

Tightly integrated declarative programming

Rex ViPER

Rule-EXtended Visual Perception-based Extraction of Records

POSL association rules from ViPER tables

RFML

Relational-Functional Markup Language

XML interchange format of Relfun

RIF

Rule Interchange Format

RIF Basic Logic Dialect (BLD), Framework for Logic Dialects (FLD), Datatypes and Built-Ins 1.0 (DTB), and Core (Core)

RIF-URD

RIF Uncertainty Rule Dialect

RIF extension for uncertain knowledge representation

RuleML

Rule Markup Language

Webized XML rules

RuleML FOAF

RuleML Friend-Of-A-Friend

Rules and facts for social networking

Rule Responder

Rule-based autoResponder system

RuleML FOAF profiles distributed over Prova / OO jDREW engines

SWRL

Semantic Web Rule Language

Combining OWL and RuleML

SWRL FOL

SWRL First Order Logic

First-Order-Logic extension of OWL, RuleML, and SWRL

SWSF

Semantic Web Services Framework

Semantic Web Services Language (SWSL) + Ontology (SWSO)

Teclantic

Technology transfer in Atlantic Canada

Project profile comparison with AgentMatcher

Treesim

Tree Similarity Algorithm

Slot-weighted OO RuleML term measure

WRL

Web Rule Language

Variants Core, Flight, and Full

Some Abstracts


More can be accessed from my NRC Publications and my DFKI Home Page at http://www.dfki.uni-kl.de/~boley.

This work is supported by NSERC.

Recent change: 2009-02-15