Harold Boley

Harold Boley

Adjunct Professor, University of New Brunswick: Faculty of Computer Science
Chair, RuleML
Visiting Researcher, WSL
Zürcherstrasse 111, CH-8903 Birmensdorf, Zürich, Switzerland
Mail: given dt family at ruleml dt organization

Welcome on my page. Please consider submitting a paper or demo to RuleML 2014.

At UNB, my teaching is about Semantic Technologies, Declarative Programming, and Multi-Agent Systems, and I am supervising grad students (e.g., MS and PhD in Computer Science) and occasionally undergrad students. In the Web standards world, I am chairing the RuleML Initiative (meet us on the RuleML Blog and at the annual RuleML Symposium), am editor of the OASIS LegalRuleML Technical Committee, and was editor of the now complete W3C Rule Interchange Format (RIF Second Edition). My 2011-2015 NSERC Discovery Grant is about "Metrics-Controlled Web Rule Translation".

My current research is in Semantic Web languages and applications, including rule-based knowledge representation. I have explored joining rules and ontologies, 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. The RIF-RuleML-bridging Positional-Slotted, Object-Applicative (PSOA) logic integrates object-relational knowledge for rules and combines those with taxonomies. Social Semantic Web rules and ontologies for person/organization-centric profiles can support FOAF-extending expert finding and social networking, as explored, e.g., in FindXpRT and WellnessRules. Recently, I started the Grailog Initiative to systematically combine generalized graph constructs for visual data & knowledge representation ranging from (binary and n-ary) relational logic to Horn logic, description logic, (PSOA-generalized) object/frame logic, higher-order logic, and modal logic.

If you are interested in studying at UNB Fredericton, there is information about the CS Graduate Programs.

In particular, I am currently looking for students knowledgeable in: (1) RuleML, contributing to its PSOA extension, its Relax NG specification, or its Java implementation OO jDREW; (2) Grailog, contributing to its systematics, translators, or use cases.

Teaching

2013/14

2012/13

2011/12

2010/11

2009/10

2008/09

2007/08

2006/07

2005/06

2004/05

2003/04

2002/03

 

Fall: RuleML Technology

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: 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: Deliberation RuleML, Reaction RuleML, and LegalRuleML: Specification and Application Summer: Semantic Agent Systems

 

 

 

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

fALCHIN

fuzzy ALC with role Hierarchies, Inverse roles, and Number restrictions

fuzzy description logic syntax, semantics, reasoning procedure, and SWI-Prolog implementation

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

fZSI

fuzzy Zadeh-description-logic SI

Description Logic with fuzzy (instances of) concepts and roles for consistency checking, instance range entailment, and f-retrieval

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

PatientSupporter

Patient Supporter profiles

Rule Responder querying of Patient Support communities about Sports Injuries

POSL

Positional-Slotted Language

Shorthand and presentation syntax for Semantic Web knowledge

PSOA RuleML

Positional-Slotted, Object-Applicative RuleML

RIF-style semantics for distributed object-relational 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 / Euler 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)

SymposiumPlanner

Symposium Planner profiles

Rule Responder querying of symposium committees about organizational (meta)topics

Teclantic

Technology transfer in Atlantic Canada

Project profile comparison with AgentMatcher

Treesim

Tree Similarity Algorithm

Slot-weighted OO RuleML term measure

WellnessRules

Wellness Rule profiles

Rule Responder querying of Wellness Rule communities about Activities and Nutrition

WRL

Web Rule Language

Variants Core, Flight, and Full

Talks

Title Venue(s)
ALCup: An Integration of Description Logic and General Rules RR-2007
Are Your Rules Online? Four Web Rule Essentials (ppt) RuleML-2007
DatalogDL: Datalog Rules Parameterized by Description Logics (ppt) CSWWS-2006
Distributed Semantic Web Knowledge Representation and Inferencing;
Distributed Rule Responder Querying on the Semantic Web
ICDIM 2010
Expert Querying and Redirection with Rule Responder (ppt) FEWS-2007
Grailog (ppt) Versions: PhiloWeb-2011 (RuleML/Grailog), OMGCambridge2012 (GrailogUI)
Highly-Modular Relax NG Schemas for Customized Access to RuleML Knowledge Bases OMGCambridge2012
PSOA RuleML Versions: AWoSS3 (LinkObjLinkRuleSocSem), Semantic Days 2011 (PSOALinkObjRule), RuleML-2011 - Europe (RIFSemRuleMLInteg), IJCAI-2011 (RuleMLObjRelKR), SFU CS Seminar 2011-08-08 (RuleMLIntegRIFModSem), UNB CS Seminar 2011-09-14 (DistriObjRelKnow)
Reaction RuleML for Accessing Loosely-Coupled and Event-Messaged Rule KBs OMGCambridge2012
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core RuleML-2009
RuleML 1.0: The Overarching Specification of Web Rules (ppt) RuleML-2010
Social Semantic Rule Sharing and Querying in Wellness Communities ASWC-2009
The RuleML Family of Web Rule Languages (ppt)
[short version (ppt)]
PPSWR-2006

Some Abstracts

More can be accessed from Google Scholar, the DBLP Bibliography Server, my NRC Publications, and my DFKI Home Page at http://www.dfki.uni-kl.de/~boley.

This work is supported by NSERC.

Recent change: 2013-12-18