Object-Oriented RuleML for RDF: Facts, Queries, and Inferences Harold Boley*, NRC IIT e-Business (with help from Said Tabet, Duncan Johnston-Watt, Benjamin.

Slides:

Advertisements

Similar presentations

Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.

Advertisements

RuleML Meets RDF: Triples, Rules, and Taxonomies Harold Boley*, NRC IIT e-Business Benjamin Grosof, MIT Sloan (with help from Bruce Spencer, Steve Ross-Talbot,

A Web Rules WG Charter Focus Strawman Proposal Version 1.1, April 30, 2005 This Version Prepared by: Benjamin Grosof, Harold Boley, Michael Kifer, and.

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

An Introduction to Semantic Web Portal

GridVine: Building Internet-Scale Semantic Overlay Networks By Lan Tian.

CS570 Artificial Intelligence Semantic Web & Ontology 2

1 Reasoning about Anonymous Resources and Meta Statements on the Semantic Web Guizhen Yang and Michael Kifer Holger Lausen

David Hirtle Co-op student, NRC IIT e-Business August 12, 2004 The RuleML 0.87 Release UML Model, Validation Stability, and Abridged Syntax.

Using the Semantic Web to Construct an Ontology- Based Repository for Software Patterns Scott Henninger Computer Science and Engineering University of.

Dr. Alexandra I. Cristea RDF.

Semantic Web Tools for Authoring and Using Analysis Results Richard Fikes Robert McCool Deborah McGuinness Sheila McIlraith Jessica Jenkins Knowledge Systems.

The Semantic Web Week 1 Module Content + Assessment Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module.

The Semantic Web Week 12 Term 1 Recap Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module Website:

The RDF meta model: a closer look Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations.

Semantic Web Research: Visual Modelling of OWL-S Services Computer Science Annual Workshop September 2004 Charlie Abela, James Scicluna Department of Computer.

Mapping Fundamental Business Process Modelling Language to the Web Services Ontology Gayathri Nadarajan and Yun-Heh Chen-Burger Centre for Intelligent.

Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.

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.

The RuleML Initiative Prepared by (in alphabetical order): Harold Boley, Mike Dean, Benjamin Grosof, Michael Kifer, Said Tabet, Gerd Wagner W3C Workshop.

The RuleML Initiative, July/August 2001 International Semantic Web Working Symposium SWWS July - 1 August 2001, Stanford, California, USA Harold.

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.

9 th Open Forum on Metadata Registries Harmonization of Terminology, Ontology and Metadata 20th – 22nd March, 2006, Kobe Japan. XMDR Prototype Day: 21.

Business Rules and Web Services Research Group A proposal for a joint UNB/NRC Research group Bruce Spencer Feb 28, 2002.

The 7th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2013) July 11-13, 2013, Seattle, USA.

Logics for Data and Knowledge Representation

The Semantic Web Web Science Systems Development Spring 2015.

1 RDF/RuleML Interoperability W3C Workshop on Rule Languages for Interoperability Position Paper, April 2005 Authors: Harold Boley 1, Jing Mei 2,

Semantic Matching Fausto Giunchiglia work in collaboration with Pavel Shvaiko The Italian-Israeli Forum on Computer Science, Haifa, June 17-18, 2003.

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.

O Supervisor : Dr. Harold Boley o Advisor : Dr. Tara Athan o Team : Simranjit Singh Pratik Shah Bijiteshwar R Aayush.

David Hirtle Coop student, NRC IIT e-Business December 2, 2003 Object-Oriented RuleML Re-Modularized and XML Schematized via Content Models.

RDF (Resource Description Framework). 2 Table of Contents  Introduction  Basic RDF –Basic RDF Model –Basic Syntax  Containers  Statements about Statements.

©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.

IIT — e-Business (Fredericton) Bruce Spencer Research Overview July 10, 2002.

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.

Weighted Slotted RuleML for Similarity Matching in AgentMatcher Information Agents Harold Boley, NRC IIT e-Business Virendra Bhavsar, UNB, Faculty of Computer.

Rules, RIF and RuleML.

Semantically Processing The Semantic Web Presented by: Kunal Patel Dr. Gopal Gupta UNIVERSITY OF TEXAS AT DALLAS.

1 Artificial Intelligence Applications Institute Centre for Intelligent Systems and their Applications Stuart Aitken Artificial Intelligence Applications.

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

Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.

The RDF meta model Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations of XML compared.

Metadata : an overview XML and Educational Metadata, SBU, London, 10 July 2001 Pete Johnston UKOLN, University of Bath Bath, BA2 7AY UKOLN is supported.

RuleML Meets RDF: Triples, Rules, and Taxonomies Harold Boley*, NRC IIT e-Business Benjamin Grosof, MIT Sloan (with help from Bruce Spencer, Steve Ross-Talbot,

RuleML Rules Lite Harold Boley, NRC IIT e-Business Said Tabet, Macgregor Corp With Key Contributions from the Joint Committee DAML PI Meeting, Captiva.

The Semantic Web Riccardo Rosati Dottorato in Ingegneria Informatica Sapienza Università di Roma a.a. 2006/07.

Conclusions Presenter: Manolis Koubarakis Extended Semantic Web Conference 2012.

Rule Responder: A Multi-Agent Web Platform for Collaborative Virtual Organizations Based on RuleML and OO jDREW Benjamin Craig University Of New Brunswick.

Object-Oriented RuleML for RDF: Facts, Queries, and Inferences Harold Boley, NRC IIT e-Business (with help from Said Tabet, Duncan Johnston-Watt, Benjamin.

The Rule Markup Initiative: RDF Relationships and DTD Modularization Harold Boley Benjamin Grosof Said Tabet Updated (8 Mar 2001) from talk at: RDF Interest.

The Semantic Web and Ontology. The Semantic Web WWW: –syntactic transmission of information –only processible by human – no semantic conservation of the.

Harold Boley NRC IIT e-Business MOST Workshop - Maritimes Open Source Technologies Université de Moncton Nov 10, 2004 Revised: Apr 14, 2005 The Open RuleML.

RuleML Query Answering with Personal OO jDREW Agents in Rule Responder Benjamin Craig Harold Boley Fredericton, NB National Research Council - IIT May.

1 RIF Design Roadmap Draft PM Harold Boley (NRC), Michael Kifer (Stony Brook U), Axel Polleres (DERI), Jos de Bruijn (DERI), Michael Sintek.

Stefan Decker Stanford University Mike Dean BBN Technologies.

© The ATHENA Consortium. Susan Thomas SAP AG, Research Department How do you do semantics? Semantic Web Drawings by Sebastian Cremers Unit 3:

The International RuleML Symposium on Rule Interchange and Applications Visualization of Proofs in Defeasible Logic Ioannis Avguleas 1, Katerina Gkirtzou.

RuleML for the Semantic Web Harold Boley OntoWeb Kick-off WorkshopOntoWeb Kick-off Workshop, Heraklion, Greece, June 2001 Revised: 17 July 2001 (joint.

WonderWeb. Ontology Infrastructure for the Semantic Web. IST Project Review Meeting, 11 th March, WP2: Tools Raphael Volz Universität.

updated CmpE 583 Fall 2004Discussion: Web Services- 1 CmpE 583- Web Semantics: Theory and Practice DISCUSSION: WEB SERVICES Atilla ELÇİ.

Implementation of Ontology Based Context-awareness Framework Ki-Chul Lee, Jung-Hoon Kim International Conference on Multimedia and Ubiquitous Engineering.

LegalRuleML Metamodel Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner July 13, 2013 RuleML th International.

Semantic and geographic information system for MCDA: review and user interface building Christophe PAOLI*, Pascal OBERTI**, Marie-Laure NIVET* University.

CmpE 583- Web Semantics: Theory and Practice RULES & RULE MARKUP

Rules, RIF and RuleML.

Piotr Kaminski University of Victoria September 24th, 2002

Presentation transcript:

Object-Oriented RuleML for RDF: Facts, Queries, and Inferences Harold Boley*, NRC IIT e-Business (with help from Said Tabet, Duncan Johnston-Watt, Benjamin Grosof, Bruce Spencer, Steve Ross-Talbot, Mike Dean, and Gerd Wagner) * On leave from DFKI GmbH W3C Semantic Web Architecture Meeting, Technical Plenary and WG Meeting Event, Cambridge, MA, USA,, 3-7 March 2003

OC RuleML and RDF 1 Introduction Increased mutual RuleML-RDF(S) integration: A. RDF(S) needs rules for query, inference, transformation B. RuleML rules need alternative syntactic encodings in RDF and OWL C. RuleML and OWL overlap as KRs: Description Logic Programs D. RuleML variables need types: URIrefs to RDFS/OWL classes re A. Object-oriented RuleML is useable as an RDF query, inference, and transformation language : 1. Rules over positional (triple-like) facts [2001] 2. Rules over richer object-oriented facts [2003] 3. Queries and inferences (conjunctive) over OO facts (linked via named – or anonymous/blank – nodes) 4. Queries and inferences over OO facts with bNode-embedded descriptions

OC RuleML and RDF 2 The ‘First RDF Graph’ How to serialize this RDF graph (from M&S):M&S

OC RuleML and RDF 3 RDF Triples as Positional Facts " has creator Ora Lassila" Ora Lassila RDF triples map to positional facts, where the Propertymaps to a binaryrelation, the Subjectto itsfirst argument,and the Objectto itssecond argument _head : (system) role

OC RuleML and RDF 4 RDF RuleML: Triple Roundtrip Turn the has creator triple, as a RuleML rulebase, again into RDF:

OC RuleML and RDF 5 RDF/RuleML Rules Over Positional Facts RDF/RuleML rules over positional (triple-like) facts prove queried triples, top-down, or derive new triples, bottom-up IF "Page has creator Person" THEN "Page was accessed by Person" Page Person Page Person _head : (system) role _body : (system) role

OC RuleML and RDF 6 RDF Descriptions as Object-Oriented Facts Object-Oriented RuleML has been implemented as an extension of, and XSLT translator to, Positional RuleML RDF descriptions map to object-oriented facts, where the Subjectmaps to arelation (cf. rel.DB tuples), each Propertymaps to arole, and each Objectmaps to itsfiller – The ‘First RDF Triple’ above becomes the RDF/XML description on the following slide – This maps to an object-oriented RDF/RuleML fact, shown underneath

OC RuleML and RDF 7 xmlns:rdf=" xmlns:s=" Ora Lassila _r : (meta) r ole n : (user) n ame xmlns:ruleml=" xmlns:s=" Ora Lassila resource  rel literal  ind

OC RuleML and RDF 8 RDF/RuleML Rules Over Object-Oriented Facts RDF/RuleML rules over object-oriented facts can prove queried descriptions or derive new description-like facts Page Person Page Person IF "Page has creator Person" THEN "Page was accessed by Person"

OC RuleML and RDF 9 Bottom-Up: RDF/RuleML Derivations of Object-Oriented Facts RDF/RuleML rule over above object-oriented fact derives a new description in bottom-up / forward manner Ora Lassila derives new Ora Lassila

OC RuleML and RDF 10 Top-Down: RDF/RuleML Queries Over Object-Oriented Facts RDF/RuleML rule over above object-oriented fact proves a queried description in top-down / backward manner Page Person binds Page to and Person to Ora Lassila WHICH "Page was accessed by Person" ?

OC RuleML and RDF 11 Intermediate Nodes for RDF Descriptions and Object-Oriented Facts How to serialize this RDF graph (from M&S):M&S

OC RuleML and RDF 12 Intermediate Nodes for RDF Descriptions and Object-Oriented Facts (Cont’d) RDF descriptions and object-oriented facts can employ named intermediate nodes (e.g., staff IDs – as from a corporate relational DB – used as URIrefs ) – The following classical two RDF/XML descriptions link Ora’s homepage with his staff ID as a named intermediate node which gives further information via literals – These map to two object-oriented RDF/RuleML facts linked in the same fashion, shown interleaved

OC RuleML and RDF 13 Ora Lassila Ora Lassila roles ‘build in’ commutativity

OC RuleML and RDF 14 Conjunctive RDF/RuleML Queries Over Object-Oriented Node-Linked Facts Conjunctive RDF/RuleML query of object-oriented facts allows a (relational-like) join over a link variable ID ID N E binds ID to and N to Ora Lassila and E to WHAT IS " …/ Home/Lassila Creator’s ID" AND " that ID’s Name N E " ?

OC RuleML and RDF 15 Blank Nodes in RDF Descriptions and Object-Oriented Facts How to serialize this RDF graph (from M&S):M&S

OC RuleML and RDF 16 Blank Nodes in RDF Descriptions and Object-Oriented Facts (Cont’d) RDF descriptions and object-oriented facts can employ anonymous ( blank) intermediate nodes (as implicit in RDF’s most abbreviated ‘purely striped’ syntax) – The following RDF/XML description embeds – in Ora’s homepage – a blank intermediate node, which gives two bits of literal information – This maps to an object-oriented RDF/RuleML fact embedding an object-oriented cterm in a similar way, shown underneath

OC RuleML and RDF 17 Ora Lassila Ora Lassila

OC RuleML and RDF 18 RDF/RuleML Rules Over Object-Oriented Facts with bNode-Embedded Descriptions RDF/RuleML rules over object-oriented facts can also prove queried descriptions with embedded descriptions Page description Page description

OC RuleML and RDF 19 RDF/RuleML Queries Over Object-Oriented Facts with bNode-Embedded Descriptions RDF/RuleML rule over above object-oriented fact proves a queried description with an embedded description Page description binds Page to and description to Ora Lassila

OC RuleML and RDF 20 Conclusions RDF mapped to Object-Oriented RuleML: resource  rel element with a uriref attribute literal  ind element (then mapped to RDF) Object-oriented queries can – employ resource-linked variables in conjunctions – invoke object-oriented rules in a backward manner Object-oriented rules can also be invoked in a forward manner to derive new OO facts, e.g. using CommonRules, j-DREW, Jess, or cwm Handle bNodes in RDF trees: via embedding; in general RDF graphs: via generated URIrefs Model theory can build on RuleML’s RDF-XML- integrating data model: via F-Logic or TRIPLE

OC RuleML and RDF 21 References Harold Boley: Relationships Between Logic Programming and RDF, in: R. Kowalczyk, S.W. Loke, N.E. Reed, G. Graham (Eds.), Advances in Artificial Intelligence, LNAI 2112, Springer-Verlag, 2001Relationships Between Logic Programming and RDF Harold Boley: A Web Data Model Unifying XML and RDF. Draft, September 2001.A Web Data Model Unifying XML and RDF Harold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations, Invited Talk, INAP2001, Tokyo, October 2001.The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations Harold Boley, Said Tabet, and Gerd Wagner: Design Rationale of RuleML: A Markup Language for Semantic Web Rules, Proc. SWWS'01, Stanford, July/August 2001.Design Rationale of RuleML: A Markup Language for Semantic Web Rules Andreas Eberhart, An Agent Infrastructure based on Semantic Web Standards, Workshop on Business Agents and the Semantic Web at the AI 2002, Calgary, CanadaAn Agent Infrastructure based on Semantic Web Standards Andreas Eberhart, Automatic Generation of Java/SQL based Inference Engines from RDF Schema and RuleML, International Semantic Web Conference 2002, SardiniaAutomatic Generation of Java/SQL based Inference Engines from RDF Schema and RuleML Benjamin Grosof: Representing E-Business Rules for the Semantic Web: Situated Courteous Logic Programs in RuleML, Proc. Workshop on Information Technologies and Systems (WITS '01), New Orleans, December, 2001.Representing E-Business Rules for the Semantic Web: Situated Courteous Logic Programs in RuleML Benjamin Grosof, Mahesh D. Gandhe, and Timothy W. Finin: SweetJess: Translating DamlRuleML to Jess, Proc. International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Sardinia (Italy), June 2002.SweetJess: Translating DamlRuleML to Jess Benjamin Grosof and Terrence Poon: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions, Proc. International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Sardinia (Italy), June 2002.Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions Steve Ross-Talbot, Harold Boley, and Said Tabet: Playing by the Rules, Application Development Advisor 6(5), June 2002, Playing by the RulesApplication Development Advisor Michael Schroeder and Gerd Wagner (Eds.): Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web. Sardinia, Italy, June 14, CEUR-WS Publication Vol-60.Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web Gerd Wagner: How to Design a General Rule Markup Language?, Invited Talk, Workshop XML Technologien für das Semantic Web (XSW 2002), Berlin, June 2002.How to Design a General Rule Markup Language?