Harold Boley (35F5)
Adjunct Professor, Faculty of Computer Science University of New Brunswick (UNB) Chair, RuleML Fredericton, NB, Canada Visiting Researcher, WSL Birmensdorf, Zürich, Switzerland email: first dot last at ruleml dot org (35F6)
see: http://www.cs.unb.ca/~boley/ (35F7)
News: (3ABQ)
- The page on Rule-Based Data Access gives an introduction and pointers for this major application area of Semantic Technologies (4DNY)
- The 8th International Web Rule Symposium (RuleML 2014), August 1820, 2014, will be co-located with the ECAI-2014 conference, August 1822, 2014, in Prague, Czech Republic (3FNI)
- Department of Informatics Colloquium The Many Uses of Rules in Ontology-Based Data Access, April 10, 2014, University of Zurich, Switzerland (46BH)
- 5th Atlantic Workshop on Semantics and Services AWoSS 2014 - Semantics and Big Data, February 24, 2014, Saint John, New Brunswick, Canada (469P)
- The Ontolog Miniseries about RulesReasoningLP on January 9, 2014 includes session R3. Rule Standards: Common Logic, RuleML, and RIF (3XTY)
- The Loan Processor Suite was implemented to visualize Datalog RuleML decision rules in Grailog 1.0/SVG; this LP Suite and Grailog 1.0 were presented at Decision (boot) CAMP 2013, November 4-6, 2013 (41CR)
- The Graph inscribed logic was presented as From Data to Knowledge through Grailog Visualization at the ISO 15926 and Semantic Technologies 2013 Conference (3FXJ)
- The online PSOATransRun implementation of PSOA RuleML translates its RIF-like presentation syntax to TPTP, which is then run in VampirePrime; for PSOA RuleML's Horn-like sublanguage, GenZou and I plan to also target Prolog engines (3FNH)
I have been researching and developing as well as teaching semantic technologies, from ontology and rule visualization (e.g., Grailog generalized graphs for logic), to formalization (e.g., PSOA object-relational semantics), to implementation (e.g., OO jDREW reasoning engine), to integration (e.g., Rule Responder multi-agent framework), to application (e.g., SymposiumPlanner distributed query system). (35KT)
I am co-founder and co-chair of the open non-profit RuleML Inc. organization. I was co-editor of the W3C Rule Interchange Format Working Group (RIF Recommendations) and am advising the OASIS LegalRuleML Technical Committee (main TC page). 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 RuleML-generalized) object/frame logic, higher-order logic, and modal logic. (35F8)