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.

Three Theses of Representation in the Semantic Web

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

CS570 Artificial Intelligence Semantic Web & Ontology 2

The Semantic Web. The Web Today Designed for Human to read Cannot express meaning Architecture: URL –Decentralized: Link structure Language: html.

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.

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.

1 Overview XML crash course –HTML vs. XML –pure XML data model (XML = linear syntax for trees) XML Schema Rubin Landau, Bertram Ludaescher, Richard Marciano,

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.

Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 3: 18 May.

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.

© 2006 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Publishing data on the Web (with.

RDF: Concepts and Abstract Syntax W3C Recommendation 10 February Michael Felderer Digital Enterprise.

Semantic Matching Pavel Shvaiko Stanford University, October 31, 2003 Paper with Fausto Giunchiglia Research group (alphabetically ordered): Fausto Giunchiglia,

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.

Logics for Data and Knowledge Representation

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

Master Informatique 1 Semantic Technologies Part 11Direct Mapping Werner Nutt.

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.

Social Semantic Rule Sharing and Querying in Wellness Communities Harold Boley, Taylor Osmun, Benjamin Craig Institute for Information Technology, National.

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

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.

Chapter 7: Resource Description Framework (RDF) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley,

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

Artificial Intelligence 2004 Ontology

OIL and DAML+OIL: Ontology Languages for the Semantic Web Sungshin Lim TOWARDS THE SEMANTIC WEB: Ontology-driven Knowledge.

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.

From RuleML 0.88 to 0.89 Sublanguages Beyond Horn Logic ― Validation and Translation David Hirtle NRC-IIT, UNB April 21, 2005 Update: June 8, 2005.

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.

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

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.

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

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 Web In Depth Resource Description Framework Dr Nicholas Gibbins –

Linked Data & Semantic Web Technology The Semantic Web Part 4. Resource Description Framework (1) Dr. Myungjin Lee.

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

Rules, RIF and RuleML.

Orlando Florida RuleML 2007 Thursday, October 25, 2007

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) W3C Semantic Web Architecture Meeting, Technical Plenary and WG Meeting Event, Cambridge, MA, USA, 3-7 March 2003 Revised: 22 February 2004

OO 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 generic positional (triple-like) facts: 2001generic 2. Rules over richer generic object-oriented facts: 2003generic 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

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

OO 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

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

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

OO 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 about description on the following slide – This maps to an object-oriented RDF/RuleML fact with a uriref -attributed empty rel shown underneath

OO RuleML and RDF 7 xmlns:rdf=" xmlns:s=" Ora Lassila _slot : meta r ole n ame : user-level n ame xmlns:ruleml=" xmlns:s=" Ora Lassila resource  rel literal  ind

OO RuleML and RDF 8 RDF Types in Object-Oriented RuleML The use of a Qname in an attribute value such as the above s:Creator in name="s:Creator" has been discussed in TAG Finding 25 Jul 2002TAG Finding 25 Jul 2002 This has been extended to a Qname in element content such as t:Person in t:Person, which provides one way to express RDF types in Object-Oriented RuleML Typed RDF descriptions map to object-oriented facts, where the rdf:type ( abbreviation) maps to a (non-empty) relation – The earlier RDF/XML description is typed (abbreviated) via a t:Person tag in the following slide – This maps to an object-oriented RDF/RuleML fact typed via t:Person content, shown underneath

OO RuleML and RDF 9 xmlns:rdf=" xmlns:s=" xmlns:t=" Ora Lassila xmlns:ruleml=" xmlns:s=" xmlns:t=" t:Person Ora Lassila

OO RuleML and RDF 10 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"

OO RuleML and RDF 11 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

OO RuleML and RDF 12 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" ?

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

OO RuleML and RDF 14 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: Both the RDF attributes about and resource map to the RuleML attribute uriref (to allow rel unification)

OO RuleML and RDF 15 Ora Lassila Ora Lassila roles ‘build in’ commu- tativity

OO RuleML and RDF 16 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 " ?

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

OO RuleML and RDF 18 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

OO RuleML and RDF 19 Ora Lassila Ora Lassila

OO RuleML and RDF 20 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 descr Page descr IF "Page has creator descr" THEN "Page was accessed by descr"

OO RuleML and RDF 21 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 descr binds Page to and descr to Ora Lassila WHICH "Page was accessed by descr" ?

OO RuleML and RDF 22 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, jDREW, 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

OO RuleML and RDF 23 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?