Wellness-Rules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation Harold Boley Taylor Osmun Benjamin Craig Institute for Information.

Slides:



Advertisements
Similar presentations
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Advertisements

GridVine: Building Internet-Scale Semantic Overlay Networks By Lan Tian.
RDF Tutorial.
Guoqian Jiang, MD, PhD Mayo Clinic
Deploying a Distributed Symposium Planner Through Rule Responder Harold Boley Benjamin Craig Institute for Information Technology National Research Council,
Constraint Logic Programming Ryan Kinworthy. Overview Introduction Logic Programming LP as a constraint programming language Constraint Logic Programming.
Dr. Alexandra I. Cristea RDF.
Advanced Topics COMP163: Database Management Systems University of the Pacific December 9, 2008.
The RDF meta model: a closer look Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations.
Module 2b: Modeling Information Objects and Relationships IMT530: Organization of Information Resources Winter, 2007 Michael Crandall.
Audumbar Chormale Advisor: Dr. Anupam Joshi M.S. Thesis Defense
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Nancy Ide Vassar College USA Resource Definition Framework A Tutorial EUROLAN 2003 July 28 - August 8 Bucharest - Romania.
WellnessRules: The Activity Rule Responder Taylor Osmun Harold Boley Benjamin Craig Institute for Information Technology National Research Council, Canada.
1. Motivation Knowledge in the Semantic Web must be shared and modularly organised. The semantics of the modular ERDF framework has been defined model.
RDF (Resource Description Framework) Why?. XML XML is a metalanguage that allows users to define markup XML separates content and structure from formatting.
Harold Boley, Adrian Paschke, and Tara Athan (RuleML Initiative)RuleML Initiative The 6th International Symposium on Rules: Research Based and Industry.
Evaluating Centralized, Hierarchical, and Networked Architectures for Rule Systems Benjamin Craig University of New Brunswick Faculty of Computer Science.
Semantic Web outlook and trends May The Past 24 Odd Years 1984 Lenat’s Cyc vision 1989 TBL’s Web vision 1991 DARPA Knowledge Sharing Effort 1996.
Principles of the SymposiumPlanner Instantiations of Rule Responder Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, and Harold Boley Corporate Semantic.
1 Expert Finding for eCollaboration Using FOAF with RuleML Rules MCeTECH May 2006 Jie Li 1,2, Harold Boley 1,2, Virendrakumar C. Bhavsar 1, Jing.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
1 CENTRIA, Dept. Informática da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal. 2 Institute of Computer Science,
The 7th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2013) July 11-13, 2013, Seattle, USA.
INF 384 C, Spring 2009 Ontologies Knowledge representation to support computer reasoning.
Logics for Data and Knowledge Representation
Social Semantic Rule Sharing and Querying in Wellness Communities Harold Boley, Taylor Osmun, Benjamin Craig Institute for Information Technology, National.
Building an Ontology of Semantic Web Techniques Utilizing RDF Schema and OWL 2.0 in Protégé 4.0 Presented by: Naveed Javed Nimat Umar Syed.
By: Dan Johnson & Jena Block. RDF definition What is Semantic web? Search Engine Example What is RDF? Triples Vocabularies RDF/XML Why RDF?
SQL Databases are a Moving Target Juan F. Sequeda – Syed Hamid Tirmizi –
OWL 2 in use. OWL 2 OWL 2 is a knowledge representation language, designed to formulate, exchange and reason with knowledge about a domain of interest.
1 Rule-based Social Networking for Expert Finding Presented by: Jie Li 1,2 Supervisors: Dr. Harold Boley 1,2 Dr. Virendrakumar C. Bhavsar 1 1 University.
Social Semantic Rule Sharing and Querying in Wellness Communities Harold Boley, Taylor Osmun, Benjamin Craig Institute for Information Technology, National.
Ocean Observatories Initiative Data Management (DM) Subsystem Overview Michael Meisinger September 29, 2009.
Part I: Set Constructs. RDF Schema (RDFS) RDF does not provide mechanisms to define domain classes and properties RDFS is a vocabulary that provides many.
Harold Boley 1, Omair Shafiq 2, Derek Smith 3, Taylor Osmun 3 1 Institute for Information Technology, National Research Council Canada, Fredericton, NB,
Rule Responder Agents in Virtual Organizations Harold Boley Benjamin Craig Institute for Information Technology National Research Council, Canada Fredericton,
©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.
1 The OO jDREW Reference Implementation of RuleML RuleML-2005, November 2005 Marcel Ball 1, Harold Boley 2, David Hirtle 1,2, Jing Mei 1,2, Bruce.
RQL: RDF Query language Jianguo Lu University of Windsor The following slides are from Grigoris Antoniou, Frank van Harmelen, “A Semantic Web Primer”
From POSL to d-POSL: Making the Positional-Slotted Language Defeasible Advisors: Nick Bassiliades, Efstratios Kontopoulos Instructor: Dr. Harold Boley.
SEMANTIC AGENT SYSTEMS Towards a Reference Architecture for Semantic Agent Systems Applied to Symposium Planning Usman Ali.
Rules, RIF and RuleML.
What to Send First? A Study of Utility in the Semantic Web Mike Dean 1, Prithwish Basu 1, Ben Carterette 2, Craig Partridge 1, and James Hendler 3 1 Raytheon.
1 Artificial Intelligence Applications Institute Centre for Intelligent Systems and their Applications Stuart Aitken Artificial Intelligence Applications.
RDF Schema (RDFS) RDF user communities need to define the vocabularies (terms) to indicate that they  are describing specific kinds or classes of resources.
Introduction The Resource Description Framework (RDF) is recommended by the World Wide Web Consortium (W3C) to model meta-data about the resources of the.
PHS / Department of General Practice Royal College of Surgeons in Ireland Coláiste Ríoga na Máinleá in Éirinn Knowledge representation in TRANSFoRm AMIA.
Introduction to the Semantic Web and Linked Data Module 1 - Unit 2 The Semantic Web and Linked Data Concepts 1-1 Library of Congress BIBFRAME Pilot Training.
Advanced Topics in the Semantic Web: Semantic Services for Business Process Management - Overview - Harold Boley Semantic Web Laboratory NRC-IIT and UNB-CS.
The RDF meta model Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations of XML compared.
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
Rule Responder Agents for Distributed Query Answering Harold Boley Benjamin Craig Taylor Osmun Institute for Information Technology National Research Council,
RuleML Rules Lite Harold Boley, NRC IIT e-Business Said Tabet, Macgregor Corp With Key Contributions from the Joint Committee DAML PI Meeting, Captiva.
Rule Responder: A Multi-Agent Web Platform for Collaborative Virtual Organizations Based on RuleML and OO jDREW Benjamin Craig University Of New Brunswick.
Deploying a Distributed Symposium Planner Through Rule Responder Benjamin Craig Harold Boley Institute for Information Technology National Research Council,
RuleML Query Answering with Personal OO jDREW Agents in Rule Responder Benjamin Craig Harold Boley Fredericton, NB National Research Council - IIT May.
Raluca Paiu1 Semantic Web Search By Raluca PAIU
The International RuleML Symposium on Rule Interchange and Applications Visualization of Proofs in Defeasible Logic Ioannis Avguleas 1, Katerina Gkirtzou.
Silterra, April 2004 RDF, RSS and all that THREADING THE RDF MAZE.
RuleML for the Semantic Web Harold Boley OntoWeb Kick-off WorkshopOntoWeb Kick-off Workshop, Heraklion, Greece, June 2001 Revised: 17 July 2001 (joint.
Taylor Osmun Institute for Information Technology National Research Council, Canada Fredericton, NB, Canada 1.
LegalRuleML Metamodel Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner July 13, 2013 RuleML th International.
Social Semantic Rule Sharing and Querying in Wellness Communities Harold Boley, Taylor Osmun, Benjamin Craig, Derek Smith Institute for Information Technology,
OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.
Middleware independent Information Service
Lecture #11: Ontology Engineering Dr. Bhavani Thuraisingham
Orlando Florida RuleML 2007 Thursday, October 25, 2007
Filtering Properties of Entities By Class
CSE591: Data Mining by H. Liu
Presentation transcript:

Wellness-Rules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation Harold Boley Taylor Osmun Benjamin Craig Institute for Information Technology National Research Council, Canada Fredericton, NB, Canda RuleML-2009 Challenge Las Vegas, Nevada November 5-7, 2009

Outline  WellnessRules Overview  Profile Interoperation (POSL  N3)  Relational (POSL) and Graph (N3) Language & Interoperation Overviews  Global and Local Knowledge Bases  POSL  N3 Transformation  Taxonomy 2

WellnessRules Overview  WellnessRules supports an online-interactive wellness community. This rule-supported community has the ability to:  Create profiles about themselves containing their preferences for activities and nutrition, their event days, and their fitness levels  Compare and collaborate with others in the community to track progress and schedule group wellness events  Rules about wellness opportunities are  created by participants in rule languages such as Prolog and N3  interoperated within a wellness community using RuleML/XML 3

Profile Interoperation (POSL  N3)  Support for both logic-relational (e.g., POSL) and graph-oriented (e.g., N3) knowledge representations  Users may write their profile in either language  Support for OO jDREW and Euler engines to execute queries issued to POSL and N3 knowledge bases, respectively  Previously seen in the demo: By using a RuleML subset as interchange language and Rule Responder as interchange platform, queries are applied to all supported engines, with answers returned in RuleML 4

POSL  POSL integrates positional and slotted knowledge for humans (e.g.: Prolog’s positional and F-logic’s slotted knowledge)  WellnessRules uses positional POSL for logic-relational knowledge, displayed in a Prolog-like syntax  Positional Notations:  Relation names: Each fact or rule has a relation name  Values: Values can be upper or lower case, separated by a comma (,)  Variables: Can be named (prefix “?”), or anonymous (stand-alone “?”) 5 season(?StartTime,summer). season(?StartTime,?). season(?StartTime,summer).

Notation 3 – N3  A language which is a compact and readable alternative to RDF's XML syntax. Uses RDF triples (subject, property, object) to represent knowledge  WellnessRules uses N3 for graph-oriented knowledge  Slotted Notations: 6 :season_1 rdf:type :Season; :startTime ?StartTime; :period :summer. :season_1 rdf:type :Season; :startTime ?StartTime; :period ?.  Subject names: Each fact or rule has a subject name  Variables: Can be named (prefix “?”), or anonymous (stand-alone “?”)  Values (property-object pairs): Each value must have a property (slot name): Each value must also have an object (slot value): :season_1 rdf:type :Season; :startTime ?StartTime; :period :summer. :season_1 rdf:type :Season; :startTime ?StartTime; :period :summer. ‘:’ here denotes a local knowledge base

Global Knowledge Base  Contains knowledge that is relevant to everyone in the WellnessRules community  Knowledge Areas:  Season Defines timeframe of the seasons  Forecast Describes the weather forecast within timeframes  Meetup Contains activity meet up locations for maps 7

Local Knowledge Base  Contains local knowledge that is specific to each participant in the WellnessRules community  Knowledge Areas:  Calendar Used for event planning. Allows for sharing of calendars between profiles  Map Links to Meetup locations. Allows for sharing of maps between profiles  Fitness Defines expected fitness level for specific a period of time (scale of 1-10)  Event Possible/Planned/Performing/Past  MyActivity Derive participant’s individual activity preferences 8

Example MyActivity Rule - POSL myActivity(p0001,Running,out,?MinRSVP,?MaxRSVP,?StartTime,?EndTime,?Place,?Duration,?Level) :- calendar(p0001,?Calendar), event(?Calendar,?:Running,possible,?StartTime,?EndTime), participation(p0001,run,out,?MinRSVP,?MaxRSVP), season(?StartTime,summer), forecast(?StartTime,sky,?Weather), notEqual(?Weather,raining), map(p0001,?Map), meetup(?Map,run,out,?Place), level(p0001,run,out,?Place,?Duration,?Level), fitness(p0001,?StartTime,?ExpectedFitness), greaterThanOrEqual(?ExpectedFitness,?Level), goodDuration(?Duration,?StartTime,?EndTime). 9  Based on this rule the following are p0001’s preferences for Running outdoors:  The number of participants must be within the minimum and maximum  The season must be summer  It must not be raining outside  p0001’s fitness level is greater than or equal to the required fitness level

POSL  N3 Transformation-1  N3 requires the use of subjects for naming relationships. The subject name uses the relation name followed by “_#” where ‘#’ is the iteration number  Each corresponding N3 rule’s ‘relation name’ is defined via rdf:type and the uppercase version of the name  In positional POSL slot names are not needed. Therefore, slot names (properties) must be created for N3, while the slot variables (variable objects) use the same variable names as POSL season(?StartTime,?Season). :season_1 rdf:type :Season; :startTime ?StartTime; :period ?Season.  season(?StartTime,?Season). :season_1 rdf:type :Season; :startTime ?StartTime; :period ?Season.  POSL N3 10

POSL  N3 Transformation-2  Rules are represented and handled differently. OO jDREW (using POSL) is essentially a top-down (:-) reasoner. Euler (using N3) is a bottom-up reasoner (=>):  Assumes previous slide (Transformation-1) {... ?forecast rdf:type:Forecast; :startTime?StartTime; :aspect:sky; :value?Weather. ?Weather log:notEqualTo :raining.... } => { _:myActivity rdf:type:MyActivity; :profileID:p0001; :activity:Running; :inOut:in; :minRSVP?MinRSVP; :maxRSVP?MaxRSVP; :startTime?StartTime; :endTime?EndTime; :location?Place; :duration?Duration; :fitnessLevel?FitnessLevel. }. myActivity(p0001,Running,in,?MinRSVP,?MaxRSVP, ?StartTime,?EndTime,?Place,?Duration,?Level) :-... forecast(?StartTime,sky,?Weather), notEqual(?Weather,raining),....  11 POSL N3

POSL  N3 Transformation-3  The POSL handling of negation as failure (NAF) is via a built-in: N3 does not have a built-in to handle NAF. Therefore, NAF is encoded by a e:findall searching for an empty list  POSL has built-in math operations. N3 uses package-prefixed math operations. naf( event(?Calendar, ?:Running, past, ?StartTimeYDay, ?EndTimeYDay)), ?NAF e:findall (?event {?event rdf:type :Event; :calendarID ?CalendarID; :aspect :Running; :tense :past; :startTime ?StartTimeYDay; :endTime ?EndTimeYDay.} () ). greaterThanOrEqual(?ExpectedFitness,?Level),?ExpectedFitness math:notLessThan ?FitnessLevel.  12 N3 POSL N3POSL

Taxonomy  The WellnessRules taxonomy is broken into two topics: Activity and Nutrition  Each of these contains multiple sub-topics (e.g. Walking or Running)  Both representations use rdf:type, rdfs:Class and rdfs:subClassOf  Taxonomy classes function as user-defined types to restrict rule variables N3 <rdf:RDF xmlns:rdf=" xmlns:rdfs=" rdfs:. :Wellness rdf:type rdfs:Class. :Activity rdf:type rdfs:Class; rdfs:subClassOf :Wellness. :Walking rdf:type rdfs:Class; rdfs:subClassOf:Activity. …  13 RDF (used by POSL)

Wrap Up  The WellnessRules case study:  Demonstrates profile interoperation between both logic-relational (e.g., POSL) and graph-oriented (e.g., N3) knowledge representations  Provides transformation techniques in the context of WellnessRules between these knowledge representation formats  Previously seen in the demo: With an exciting use case, creates an online-interactive wellness community through the WellnessRules Rule Responder system 14