imported>KennethBaclawski: Fix PurpleMediaWiki references

2016-01-09T06:59:27Z

Fix PurpleMediaWiki references

New page

'''Harold Boley'''

:Adjunct Professor, Faculty of Computer Science
:'''University of New Brunswick ([http://www.unb.ca UNB])'''

:'''Chair, [http://wiki.ruleml.org/index.php/Organizational_Structure RuleML]'''
:Fredericton, NB, Canada

:Email: first dot last at ruleml dot org

:URL: http://www.cs.unb.ca/~boley/

'''News:'''
* The 8th International Web Rule Symposium ([http://2014.ruleml.org/ [[RuleML]] 2014]), August 18-20, 2014, will be co-located with the [http://www.ecai2014.org/ ECAI-2014] conference, August 18-22, 2014, in Prague, Czech Republic
* [http://wiki.ruleml.org/index.php/Rule-Based_Data_Access The Many Uses of Rules in Ontology-Based Data Access] presented, e.g., at [http://www.ifi.uzh.ch/research/colloquium/spring-2014/details-colloquium-spring-2014.html#Boley Department of Informatics Colloquium], April 10, 2014, University of Zurich, Switzerland, and [http://www.mi.fu-berlin.de/inf/dates/kolloquium/Boley.html Kolloquium Informatik] / [http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/events/187185782/ Semantic Web Meetup], July 4, 2014, Freie Universität Berlin, Germany
* Presentation [http://people.stfx.ca/jfaddoul/AWOSS%2D2014/SLIDES/GenZou.pdf A Translator Framework for the Interoperation of Graph plus Relational Data and Rules on the Web] at 5th Atlantic Workshop on Semantics and Services [http://people.stfx.ca/jfaddoul/AWOSS-2014/Home.html AWoSS 2014] - Semantics and Big Data, February 24, 2014, Saint John, New Brunswick, Canada
* The Ontolog Miniseries about [http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP RulesReasoningLP] on January 9, 2014 includes session R3. Rule Standards: Common Logic, [[RuleML]], and RIF
* The [http://wiki.ruleml.org/index.php/Grailog#Test_Suites 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 [http://www.decision-camp.com/agenda.html Decision (boot) CAMP 2013], November 4-6, 2013
* The [http://wiki.ruleml.org/index.php/Grailog Graph inscribed logic] was presented as [https://www.posccaesar.org/svn/pub/ISO15926AndSemanticWebTechnologiesNetwork/Boley2013.pdf From Data to Knowledge through Grailog Visualization] at the [https://www.posccaesar.org/wiki/ISO15926AndSemanticWebTechnologiesConference2013 ISO 15926 and Semantic Technologies 2013 Conference]
* The online [http://wiki.ruleml.org/index.php?title=PSOATransRunInvitedDemoRuleML2012 PSOATransRun] implementation of [http://wiki.ruleml.org/index.php?title=PSOA_RuleML PSOA RuleML] translates its RIF-like presentation syntax to TPTP, which is then run in [http://riazanov.webs.com/software.htm VampirePrime]; for [http://wiki.ruleml.org/index.php?title=PSOA_RuleML PSOA RuleML]'s Horn-like sublanguage, GenZou and I plan to also target Prolog engines

I have been researching and developing as well as teaching semantic technologies, from '''ontology and rule''' ''visualization'' (e.g., [http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf Grailog] generalized graphs for logic), to ''formalization'' (e.g., [http://www.cs.unb.ca/~boley/talks/SemanticsPsoaRules-talk-IJCAI2011.pdf PSOA] object-relational semantics), to ''implementation'' (e.g., [http://www.jdrew.org/oojdrew/ OO jDREW] reasoning engine), to ''integration'' (e.g., [http://ruleml.org/RuleResponder/ Rule Responder] multi-agent framework), to ''application'' (e.g., [http://ruleml.org/SymposiumPlanner/ SymposiumPlanner] distributed query system).

I am co-founder and co-chair of the open non-profit [http://www.ruleml.org [[RuleML]] Inc.] organization. I was co-editor of the W3C Rule Interchange Format Working Group ([http://www.w3.org/News/2010#entry-8839 RIF Recommendations]) and am advising the OASIS <nowiki>LegalRuleML</nowiki> Technical Committee ([http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=legalruleml main TC page]). I started the [http://wiki.ruleml.org/index.php/Grailog 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, ([http://wiki.ruleml.org/index.php?title=PSOA_RuleML PSOA RuleML]-generalized) object/frame logic, higher-order logic, and modal logic.

HaroldBoley - Revision history

imported>KennethBaclawski: Fix PurpleMediaWiki references