Harold Boley

Harold Boley

Adjunct Professor, Faculty of Computer Science, University of New Brunswick, Fredericton, NB, Canada
Chair, RuleML
Mail: given dt family at ruleml dt organization

Welcome on my page. You may also be interested in the RuleML Blog, e.g. with RuleML+RR 20xy reports/calls as well as articles about Declarative Notation for Artificial Intelligence and the object-relational PSOA RuleML / PSOATransRun. Besides that PSOA summary and the earlier one of PSOA RuleML: Integrated Object-Relational Data and Rules for the 11th Reasoning Web Summer School, there are newer ones, mainly PSOA RuleML Bridges Graph and Relational Databases and others reachable from it. The PSOA metamodel cube is dynamically visualized in PSOAMetaViz, as described in PSOAMetaViz Explained.

At UNB, my teaching has been 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 started and am chairing the RuleML Organization (meet us on the RuleML Blog and at the annual RuleML+RR 20xy Int'l Joint Conferences), am editor of the LegalRuleML OASIS Committee Specification, and was editor of the now complete W3C Rule Interchange Format (RIF Second Edition). My 2011-2015 NSERC Discovery Grant was about "Metrics-Controlled Web Rule Translation".

My current research is in Declarative AI 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. The Positional-Slotted Object-Applicative (PSOA) logic integrates object-relational data & knowledge for rules and combines those with taxonomies (subclass ontologies). PSOA applications include Port Clearance Rules and Medical Devices Rules. 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 with interest in: (1) RuleML, contributing to its XML-based/JSON-transferable Relax NG specification, its metamodel-cube-based PSOA extension, or its Java/ANTLR-based PSOATransRun implementation; (2) Grailog, contributing to its systematics, translators, or use cases, e.g. for visualizing PSOA RuleML atoms themselves (besides their metamodel).

Selected Teaching

2014/15

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: CS 6795 Semantic Web Techniques

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: PSOA RuleML: Integrated Object-Relational Data and Rules     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 Systems

Short form

Expanded form

Brief description

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

Grailog KS Viz

Grailog Knowledge-Source Visualizer

Transforming HornlogEq RuleML/XML to SVG/XML

inDiscover

independent music Discovery

NRC/Bell music recommendation portal

LOMGen

Learning Object Metadata Generator

Information extraction in computing domain

Medical Devices Rules

PSOA RuleML Medical Devices Rules

Regulation (EU) 2017/745 formalization for device classification and conformity

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

Port Clearance Rules

PSOA RuleML Port Clearance Rules

DM Challenge solution by object-relational formalization of English harbor-entry rules

POSL

Positional-Slotted Language

Shorthand and presentation syntax for Semantic Web knowledge

PSOAMetaViz

PSOA Metamodel Visualizer

Dynamic visualization of PSOA RuleML's metamodel cube

PSOA Prova

PSOA and Prova

PSOA RuleML's PSOATransRun system targeting combination of Prolog with Java

PSOA RuleML

Positional-Slotted Object-Applicative RuleML

Integrated object-relational data & knowledge with rules and taxonomies

PSOATransRun

PSOA Translator and Runtime system

Reference translator of PSOA RuleML to TPTP and Prolog engines

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

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

Sample 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

Papers

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

Recent change: 2018-07-25