Three words about RDF University of Rome "Tor Vergata" ART: Artificial Intelligence Tor Vergata Author Manuel Fiorelli Date May 11 2012 lastupdate:

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness
Advertisements

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Artificial Intelligence Chapter 13 The Propositional Calculus Biointelligence Lab School of Computer Sci. & Eng. Seoul National University.
Biointelligence Lab School of Computer Sci. & Eng.
The Semantic Web – WEEK 4: RDF
An Introduction to RDF(S) and a Quick Tour of OWL
RDF Tutorial.
Knowledge Representation
Chapter 3 RDF Syntax 1. Topics Basic concepts of RDF resources, properties, values, statements, triples URIs and URIrefs RDF graphs Literals and Qnames.
1 Conditional XPath, the first order complete XPath dialect Maarten Marx Presented by: Einav Bar-Ner.
SPARQL for Querying PML Data Jitin Arora. Overview SPARQL: Query Language for RDF Graphs W3C Recommendation since 15 January 2008 Outline: Basic Concepts.
1 Basic abstract interpretation theory. 2 The general idea §a semantics l any definition style, from a denotational definition to a detailed interpreter.
1 Undecidability Andreas Klappenecker [based on slides by Prof. Welch]
Normal forms for Context-Free Grammars
Describing Syntax and Semantics
Monadic Predicate Logic is Decidable Boolos et al, Computability and Logic (textbook, 4 th Ed.)
ANHAI DOAN ALON HALEVY ZACHARY IVES Chapter 12: Ontologies and Knowledge Representation PRINCIPLES OF DATA INTEGRATION.
RDF Semantics by Patrick Hayes W3C Recommendation Presented by Jie Bao RPI Sept 4, 2008 Part 1 of RDF/OWL Semantics Tutorial.
Logics for Data and Knowledge Representation SPARQL Protocol and RDF Query Language (SPARQL) Feroz Farazi.
RDF: Concepts and Abstract Syntax W3C Recommendation 10 February Michael Felderer Digital Enterprise.
RDF (Resource Description Framework) Why?. XML XML is a metalanguage that allows users to define markup XML separates content and structure from formatting.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
INTRODUCTION TO THE THEORY OF COMPUTATION INTRODUCTION MICHAEL SIPSER, SECOND EDITION 1.
LDK R Logics for Data and Knowledge Representation Modeling First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto Giunchiglia.
CC L A W EB DE D ATOS P RIMAVERA 2015 Lecture 2: RDF Model & Syntax Aidan Hogan
Mathematical Preliminaries (Hein 1.1 and 1.2) Sets are collections in which order of elements and duplication of elements do not matter. – {1,a,1,1} =
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 5: Classical Logic.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Practical RDF Chapter 2. RDF: Heart and Soul Shelley Powers, O’Reilly SNU IDB Lab. Taikyoung Kim.
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.
Theory of Computation, Feodor F. Dragan, Kent State University 1 TheoryofComputation Spring, 2015 (Feodor F. Dragan) Department of Computer Science Kent.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Introduction The Resource Description Framework (RDF) is recommended by the World Wide Web Consortium (W3C) to model meta-data about the resources of the.
Understanding RDF. 2/30 What is RDF? Resource Description Framework is an XML-based language to describe resources. A common understanding of a resource.
THEORY OF COMPUTATION Komate AMPHAWAN 1. 2.
1 CSC384: Intro to Artificial Intelligence Lecture 5.  Knowledge Representation.
Practical RDF Ch.2 Junwon Jung SNU OOPSLA Lab. Shelley Powers, O’Reilly August 5, 2004.
Doc.: IEEE /0169r0 Submission Joe Kwak (InterDigital) Slide 1 November 2010 Slide 1 Overview of Resource Description Framework (RFD/XML) Date:
1 First order theories (Chapter 1, Sections 1.4 – 1.5) From the slides for the book “Decision procedures” by D.Kroening and O.Strichman.
1 Reasoning with Infinite stable models Piero A. Bonatti presented by Axel Polleres (IJCAI 2001,
NP-Completeness  For convenience, the theory of NP - Completeness is designed for decision problems (i.e. whose solution is either yes or no).  Abstractly,
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
Formal Semantics Purpose: formalize correct reasoning.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
The Church-Turing Thesis Chapter Are We Done? FSM  PDA  Turing machine Is this the end of the line? There are still problems we cannot solve:
Linked Data & Semantic Web Technology The Semantic Web Part 7. RDF Semantics Dr. Myungjin Lee.
Artificial Intelligence Logical Agents Chapter 7.
Linked Data & Semantic Web Technology The Semantic Web Part 4. Resource Description Framework (1) Dr. Myungjin Lee.
Modeling Arithmetic, Computation, and Languages Mathematical Structures for Computer Science Chapter 8 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesTuring.
1 Representing and Reasoning on XML Documents: A Description Logic Approach D. Calvanese, G. D. Giacomo, M. Lenzerini Presented by Daisy Yutao Guo University.
Knowledge Representation & Logic
Knowledge Representation Part V RDF
ece 720 intelligent web: ontology and beyond
The Propositional Calculus
CmpE 583- Web Semantics: Theory and Practice INTRODUCTION TO RDF
Knowledge Representation
Logics for Data and Knowledge Representation
Logics for Data and Knowledge Representation
CC La Web de Datos Primavera 2016 Lecture 2: RDF Model & Syntax
RDF 1.1 Concepts and Abstract Syntax
INTRODUCTION TO THE THEORY OF COMPUTATION
KNOWLEDGE REPRESENTATION
Back to “Serious” Topics…
CSNB234 ARTIFICIAL INTELLIGENCE
Resource Description Framework (RDF)
Representations & Reasoning Systems (RRS) (2.2)
Presentation transcript:

Three words about RDF University of Rome "Tor Vergata" ART: Artificial Intelligence Tor Vergata Author Manuel Fiorelli Date May lastupdate: Mon, 15 May :50:

Introduction (1) Humans know something about the world, when they have an idea about the possible ways the world is arranged. Humans rely on that mental model of the world to: ● figure out things they have not been told explicitly; ● foresee how the world will evolve or react to their actions; ● to plan the interaction with the environment. The idea behind knowledge based systems is to provide machines with a finite set of explicitly represented ideas (a knowledge base), which may allow machines to reason in a way that may replace the human thinking.

Introduction (2) The basic idea about the world is the fact that two things are related in some way (e.g. bob is married to jane). The simplest knowledge base comprises a finite set of those relation assertions (i.e. a triple, in RDF). RDF (Resource Description Framework) is a Recommendation from the W3C going on that direction. RDF-PRIMER: "RDF is based on the idea of identifying things using Web identifiers (called Uniform Resource Identifiers, or URIs), and describing resources in terms of simple properties and property values. This enables RDF to represent simple statements about resources as a graph of nodes and arcs representing the resources, and their properties and values".

Outline Abstract syntax A conceptualization over the available syntaxes, allowing to manage RDF descriptions from a more abstract point of view. Concrete syntaxes Define how RDF descriptions are written concretely: in general, as sequences of characters. There will be several concrete syntaxes to meet different requirements: eg. human readability, memory occupation,.... Model Theoretic Semantics Defines how to interpret an RDF description. It is built on top of the abstract syntax.

Abstract syntax ● Graph o Triple  URI  Blank Node  Literal o Vocabulary o Syntactic freedom o Merge

Abstract Syntax - RDF Graph A (RDF) graph is a set* of triples. *Order and multiplicity of triples are not relevant. A triple is made of a subject, a predicate and an object. The subject may be a URI or a blank node. The predicate may be a URI. The object may be a URI, a blank node or a literal. The sets of URIs, blank nodes and literals are pairwise disjoint. Two triples are equal if their corresponding components are equal (see next slides).

Abstract Syntax- URI A URI is a uniform resource identifier (as per RFC 2396) with additional constraints (e.g. they have to be absolute). Two URIs are equal if they compare as equal character by character as strings. Concrete syntaxes may allow alternatives to absolute URI: ● qualified names ● even, relative URIs but those constructs ultimately have to be mapped to absolute URI by the interpreter.

Abstract Syntax - Blank node A blank node (BNode) is a term drawn from an infinite set of distinguished terms. The set of blank nodes is somewhat arbitrary, provided that it is disjoint from both the sets of URIs and the set of literals. The abstract syntax only requires that given two blank nodes it is possible to ascertain whether they are equal or not.

Abstract Syntax - Literal (1) A literal identifies a value by means of a lexical representation. A literal is made up of: ● a lexical form (being a UNICODE string in Normal Form C) ● and optionally, o either, a language tag (RFC-3066), normalized to lower case o or, a datatype URI (e.g. A literal is said to be: ● a typed literal, if it has a datatype URI ● a plain literal, otherwise.

Abstract Syntax - Literal (2) Two literals are equal if their lexical forms compare as equal character by character and both: ● have language tags comparing as equal, ● have a datatype URI comparing as equal, ● have no optional part.

Abstract Syntax Names and Vocabulary URIs and literals are called collectively names. A vocabulary is a set of names. The vocabulary of an RDF graph is the set of names occurring within its triples. Note that the datatype URI within a typed literal has not to belong to the vocabulary of the graph.

Abstract Syntax - Freedom RDF has a very free syntax, since the same URI may be used as a predicate, a subject or an object. When dealing with formal reasoning over RDF descriptions, this freedom has to be reduced in some extent, in order to avoid undecidability issues. Another issue is the computational complexity of those tasks. Informally a task is said to be undecidable iff it is not decidable iff there is no always-halting Turing Machine solving it

Abstract Syntax - Merge Given a set G of RDF graphs, their merge is an RDF graph whose set of triples is the union of the set of triples obtained from each graph renaming the blank nodes so that they are not shared by any two graphs. The ability to easy merge RDF graphs is regarded as an important feature of RDF, towards the solution of the integration problem.

Graphical notation ex:manuelex:armando ex:knows ex:hasAddress Via del Politecnico, 1 ex:street Rome ex:city ex:zipCode For the sake of clarity URIs are abbreviated with qnames (assuming that a suitable mapping of prefixes exists)

Concrete syntaxes

Turtle: Terse RDF Triple Language Turtle is a textual (concrete) syntax for RDF, allowing for a compact and human friendly representation of an RDF ex:. ex:manuel ex:knows ex:armando. ex:armando ex:hasAddress [ ex:street "Via del Politecnico, 1" ; ex:zipCode "00040" ; ex:city "Rome"]. ex:city is a qualified name standing for the URI obtained concatenating and city.

Model theoretic semantics ● Interpretation o Simple Interpretation  Denotation of ground graphs  Denotation of graphs (possibly with blank nodes)  Satisfaction  Entailment  Inference

Model theoretic semantics An RDF description states a set of constraints over the possible ways the world is arranged: the only admissible configurations are those that make the description true. The truth of an RDF description is formally defined by the model theoretic semantics by means of the notion of interpretation An interpretation is a formal account of those aspects of a (possible) world which are sufficient to establish the truth or the falsity of a graph. An interpretation is always relative to a vocabulary. There will be different interpretations associated with different levels of understanding of the vocabulary.

Model theoretic semantics: Simple Interpretation (1) A simple interpretation does not pay a particular attention to any name in the vocabulary V. A simple interpretation I of a vocabulary V is a quintuple, where: ● A non-empty set IR of resources, called the domain or universe of I. ● A set IP, called the set of properties of I. ● A mapping IEXT from IP into the powerset of IR x IR. ● A mapping IS from URI references in V into (IR ∪ IP). ● A mapping IL from typed literals in V into IR*. ● A distinguished subset LV of IR, called the set of literal values, which contains all the plain literals in V. *a malformed typed literal has to be mapped into a not-a-value resource

Model theoretic semantics: Simple Interpretation (2) RDF assumes that any URI is used consistently: i.e. always denotes the same thing. A thing may have: ● multiple names (non-unique name assumption) ● no name

Simple Interpretation Denotation of ground graphs (1) An RDF graph is said to be ground if it does not contain any blank node. Given a ground graph G whose vocabulary is V and a simple interpretation I of V, the denotation of G is defined by structural induction over the abstract syntax as follows: if E is a plain literal "aaa" in V then I(E) = aaa if E is a plain literal in V then I(E) = if E is a typed literal in V then I(E) = IL(E) if E is a URI reference in V then I(E) = IS(E)

Simple Interpretation Denotation of ground graphs (2) if E is a ground triple s p o. then I(E) = true if s, p and o are in V, I(p) is in IP and is in IEXT(I(p)) otherwise I(E) = false. if E is a ground RDF graph then I(E) = false if I(T) = false for some triple T in E, otherwise I(E) = true. The two conditions above: ● can deal with triples whose components do not belong to the vocabulary V ● do not apply when there are blank nodes.

Simple Interpretation Blank nodes (1) Blank nodes can be thought as existentially quantified variables which assert the existence of a resource (belonging to IR), without explicitly giving them a name. The denotation of an RDF graph with blank nodes requires two additional semantic conditions. If E is an RDF graph then I(E) = true if [I+A'](E) = true for some mapping A' from blank(E) to IR, otherwise I(E) = false If E is a blank node and A(E) is defined then [I+A](E) = A(E)

Simple Interpretation Blank nodes (2) Suppose M is a map from a set of blank nodes to some set of literals, URIs and blank nodes; given a graph G, the graph obtained replacing some or all the blank nodes is said to be an instance of G.

Simple Interpretation Satisfaction The satisfaction is a binary relation between an interpretation I and an RDF graph G, I ⊨ G, such that I(G) = true. If an agent knows the intended interpretation of a vocabulary, then it is able to assess the truth of any RDF graph. However, in general machines do not "know" the intended interpretation of a vocabulary, thus they have to rely on the notion of entailment. An RDF graph divides interpretations into two groups: those that satisfy the graph and those that do not satisfy it.

Simple Interpretation Entailment A set S of RDF graphs (simply) entails an RDF graph G, S ⊨ G, if: for all simple interpretation I. (for all E in S. I ⊨ E) implies I ⊨ G In other words, if the graphs in S are true (whatever they mean according to any of the possible interpretations), then G must be true. Merging lemma. The merge of a set S of RDF graphs is entailed by S, and entails every member of S. Hence, a set of graphs may be regarded as a single graph (the merge).

Simple Interpretation Inference Since entailment does not depend on the intended interpretation, it should be possible to ascertain whether it holds or not by means of syntactic manipulation of those graphs. An inference system allows to pass from known graphs to another graph solely by symbolic manipulation. If the latter is guaranteed to be entailed, then the procedure is said to be correct or valid. For simple entailment a complete and sound inference system is established by the interpolation lemma: S entails a graph E if and only if a subgraph of S is an instance of E. The reasoning procedure is in fact a graph matching algorithm, which is guaranteed to terminate (hence, it is decidable).

Conclusions The presentation is based on the current version of the RDF Recommendation. The RDF Working Group, part of the Semantic Web Activity, is working on a revision of the RDF Recommendation. The major updates so far: ● IRIs replace URIs; ● language tagged literals replace plain literals; ● language tag are defined per BCP 47.

What is going on ● Vocabulary entailment ● Time and modalities in RDF ● Linked Data

References 1. Frank Manola and Eric Miller, Editors. RDF Primer, W3C Recommendation, 10 February 2004.RDF Primer 2. Graham Klyne and Jeremy J. Carroll, Editors. Resource Description Framework (RDF): Concepts and Abstract Syntax, W3C Recommendation 10 February 2004.Resource Description Framework (RDF): Concepts and Abstract Syntax 3. Patrick Hayes, Editor. RDF Semantics. W3C Recommendation, 10 February 2004.RDF Semantics 4. Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning, The Morgan Kaufmann Series in Artificial Intelligence, Morgan Kaufmann, June 2, Alberto Pettorossi and Maurizio Proietti. First Order Predicate Calculus and Logic Programming, Second Edition, Aracne Editrice, Alberto Pettorossi. Elements of Computability, Decidability, and Complexity, Third Edition, Aracne Editrice, Alberto Pettorossi. Semantics of Programming Languages, Second Edition, Aracne Editrice, 2011