Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK www.sti-innsbruck.at Rule Interchange Format Semantic Web Lecture Lecture VIII – xx 2009 Dieter Fensel.

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

Dr. Leo Obrst MITRE Information Semantics Information Discovery & Understanding Command & Control Center February 6, 2014February 6, 2014February 6, 2014.
Requirements. UC&R: Phase Compliance model –RIF must define a compliance model that will identify required/optional features Default.
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 Description Logics
Inference and Reasoning. Basic Idea Given a set of statements, does a new statement logically follow from this. For example If an animal has wings and.
Logic Use mathematical deduction to derive new knowledge.
Logic.
1 A Description Logic with Concrete Domains CS848 presentation Presenter: Yongjuan Zou.
Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.
Knowledge Representation Methods
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.
Knowledge Representation using First-Order Logic (Part II) Reading: Chapter 8, First lecture slides read: Second lecture slides read:
© Copyright 2008 STI INNSBRUCK Rule Interchange Format Semantic Web Lecture Lecture VIII – xx 2009 Dieter Fensel.
Knoweldge Representation & Reasoning
Let remember from the previous lesson what is Knowledge representation
1 © Copyright 2010 Dieter Fensel and Federico Facca Semantic Web Rule Interchange Format.
RDF: Concepts and Abstract Syntax W3C Recommendation 10 February Michael Felderer Digital Enterprise.
1 Rule Interchange Format: The Framework Michael Kifer State University of New York at Stony Brook.
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
Knowledge Interchange Format Michael Gruninger National Institute of Standards and Technology
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
A Z Approach in Validating ORA-SS Data Models Scott Uk-Jin Lee Jing Sun Gillian Dobbie Yuan Fang Li.
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
Metadata. Generally speaking, metadata are data and information that describe and model data and information For example, a database schema is the metadata.
Pattern-directed inference systems
Logical Agents Logic Propositional Logic Summary
An Introduction to Description Logics (chapter 2 of DLHB)
Semantic web course – Computer Engineering Department – Sharif Univ. of Technology – Fall Description Logics: Logic foundation of Semantic Web Semantic.
Rules, RIF and RuleML.
LDK R Logics for Data and Knowledge Representation PL of Classes.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
CS6133 Software Specification and Verification
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.
CoOL: A Context Ontology Language to Enable Contextual Interoperability Thomas Strang, Claudia Linnhoff-Popien, and Korbinian Frank German Aerospace Centor.
Artificial Intelligence “Introduction to Formal Logic” Jennifer J. Burg Department of Mathematics and Computer Science.
© Copyright 2008 STI INNSBRUCK Intelligent Systems Propositional Logic.
Goals, CSF, Requirements. Formal semantics Where rules are interchanged between different tools and across language boundaries, assumptions about the.
DEDUCTION PRINCIPLES AND STRATEGIES FOR SEMANTIC WEB Chain resolution and its fuzzyfication Dr. Hashim Habiballa University of Ostrava.
1 Reasoning with Infinite stable models Piero A. Bonatti presented by Axel Polleres (IJCAI 2001,
ece 627 intelligent web: ontology and beyond
1 RIF Design Roadmap Draft PM Harold Boley (NRC), Michael Kifer (Stony Brook U), Axel Polleres (DERI), Jos de Bruijn (DERI), Michael Sintek.
1 Propositional Logic Limits The expressive power of propositional logic is limited. The assumption is that everything can be expressed by simple facts.
Of 35 lecture 17: semantic web rules. of 35 ece 627, winter ‘132 logic importance - high-level language for expressing knowledge - high expressive power.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
Logical Agents Chapter 7. Outline Knowledge-based agents Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Some Thoughts to Consider 5 Take a look at some of the sophisticated toys being offered in stores, in catalogs, or in Sunday newspaper ads. Which ones.
Artificial Intelligence Knowledge Representation.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
Semantic Web in Depth Rules Dr Nicholas Gibbins
1 © Copyright 2010 Dieter Fensel and Federico Facca Semantic Web Rule Interchange Format.
Artificial Intelligence Logical Agents Chapter 7.
Logical Agents. Inference : Example 1 How many variables? 3 variables A,B,C How many models? 2 3 = 8 models.
Logical Agents. Outline Knowledge-based agents Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability.
CENG 424-Logic for CS Introduction Based on the Lecture Notes of Konstantin Korovin, Valentin Goranko, Russel and Norvig, and Michael Genesereth.
OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.
Rule-based Reasoning in Semantic Text Analysis
Knowledge Representation and Reasoning
Rule Interchange Format: The Framework
Rules, RIF and RuleML.
ece 720 intelligent web: ontology and beyond
Logics for Data and Knowledge Representation
Back to “Serious” Topics…
Predicates and Quantifiers
ONTOMERGE Ontology translations by merging ontologies Paper: Ontology Translation on the Semantic Web by Dejing Dou, Drew McDermott and Peishen Qi 2003.
CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.
Presentation transcript:

© Copyright 2008 STI INNSBRUCK Rule Interchange Format Semantic Web Lecture Lecture VIII – xx 2009 Dieter Fensel Slides by: Federico M. Facca

Where are we? #DateTitle 1Introduction 2Semantic Web Architecture 3RDF and RDF Schema 4Web of hypertext (RDFa, Microformats) and Web of data 5Semantic Annotation 6Repositories and SPARQL 7The Web Ontology Language 8Rule Interchange Format 9Web-scale Reasoning 10Social Semantic Web 11Ontologies and the Semantic Web 12Semantic Web Services 13Tools 14Applications 15Exam 2

Overview Introduction and Motivation Technical Solution –The Rule Interchange Format (RIF) –RIF Framework –Basic Logic Dialect (BLD) Illustration by a large example Extensions 3

Adapted from Semantic Web Stack 4

INTRODUCTION AND MOTIVATION 5

Why Rule Exchange? (and not The One True Rule Language) Many different paradigms for rule languages –Pure first-order –Logic programming/deductive databases –Production rules –Reactive rules Many different features, syntaxes Different commercial interests Many egos, different preferences,... 6 [Michael Kifer, Rule Interchange Format: The Framework]

Why Different Dialects? (and Not Just One Dialect) Again: many paradigms for rule languages –First-order rules –Logic programming/deductive databases –Reactive rules –Production rules Many different semantics –Classical first-order –Stable-model semantics for negation –Well-founded semantics for negation – A carefully chosen set of interrelated dialects can serve the purpose of sharing and exchanging rules over the Web 7 [Michael Kifer, Rule Interchange Format: The Framework]

Some Background on Logics … Logic is the study of the principles of valid demonstration and inference Logic concerns the structure of statements and arguments, in formal systems of inference and natural language [ 8

The importance of logic High-level language Well-understood formal semantics Precise notion of logical consequence Proof systems –Automatic derivation of statements from a set of premises –Sound and complete (Predicate logic) –More expressive logics (higher-order logics) are not 9

First Order Logic in Short “Classical” logic –Based on propositional logic (Aristotle, ¿300 BC) –Developed in 19th century (Frege, 1879) Semi-decidable logic –Enumerate all true sentences –If a sentence is false, the algorithm might not terminate FOL is the basis for –Logic Programming: Horn Logic –Description Logics: 2-variable fragment A logic for describing object, functions and relations –Objects are “things” in the world: persons, cars, etc. –Functions take a number of objects as argument and “return” an object, depending on the arguments: addition, father-of, etc. –Relations hold between objects: distance, marriage, etc. –Often, a function can also be modeled as a relation 10

Why cannot we use FOL in the SW? FOL is undecidable Reasoning is hard … we need a simpler logic family! 11

Horn Logic 1/2 Simpler knowledge representation –“if... then...” rules Efficient reasoning algorithms, e.g. –Forward chaining –Backward chaining –SLDNF resolution Basis for Logic Programming and Deductive Databases 12

Horn Logic 2/2 A Horn formula is a disjunction of literals with one positive literal, with all variables universally quantified: –(  )  B 1 ...   B n  H Can be written as an implication: –(  )  B 1 ...   B n  H Decidable reasoning –without function symbols –limited use of function symbols e.g., no recursion over function symbols 13

Description Logics 1/2 A family of logic based Knowledge Representation formalisms –Descendants of semantic networks and KL-ONE –Describe domain in terms of concepts (classes), roles (properties, relationships) and individuals Distinguished by: –Formal semantics (typically model theoretic) Decidable fragments of FOL (often contained in C 2 ) Closely related to Propositional Modal & Dynamic Logics Closely related to Guarded Fragment –Provision of inference services Decision procedures for key problems (satisfiability, subsumption, etc) Implemented systems (highly optimized) 14

Description Logics 2/2 Formalization for frame-based knowledge representation Frame = all information about a class –Superclasses –Property restrictions Description Logic Knowledge Base –Terminological Box (TBox) Class definitions –Assertional Box (ABox) Concrete (instance) data 15

TECHNICAL SOLUTION 16

THE RULE INTERCHANGE FORMAT An exchange format for rules 17

What is the Rule Interchange Format (RIF)? A set of dialects to enable rule exchange among different rule systems 18 Rule system 1 Rule system 2 RIF dialect X semantics preserving mapping semantics preserving mapping

Rule Interchange Format Goals Exchange of Rules –The primary goal of RIF is to facilitate the exchange of rules. Consistency with W3C specifications –A W3C specification that builds on and develops the existing range of specifications that have been developed by the W3C –Existing W3C technologies should fit well with RIF Widescale Adoption –Rules interchange becomes more effective the wider adoption there is of the specification ("network effect“) 19

RIF Requirements 1 Compliance model –Clear conformance criteria, defining what is or is not a conformant to RIF Different semantics –RIF must cover rule languages having different semantics Limited number of dialects –RIF must have a standard core and a limited number of standard dialects based upon that core OWL data –RIF must cover OWL knowledge bases as data where compatible with RIF semantics 20 [

RIF Requirements 2 RDF data –RIF must cover RDF triples as data where compatible with RIF semantics. Dialect identification –The semantics of a RIF document must be uniquely determined by the content of the document, without out-of-band data XML syntax –RIF must have an XML syntax as its primary normative syntax Merge rule sets –RIF must support the ability to merge rule sets Identify rule sets –RIF must support the identification of rule sets 21 [

RIF Family Dialects 22 Basic interchange format for logic rules Data types and Built-in functions and predicates Enable the interchange of production rules Syntax and semantics of logic-based RIF dialects Common subset of BLD and PRD

RIF Example All movies listed at but not listed at are independent movies. ?Movie#ex:IndependentMovie :- listed(?Movie#ex:Movie, ) not(listed(?Movie#ex:Movie, )). All movies with budgets below 5 million USD are low-budget movies ?Movie#ex:LowBudgetMovie :- ?Movie#ex:Movie [date -> ?Date, budget -> ?Budget] ?Budget < ^^xs:long. 23

FRAMEWORK OF LOGIC DIALECT Syntax and semantics of logic-based RIF dialects 24

What Is The RIF Framework of Logic Dialect? A set of rigorous guidelines for constructing RIF dialects in a consistent manner –Initially: just the logic-based dialects Includes several aspects: –Syntactic framework –Semantic framework –XML framework 25

Syntactic Framework Defines the mechanisms for specifying the formal presentation syntax of RIF logic dialects Presentation syntax is used in RIF to define the semantics of the dialects and to illustrate the main ideas with examples Syntax is not intended to be a concrete syntax for the dialects –the delimiters of the various syntactic components, parenthesizing, precedence of operators, … are left out Uses XML as its concrete syntax 26

Examples of Syntactic Forms 1 Function/predicate application –Point(?X abc) –?X(Amount(20) ?Y(cde fgh)) Functions/predicates with named arguments –?F(name->Bob age->15) 27

Examples of Syntactic Forms 2 Frame (object-oriented F-logic notation) –Obj[Prop1->Val1... Propn->Valn] Member/Subclass (: and :: in F-logic) –Member#Class –SubCl##SupCl Higher-order functions –?F(a)(b c) –f(?X(a b)(c)(d ?E) ?X ?Y(ab)(?Z)) –?O[?P->a](f(?X b) c) 28

Examples of Syntactic Forms 3 Equality –Including in rule conclusions Negation –Symmetric (classical, explicit): Neg –Default (various kinds – stable, well-founded): Naf Connectives, quantifiers –Or (And(?X And p(?X ?Y)) ?Z(p)) –Forall ?X ?Y (Exists ?Z – (f(?X(a b)(c)(d ?E) ?X ?Y(ab)(?Z)))) –New connectives/quantifiers can be added 29

Symbols Used to identify constants, variables, functions, predicates "literal"^^ –Notable symbol spaces: xsd:string, rif:local, rif:iri –“Chris”^^ –“ –“Person1”^^rif:local 30

Structure Rules occur in Groups Group((Forall ?x _Q(?x) :- _P(?x)) (Forall ?x _Q(?x) :- _R(?x)) ) Groups occur in Documents Document( Group((Forall ?x _Q(?x) :- _P(?x)) (Forall ?x _Q(?x) :- _R(?x))) Group((Forall ?y _R(?y) :- ex:op(?y)))) 31

FDL Example: Database mapping Document( Prefix(dbp Prefix(my Prefix(rdfs Group ( Forall ?mname ?aname ?movie ?actor my:actorIn(?aname ?mname) :- And( dbp:starring(?movie ?actor) rdfs:label(?movie ?mname) rdfs:label(?actor ?aname)))) 32

Semantic Framework Defines semantic structures (a.k.a. interpretations) –Structures that determine if a formula is true –Must be very general to allow: Interpretation of all the supported syntactic forms Higher-order features Reification –Multivalued logics, not necessarily Boolean For uncertainty, inconsistency 33

Semantic Framework Logical entailment –Central to any logic –Determines which formulas entail which other formulas Unlikely to find one notion of entailment for all logic dialects because … 34

Semantic Framework p <- not p –In first-order logic: ≡ p 2-valued –In logic programming: Well-founded semantics – p is undefined – 3-valued Stable model semantics – inconsistent – 2-valued –And there is more... 35

Semantic Framework Solution: under-specify –Define entailment parametrically, leave parameters to dialects –Parameters: intended models, truth values, etc. –Entailment (between sets of formulas) P |= Q iff for every intended model I of P, I is also a model of Q 36

What Are These Intended Models? Up to the dialect designers! First-order logic: –All models are intended Logic programming/Well-founded semantics –3-valued well-founded models are intended Logic programming/Stable model semantics –Only stable models are intended 37

XML Serialization Framework Defines –a normative mapping from the RIF-FLD presentation syntax to XML –and a normative XML Schema for the XML syntax Any conformant XML document for a logic RIF dialect must also be a conformant XML document for RIF-FLD –i.e. each mapping for a logic RIF dialect must be a restriction of the corresponding mapping for RIF-FLD. –e.g. the mapping from the presentation syntax of RIF-BLD to XML in RIF-BLD is a restriction of the presentation-syntax-to- XML mapping for RIF-FLD. 38

XML Syntax And (Exists ?Buyer (cpt:purchase(?Buyer ?Seller cpt:book(?Author bks:LeRif) curr:USD(49))) ?Seller=?Author ) Buyer &cpt;purchase Buyer Seller &cpt;book Author &bks;LeRif &curr;USD 49 Seller Author 39

BASIC LOGIC DIALECT Basic interchange format for logic rules 40

Basic Logic Dialect Basically Horn rules (no negation) plus –Frames –Predicates/functions with named arguments –Equality both in rule premises and conclusions –But no polymorphic or polyadic symbols This dialect is called “basic” because –Here classical semantics = logic programming semantics –Bifurcation starts from here on 41

Basic Logic Dialect Can import RDF and OWL –RIF RDF+OWL Compatibility document: BLD with imported OWL – Is essentially SWRL (but has frames and other goodies) 42

Basic Logic Dialect Specified in two normative ways: –As a long, direct specification –As a specialization from RIF-FLD These two specifications are supposed to be equivalent –This double specification has already helped debugging both BLD and FLD 43

BLD Example 1 A rule can be written in English to derive the buy relationships (rather than store them) from the sell relationships that are stored as facts: –A buyer buys an item from a seller if the seller sells the item to the buyer –John sells LeRif to Mary Using the modus pones argument we can derive: –Mary buys LeRif from John 44

BLD Example 2 Document( Prefix(cpt Prefix(ppl Prefix(bks Group ( Forall ?Buyer ?Item ?Seller ( cpt:buy(?Buyer ?Item ?Seller) :- cpt:sell(?Seller ?Item ?Buyer) ) cpt:sell(ppl:John bks:LeRif ppl:Mary) ) 45

PRODUCTION RULE DIALECT Interchange of production rules 46

Production Rule Dialect Production rules are rule statements defined in terms of both individual facts or objects, and groups of facts or classes of objects They have –if part (or condition) –then part (or action) The condition is like the condition part of logic rules The then part contains actions –Not the same as the conclusion part of logic rules –Actions can add, delete, or modify facts in the knowledge base, and have other side-effects. 47

Production Rule Examples 1.A customer becomes a "Gold" customer as soon as his cumulative purchases during the current year top $ Customers that become "Gold" customers must be notified immediately, and a golden customer card will be printed and sent to them within one week 3.For shopping carts worth more than $1000, "Gold" customers receive an additional discount of 10% of the total amount 48

Production Rules Dialect Syntax Production rules –FOR WITH, IF THEN –FORALL Var* (actions :- And(patterns, condition)) Patterns and condition –Conjunction, disjunction, negation, existentials –Relations, frames (and objects), membership, subclass –XML Schema data types and builtins (RIF-DTB) –internationalized resource identifiers (IRIs) as identifiers –RIF-BLD condition language minus logic functions plus negation Assert, Retract, New –Assign, Modify, Execute Rules occur in Groups Groups occur in Documents –or in other groups Metadata can be attached to any class element 49

Example in RIF-PRD Prefix(ex1 (* ex1:rule_1 *) Forall ?customer ?purchasesYTD ( If And( ?customer#ex1:Customer ?customer[ex1:purchasesYTD>?purchasesYTD] External(pred:numeric-greater-than(?purchasesYTD 5000))) Then ex1:Gold(?customer) ) 50

ILLUSTRATION BY A LARGER EXAMPLE An example of usage of RIF 51

Collaborative Policy Development for Dynamic Spectrum Access Recent technological and regulatory trends are converging toward a more flexible architecture in which reconfigurable devices may operate legally in various regulatory and service environments Suppose the policy states: –A wireless device can transmit on a 5 GHz band if no priority user is currently using that band Suppose devices with different rules: 1.If no energy is detected on a desired band then assume no other device is using the band 2.If no control signal indicating use of a desired band by a priority user is detected then assume the band is available 52

RIF-BLD Example Device Rule 1 Document( Prefix(pred predicate#) Prefix(func function#) Prefix(ex Group( Forall ?device ?band ?level ( ex:used(?device ?band) :- ex:detect(ex:energy(?level ?band)) External(pred:numeric-greater-than(?level 0)) ) ) predicate# function# ) 53

RIF-BLD Example Device Rule 2 Document( Prefix(pred predicate#) Prefix(func function#) Prefix(ex Group( Forall ?device ?band ?user ( ex:used(?device ?band) :- ex:detect(ex:signal(?user ?band)) ex:priority(?user,"high"). ) ) predicate# function# ) 54

Why RIF is Perfect in This Example? Each type of device will need to employ different "interpretations" or "operational definitions" of the policy in question. Suppose –10 manufacturers of these 2 different types of wireless devices –Each of these manufacturers uses a distinct rule-based platform –Each manufacturer needs to write 2 interpretations of the policy (for each of the two types of device). That means that 20 different versions of the policy must be written, tested and maintained. This can be automated adopting RIF as interchange format and automating the translation process 55

EXTENSIONS 56

Current Ongoing Works RIF is still under development Other dialects are foreseen –A logic programming dialect that support well-founded and stable-model negation –A dialect that supports higher-order extensions –A dialect that extends RIF-BLD with full F-logic support 57

WRAP-UP That’s almost all for day… 58

Things to Keep in Mind (or Summary) RIF is an interchange rule format –Enable to exchange rules across different formalisms RIF is based on different dialects –FLD –BLD –PRD –Core RIF is OWL and RDF compatible 59

Bibliography Mandatory reading –RIF Web site: Further reading –FLD –BLD –Production rules: 60

Next Lecture 61 #DateTitle 1Introduction 2Semantic Web Architecture 3RDF and RDF Schema 4Web of hypertext (RDFa, Microformats) and Web of data 5Semantic Annotation 6Repositories and SPARQL 7The Web Ontology Language 8Rule Interchange Format 9Web-scale Reasoning 10Social Semantic Web 11Ontologies and the Semantic Web 12Semantic Web Services 13Tools 14Applications 15Exam

Questions? 62