Harold Boley |
|
|
Adjunct Professor, University of New Brunswick: Faculty of Computer Science
Chair, RuleML
Principal Researcher,
NRC: Information and Communications Technologies, Security and Disruptive Technologies
|
Welcome on my page. 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 (e.g., NRC co-ops). In the Web standards world, I am chairing the RuleML Initiative (meet us 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). From the NRC-ICT research facilities in Fredericton, I am also working with NRC-ICT and NRC-SDT at the Ottawa headquarters. 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 to study at UNB Fredericton, this is information about the CS Graduate Programs.
If you are interested to work at NRC, there may be a relevant ICT or SDT Job Posting for the
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) Rule Responder, contributing to its framework or complementing its instantiations SymposiumPlanner, WellnessRules, or PatientSupporter;
(3) Grailog, contributing to its systematics, translators, or use cases.
Recent Teaching
2012/13 |
2011/12 |
2010/11 |
2009/10 |
2008/09 |
2007/08 |
2006/07 |
2005/06 |
2004/05 |
2003/04 |
2002/03 |
|
Fall: 384.124
Semantic Web Techniques |
|||||||||||
| 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 |
Assembly from a Collaborative Learning-Object NETwork |
Filter&compose geometry Learning Objects via LOM Metadata |
|
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) |
Directed Recursive Labelnode Hypergraphs |
Semantic nets with complex nodes, label descriptions, n-ary arcs |
|
fuzzy ALC with role Hierarchies, Inverse roles, and Number restrictions |
fuzzy description logic syntax, semantics, reasoning procedure, and SWI-Prolog implementation |
|
fuzzy hybrid Description Logic Programs |
fuzzy hybrid ontology/rule combination |
|
Find an eXpert via Rules and Taxonomies |
Person-centric knowledge for expert finding using RuleML FOAF |
|
First-Order-Logic RuleML |
Explicit quantifiers and disjunction for RuleML knowledge bases |
|
fuzzy Zadeh-description-logic SI |
Description Logic with fuzzy (instances of) concepts and roles for consistency checking, instance range entailment, and f-retrieval |
|
Graph inscribed logic |
DRLH-like graphs for the presentation&mapping of logic languages |
|
independent music Discovery |
NRC/Bell music recommendation portal |
|
Learning Object Metadata Generator |
Information extraction in computing domain |
|
|
Extracted RuleML facts processed by RuleML rules |
|
Ontology for Mathematics International |
Formalized and visualized study program |
|
Ontology for ELOTHERM |
RuleML taxonomy for heating design |
|
Object-Oriented Java Deductive Reasoning Engine for the Web |
Open source reference implementation of RuleML |
|
Object-Oriented Rule Markup Language |
Joining F-logic and Prolog in RuleML |
|
Patient Supporter profiles |
Rule Responder querying of Patient Support communities about Sports Injuries |
|
Positional-Slotted Language |
Shorthand and presentation syntax for Semantic Web knowledge |
|
Positional-Slotted, Object-Applicative RuleML |
RIF-style semantics for distributed object-relational knowledge |
|
Rule Applying COllaborative FIltering |
Multi-dimensional music recommendation |
|
Rule Applying Comparison Shopping Agent |
Computing end prices via RuleML rules |
|
Rule Applying Learning Object Comparison Agent |
e-Learning filtering with OO RuleML |
|
Reaction rule languages of RuleML |
Comprises production, action, reaction, and temporal-logic rules |
|
Relational-Functional Language |
Tightly integrated declarative programming |
|
Rule-EXtended Visual Perception-based Extraction of Records |
POSL association rules from ViPER tables |
|
Relational-Functional Markup Language |
XML interchange format of Relfun |
|
Rule Interchange Format |
RIF Basic Logic Dialect (BLD), Framework for Logic Dialects (FLD), Datatypes and Built-Ins 1.0 (DTB), and Core (Core) |
|
RIF Uncertainty Rule Dialect |
RIF extension for uncertain knowledge representation |
|
Rule Markup Language |
Webized XML rules |
|
RuleML Friend-Of-A-Friend |
Rules and facts for social networking |
|
Rule-based autoResponder system |
RuleML FOAF profiles distributed over Prova / OO jDREW / Euler engines |
|
Semantic Web Rule Language |
Combining OWL and RuleML |
|
SWRL First Order Logic |
First-Order-Logic extension of OWL, RuleML, and SWRL |
|
Semantic Web Services Framework |
||
Symposium Planner profiles |
Rule Responder querying of symposium committees about organizational (meta)topics |
|
Technology transfer in Atlantic Canada |
Project profile comparison with AgentMatcher |
|
Tree Similarity Algorithm |
Slot-weighted OO RuleML term measure |
|
Wellness Rule profiles |
Rule Responder querying of Wellness Rule communities about Activities and Nutrition |
|
Web Rule Language |
Variants Core, Flight, and Full |
Recent Talks
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-04-16