RDF Zhulj@chinaecc.org http://www.chinaecc.org
web - Web Grid Web Service - semantic -RDF Semantic Web -
Web 1990 Tim Berners-Lee Web HTML Web Web HTML Semantic Web
Semantic web web web web -Tim Berners-Lee, James Hendler, Ora Lassila, The Semantic Web, Scientific American, May 2001 The Semantic Web is a major research initiative of the World Wide Web Consortium (W3C) to create a metadata-rich Web of resources that can describe themselves not only by how they should be displayed (HTML) or syntactically (XML), but also by the meaning of the metadata. web W3C (research initiative) web, (HTML) (XML), -From W3C Semantic Web Activity Page Definition: The Semantic Web is the representation of data on the World Wide Web. It is a collaborative effort led by W3C with participation from a large number of researchers and industrial partners. It is based on the Resource Description Framework (RDF), which integrates a variety of applications using XML for syntax and URIs for naming. Semantic Web web W3C Semantic web RDF RDF XML URIs -http://www.w3.org/2001/sw/
Semantic Web Web Portal Corporate web site management Enterprise Knowledge Management Document Content Management Intelligent Agent Ubiquitous Computing E-commerce..
Semantic web -1 Agent agent semantic web? -Tim Berners-Lee, James Hendler, Ora Lassila, The Semantic Web, Scientific American, May 2001
Semantic web 2 1. 2. :, ; 3. agent : ; 4. agent : - ; 5. agent agent 6. ; 7. -Tim Berners-Lee, James Hendler, Ora Lassila, The Semantic Web, Scientific American, May 2001
Semantic Web -Tim Berners-Lee Logic vocabulary Domain vocabulary
-> -> -> Logic->Ontology vocabulary-> RDF+RDFS->XML
Semantic web Grid Web Service Semantic Syntax Static Semantic Web RDF, RDF Schema, OWL URI, HTML, HTTP World Wide Web Dynamic Intelligent Web DAML-S Rules SOAP, WSDL, UDDI Web Service
Semantic web Grid Semantic Web Web Internet Semantic Grid Grid
- - - -RDF
Wittgenstein (1921) stated : Only the sentence has meaning; a name has meaning only in the context of a sentence. A name means an object. The object is its meaning.
Real World
Real world
Virtual World!!!
Semantic web Formal System
-1
-2 Ontology KR frame ontology Logic theory Database schemas ER model Object classes Description logic Collection of terms Ontology Spectrum
-3
ontology
the Science of being
Studer ontology conceptualization Phenomenon explicit formal Ontology share Ontology,
Semantic Web
RDF RDFS OWL/DAML Legend Definition uses the datamodel of RDF Instance Data Defined in terms of Is extension of OWL / DAML RDF Schema RDF
RDF RDF : URI XML using an XML-based syntax XML Schema (statements) http://www.w3.org/tr/2003/wd-rdf-concepts-20030905/
RDF RDF : Graph data model URI-based vocabulary Datatypes Literals XML serialization syntax Expression of simple facts Entailment http://www.w3.org/tr/2003/wd-rdf-concepts-20030905/
RDF Graph Data Model RDF subject predicate object RDF
RDF Graph XML serialization <?xml version="1.0"?> <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:s="http://description.org/schema/"> <rdf:description about="http://www.w3.org/home/lassila"> <s:creator>ora Lassila</s:Creator> </rdf:description> </rdf:rdf>
Definitions-1 A subgraph of an RDF graph subset Merge- only merge same uriref Vocabulary set of urirefs An RDF graph is Ground if has no blank nodes Plain if has no literals An instance of an RDF graph A similar graph in which some blank nodes may have been replaced by urirefs A proper instance of a graph At least one blank node have been replaced by urirefs
Definitions-2 RDF entailment: an RDF expression A is said to entail another RDF expression B if every possible arrangement of things in the world that makes A true also makes B true. On this basis, if the truth of A is presumed or demonstrated then the truth of B can be inferred.
RDF Interpretation RDF RDF
Model-Theoretic Semantics Model Theoretic Semantic account of meaning in which Sentence are interpreted in terms of a model of, or abstract formal structure representing, an actual or possible state of the world -Oxford Dictionary, web Model-Theoretic Semantics for the Web -James Farrugia
Model Theory language world world FOL World interpretation
Model Theoretic Semantic -Statement Model-Theoretic Semantics for the Web -James Farrugia
Model Theoretic Semantic Model-theoretic semantics does not pretend, and has no way to determine what certain words and statements "really" mean It offers no help in making the connection between the model (the abstract structure) and the world Model-Theoretic Semantics for the Web -James Farrugia
Simple Interpretation A simple interpretation I of a vocabulary V is defined by: A nonempty set IR of resources, called the domain or universe of I. A mapping IEXT from IP into the powerset of IRx(IR union LV) A mapping IS from V into IR LV: set of literal values A non-empty subset IP of IR called Properties A set LV and a mapping XL from literals to LV IP is the set of properties RDF Model Theory-http://www.w3.org/TR/2002/WD-rdf-mt-20020214/
Rules: Determines truth-values of Mapping ground RDF Graph if E is a literal node then I(E) = XL(E) if E is a uriref then I(E) = IS(E) Assign True False value if E is an asserted triple <s, p, o> then I(E) = true if <I(s),I(o)> is in IEXT(I(p)), otherwise I(E)= false. if E is a ground RDF graph then I(E) = false if I(E') = false for some asserted triple E' in E, otherwise I(E) =true. RDF Model Theory-http://www.w3.org/TR/2002/WD-rdf-mt-20020214/
Simple Entailment Graph IS: a->1, b->1, c->2? IR= {1, 2}; IP = {1} Questions <a,b,c>? true <c,a,a>? true <a,c,b>? false IEXT: 1->{<1,2>,<2,1>}
RDF Interpretation Example
RDF closure The rdf-closure of an RDF graph E is the graph gotten by adding triples to E according to RDF rules. rdf1 xxx aaa yyy. aaa rdf:type rdf:property.
RDFS Closure-1 rdf1 xxx aaa yyy aaa rdf:type rdf:property rdfs2 rdfs3 rdfs4a rdfs4b rdfs5 xxx aaa yyy aaa rdfs:domain zzz xxx aaa uuu aaa rdfs:range zzz xxx aaa yyy xxx aaa uuu aaa rdfs:subpropertyof bbb bbb rdfs:subpropertyof ccc xxx rdf:type zzz uuu rdf:type zzz xxx rdf:type rdfs:resource uuu rdf:type rdfs:resource aaa rdfs:subpropertyof ccc
RDF Closure-2 rdfs6 xxx aaa yyy aaa rdfs:subpropertyof bbb xxx bbb yyy rdfs7 xxx rdf:type rdfs:class xxx rdfs:subclassof rdfs:resource rdfs8 rdfs9 xxx rdfs:subclassof yyy yyy rdfs:subclassof zzz xxx rdfs:subclassof yyy aaa rdf:type xxx xxx rdfs:subclassof zzz aaa rdf:type yyy
Graph Closure An inference engine for RDF -G.Naudts
Entailment - statement valid XML entailment
web 1! Tim Berners-Lee
Web -2 -November 7, 2003 by Clay Shirky Syllogisms are Not Very Useful We Describe The World In Generalities The Semantic Web's Proposed Uses Meta-data is Not A Panacea Ontology is Not A Requirement Artificial Intelligence Reborn Worldviews Differ For Good Reasons Worse is Better http://www.shirky.com/writings/semantic_syllogism.html
Web 3 -November 10, 2003. By Paul Ford it is false to call it (semantic web)a machine the method used is usually resolution reasoning (as in Prolog) tableau reasoning, not only syllogism Logic does well in mundane places Top down down top No global ontology world view Meta data and Ontology