Harold Boley |
|
|
Adjunct Professor, Faculty of
Computer Science
|
Welcome on my page, to the campus of UNB,
including our NRC-IIT location,
and in Fredericton.
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 Recommendations).
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. The RuleML-2011/IJCAI-2011-presented
PSOA RuleML (newest slides, BibTeX) integrates object-relational knowledge for rules and combines those with light-weight ontologies (taxonomies). Another current interest is the use of Social Semantic Web rules and ontologies for person/organization-centric profiles supporting
FOAF-extending social networking and expert finding, as explored, e.g., in FindXpRT and WellnessRules.
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
In particular, I am currently looking for students knowledgeable in: (1) Derivation RuleML, working on its XML Schema
specification or its Java implementation OO jDREW;
(2) Rule Responder, working on its framework or one of its instantiations SymposiumPlanner, WellnessRules, or PatientSupporter.
Recent Teaching
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: 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: 2011-12-13