SlideShare a Scribd company logo
RDF Semantics
               by Patrick Hayes
             W3C Recommendation

        http://www.w3.org/TR/rdf-mt/

                 Presented by Jie Bao
                         RPI
                     Sept 4, 2008

           Part 1 of RDF/OWL Semantics Tutorial
http://tw.rpi.edu/wiki/index.php/RDF_and_OWL_Semantics
A Layer Cake of Languages

        OWL2
         OWL
     (RDFS 3.0)
                            You

        RDF(S)              Are
                            Here
Outline
•   What is Semantics?
•   RDF: Syntax
•   RDF Graph and Simple Entailment
•   RDF Interpretation
•   RDFS Interpretation
What is Semantics

              Semant          Inferen
Syntax                                        Logic
                ics              ce




Merriam-Webster: the study of meanings

Wikipedia: the study of meaning in communication.
What is Semantics?
• Intensional Meaning

  – TW Students are Students with affiliation to the
    Tetherless World Group


• Extensional Meaning

  – TW Students are the set {Jiao, Ankesh, Jesse,…}
Model Theory
                           Used to link intensional
                           meaning and extensional
                           meaning

                           “Model theory assumes that the
                           language refers to a 'world', and
Alfred Tarski              describes the minimal conditions that
1901-1983                  a world must satisfy in order to
Picure source: wikipedia
                           assign an appropriate meaning for
                           every expression in the language.”
                                                 --RDF Semantics
Model: an Example
Expression:
   TW Students are Students with affiliation to the
   Tetherless World Group

A Model:


                                                      …
A Few Jargons
                 • An interpretation is a world with each symbol and each
Interpretation     expression assigned an extension.


                 • An model of a logic theory is an interpretation of the
   Model           theory that satisfies all constraints specified by the theory


                 • A logic theory is consistent if it has a model.
 Consistency
                 • A symbol or expression x is satisfiable w.r.t. a logic theory
Satisfiability     K if there is a model of K with x’s extension not empty.


                 • A logic theory K entails another logical theory K’ if every
 Entailment        model of K is a model of K’
Outline
•   What is Semantics?
•   RDF: Syntax
•   RDF Graph and Simple Entailment
•   RDF Interpretation
•   RDFS Interpretation
RDF Family

  RDFS                 RDFS Interpretation
Vocabulary


   RDF
Vocabulary             RDF Interpretation



RDF Graph
                       Simple Interpretation

 Syntax                      Semantics
Not Covered in the Talk
•   Blank Node (b-Node)
•   Literals (Datatypes)
•   Containers
•   Collections
•   Reification
•   Annotation
•   Entailment rules (rule inference)
RDF: Triple and Graph
• Triple: (subject, property, object)
   –   UB × U × UBL (Url, Blank node, Literal)
   –   e.g., (Jim, is-a, Professor)
   –   e.g., (Jim, has-surname, “Hendler”) – not covered
   –   e.g.,(Jim, has-pet, _:x) – not covered

                               is-a
                                             Professor
                  Jim         has-surname    “Hendler”
                             has-pet

• Graph: A set of triples
Outline
•   What is Semantics?
•   RDF: Syntax
•   RDF Graph and Simple Entailment
•   RDF Interpretation
•   RDFS Interpretation
Simple Interpretation
A simple interpretation I of a vocabulary V is defined by:

1. A non-empty set IR of resources, called the domain or universe of I.
2. A set IP, called the set of properties of I.
3. A mapping IEXT from IP into the powerset of IR x IR i.e. the set of sets of
    pairs <x,y> with x and y in IR .
4. A mapping IS from URI references in V into (IR union IP)
5. A mapping IL from typed literals in V into IR.
6. A distinguished subset LV of IR, called the set of literal values, which
    contains all the plain literals in V

We do not consider RDF vocabulary (e.g., rdf:type), yet.
Simple Interpretation
V

    IS


          IP    IR



         IEXT
Simple Interpretation Example
               V={a, b, c}




          Picture courtesy of “RDF Semantics”(Figure 1)
Simple Semantic Conditions
• if E is a URI reference in V then I(E) = IS(E)
• 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 <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 triple E' in E, otherwise I(E) =true
• if E is a plain literal "aaa" in V then I(E) = aaa
• if E is a plain literal "aaa"@ttt in V then I(E) = <aaa, ttt>
• if E is a typed literal in V then I(E) = IL(E)
• If E is a blank node and A(E) is defined then [I+A](E) = A(E)
• 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
Note to Simple Interpreation
• IP may not be in IR

• A property (an element in IP) and its extension
  (mapping by IEXT) are separated.
  – Thus avoids paradox like the barber paradox                  (A
    barber shaves only those men who do not shave themselves.)
Outline
•   What is Semantics?
•   RDF: Syntax
•   RDF Graph and Simple Entailment
•   RDF Interpretation
•   RDFS Interpretation
RDF Vocabulary (rdfV)
• rdf:type rdf:Property
• rdf:XMLLiteral rdf:nil rdf:List rdf:Statement
  rdf:subject rdf:predicate rdf:object rdf:first
  rdf:rest rdf:Seq rdf:Bag rdf:Alt rdf:_1 rdf:_2 ...
  rdf:value
RDF Semantic Conditions
• x is in IP if and only if <x, I(rdf:Property)> is in
  IEXT(I(rdf:type))
   – Thus, RDF properties (IP) must be resources (IR) in
     the universe.
   – (rdf:type rdf:type rdf:Property ) is always true


• More conditions for literals
RDF Interpretation Example
         Vocabulary: rdfV + V={a,b,c}




       Picture courtesy of “RDF Semantics”(Figure 2)
Outline
•   What is Semantics?
•   RDF: Syntax
•   RDF Graph and Simple Entailment
•   RDF Interpretation
•   RDFS Interpretation
RDFS Vocabulary (rdfsV)
• rdfs:domain rdfs:range rdfs:Resource
• rdfs:Class rdfs:subClassOf rdfs:subPropertyOf
• rdfs:Literal rdfs:Datatype
• rdfs:member rdfs:Container
  rdfs:ContainerMembershipProperty
• rdfs:comment rdfs:seeAlso rdfs:isDefinedBy
  rdfs:label
RDFS Semantic Conditions
On classes
• x is in ICEXT(y) if and only if <x,y> is in IEXT(I(rdf:type))
    – IC = ICEXT(I(rdfs:Class))
    – IR = ICEXT(I(rdfs:Resource))
    – LV = ICEXT(I(rdfs:Literal))
• If x is in IC then <x, I(rdfs:Resource)> is in
  IEXT(I(rdfs:subClassOf))
• If <x,y> is in IEXT(I(rdfs:subClassOf)) then x and y are in IC and
  ICEXT(x) is a subset of ICEXT(y)
• IEXT(I(rdfs:subClassOf)) is transitive and reflexive on IC
RDFS Semantic Conditions
On properties
• If <x,y> is in IEXT(I(rdfs:domain)) and <u,v> is in
  IEXT(x) then u is in ICEXT(y)
• If <x,y> is in IEXT(I(rdfs:range)) and <u,v> is in IEXT(x)
  then v is in ICEXT(y)
• IEXT(I(rdfs:subPropertyOf)) is transitive and reflexive
  on IP
• If <x,y> is in IEXT(I(rdfs:subPropertyOf)) then x and y
  are in IP and IEXT(x) is a subset of IEXT(y)
More for container and literals
RDFS Axiomatic triples
Domains
• rdf:type rdfs:domain rdfs:Resource .
  rdfs:domain rdfs:domain rdf:Property .
  rdfs:range rdfs:domain rdf:Property .
  rdfs:subPropertyOf rdfs:domain rdf:Property .
  rdfs:subClassOf rdfs:domain rdfs:Class .
RDFS Axiomatic triples
Ranges
• rdf:type rdfs:range rdfs:Class .
  rdfs:domain rdfs:range rdfs:Class .
  rdfs:range rdfs:range rdfs:Class .
  rdfs:subPropertyOf rdfs:range rdf:Property .
  rdfs:subClassOf rdfs:range rdfs:Class .

More for container, reification, literal, and
 annotation…
RDFS-Valid Triples
•   rdfs:Resource rdf:type rdfs:Class .
•   rdfs:Class rdf:type rdfs:Class .
•   rdf:Property rdf:type rdfs:Class .
•   rdfs:domain rdf:type rdf:Property .
    rdfs:range rdf:type rdf:Property .
    rdfs:subPropertyOf rdf:type rdf:Property .
    rdfs:subClassOf rdf:type rdf:Property.
Conclusions
• Model Theory gives semantics to RDF(S)
• RDF and RDFS vocabularies pose semantic
  constraints on interpretations
  – RDF: type, Property
  – RDFS: domain, range, Resource, Class, subClassOf
    subPropertyOf
• Will see OWL 1 and OWL 2 extensions to
  RDF(S) in the future
More on RDF Semantics
• Herman J. ter Horst - Completeness, decidability and
  complexity of entailment for RDF Schema and a
  semantic extension involving the OWL vocabulary. In
  J. Web Sem. 3(2-3):79-115, 2005.
• Jos de Bruijn, Stijn Heymans - Logical Foundations of
  (e)RDF(S): Complexity and Reasoning. In ISWC/ASWC
  pp. 86-99, 2007.
• Jeff Z. Pan, Ian Horrocks - RDFS(FA) and RDF MT: Two
  Semantics for RDFS. In International Semantic Web
  Conference pp. 30-46, 2003.

More Related Content

What's hot

Neural Architectures for Named Entity Recognition
Neural Architectures for Named Entity RecognitionNeural Architectures for Named Entity Recognition
Neural Architectures for Named Entity Recognition
Rrubaa Panchendrarajan
 
sw owl
 sw owl sw owl
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
Narni Rajesh
 
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
Dr.-Ing. Thomas Hartmann
 
EDF2012 Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...
EDF2012   Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...EDF2012   Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...
EDF2012 Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...European Data Forum
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
Guus Schreiber
 
Abstract Access Control Model for Dynamic RDF Datasets
Abstract Access Control Model for Dynamic RDF DatasetsAbstract Access Control Model for Dynamic RDF Datasets
Abstract Access Control Model for Dynamic RDF Datasets
PlanetData Network of Excellence
 
NAMED ENTITY RECOGNITION
NAMED ENTITY RECOGNITIONNAMED ENTITY RECOGNITION
NAMED ENTITY RECOGNITION
live_and_let_live
 
OWL: Yet to arrive on the Web of Data?
OWL: Yet to arrive on the Web of Data?OWL: Yet to arrive on the Web of Data?
OWL: Yet to arrive on the Web of Data?Aidan Hogan
 
NdFluents: An Ontology for Annotated Statements with Inference Preservation
NdFluents: An Ontology for Annotated Statements with Inference PreservationNdFluents: An Ontology for Annotated Statements with Inference Preservation
NdFluents: An Ontology for Annotated Statements with Inference Preservation
José M. Giménez-García
 
Sparq lreference 1.8-us
Sparq lreference 1.8-usSparq lreference 1.8-us
Sparq lreference 1.8-usAjay Ohri
 
Semantic Web - Ontology 101
Semantic Web - Ontology 101Semantic Web - Ontology 101
Semantic Web - Ontology 101
Luigi De Russis
 
RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)
Alexander Schätzle
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesA Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesJie Bao
 
Procrastinators CS340
Procrastinators CS340Procrastinators CS340
Procrastinators CS340
Süha Kağan Köse
 
ShEx by Example
ShEx by ExampleShEx by Example
ShEx by Example
Jose Emilio Labra Gayo
 
Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013
Samuel Croset
 
Jpl presentation
Jpl presentationJpl presentation
Jpl presentation
Rama Bastola
 

What's hot (19)

Neural Architectures for Named Entity Recognition
Neural Architectures for Named Entity RecognitionNeural Architectures for Named Entity Recognition
Neural Architectures for Named Entity Recognition
 
sw owl
 sw owl sw owl
sw owl
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
 
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)
 
EDF2012 Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...
EDF2012   Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...EDF2012   Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...
EDF2012 Irini Fundulaki - Abstract Access Control Models for Dynamic RDF Da...
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
 
SPIN in Five Slides
SPIN in Five SlidesSPIN in Five Slides
SPIN in Five Slides
 
Abstract Access Control Model for Dynamic RDF Datasets
Abstract Access Control Model for Dynamic RDF DatasetsAbstract Access Control Model for Dynamic RDF Datasets
Abstract Access Control Model for Dynamic RDF Datasets
 
NAMED ENTITY RECOGNITION
NAMED ENTITY RECOGNITIONNAMED ENTITY RECOGNITION
NAMED ENTITY RECOGNITION
 
OWL: Yet to arrive on the Web of Data?
OWL: Yet to arrive on the Web of Data?OWL: Yet to arrive on the Web of Data?
OWL: Yet to arrive on the Web of Data?
 
NdFluents: An Ontology for Annotated Statements with Inference Preservation
NdFluents: An Ontology for Annotated Statements with Inference PreservationNdFluents: An Ontology for Annotated Statements with Inference Preservation
NdFluents: An Ontology for Annotated Statements with Inference Preservation
 
Sparq lreference 1.8-us
Sparq lreference 1.8-usSparq lreference 1.8-us
Sparq lreference 1.8-us
 
Semantic Web - Ontology 101
Semantic Web - Ontology 101Semantic Web - Ontology 101
Semantic Web - Ontology 101
 
RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesA Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
 
Procrastinators CS340
Procrastinators CS340Procrastinators CS340
Procrastinators CS340
 
ShEx by Example
ShEx by ExampleShEx by Example
ShEx by Example
 
Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013
 
Jpl presentation
Jpl presentationJpl presentation
Jpl presentation
 

Viewers also liked

コンセプトアイデア 1
コンセプトアイデア 1コンセプトアイデア 1
コンセプトアイデア 1Jun Saeki
 
読解支援@2015 08-10-1
読解支援@2015 08-10-1読解支援@2015 08-10-1
読解支援@2015 08-10-1
sekizawayuuki
 
Semantic Versioning
Semantic VersioningSemantic Versioning
Semantic Versioning
Kosuke Usami
 
OWLで何が言えるか
OWLで何が言えるかOWLで何が言えるか
OWLで何が言えるか
Kazuro Fukuhara
 
SnapKit
SnapKitSnapKit
SnapKit
Kosuke Usami
 
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)Ikki Ohmukai
 
パターン認識にとっかかる
パターン認識にとっかかるパターン認識にとっかかる
パターン認識にとっかかる
Jun Saeki
 
セマンティック・ウェブのためのRdf owl入門解説.ch5
セマンティック・ウェブのためのRdf owl入門解説.ch5セマンティック・ウェブのためのRdf owl入門解説.ch5
セマンティック・ウェブのためのRdf owl入門解説.ch5
Takahiro Kubo
 
python-graph-lovestory
python-graph-lovestorypython-graph-lovestory
python-graph-lovestoryJie Bao
 
Semantic Web Technologies -metadata, ontology, logic, agent-
Semantic Web Technologies -metadata, ontology, logic, agent-Semantic Web Technologies -metadata, ontology, logic, agent-
Semantic Web Technologies -metadata, ontology, logic, agent-
blanc_et_noir
 
OWLで何が書けるか
OWLで何が書けるかOWLで何が書けるか
OWLで何が書けるか
Kazuro Fukuhara
 
トーナメントは運か実力か
トーナメントは運か実力かトーナメントは運か実力か
トーナメントは運か実力か
Kazuro Fukuhara
 
オントロジー工学に基づく 知識の体系化と利用
オントロジー工学に基づく知識の体系化と利用オントロジー工学に基づく知識の体系化と利用
オントロジー工学に基づく 知識の体系化と利用
Kouji Kozaki
 
RDF/OWLの概要及びOSS実装、及び活用イメージについて
RDF/OWLの概要及びOSS実装、及び活用イメージについてRDF/OWLの概要及びOSS実装、及び活用イメージについて
RDF/OWLの概要及びOSS実装、及び活用イメージについて
Masayuki Isobe
 
セマンティック・ウェブのためのRdf owl入門1&2章
セマンティック・ウェブのためのRdf owl入門1&2章セマンティック・ウェブのためのRdf owl入門1&2章
セマンティック・ウェブのためのRdf owl入門1&2章
Jun Saeki
 
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
Ikki Ohmukai
 
RDF Semantic Graph「RDF 超入門」
RDF Semantic Graph「RDF 超入門」RDF Semantic Graph「RDF 超入門」
RDF Semantic Graph「RDF 超入門」
オラクルエンジニア通信
 
オープンソースを用いたドローンの自律制御ソフトウェア技術
オープンソースを用いたドローンの自律制御ソフトウェア技術オープンソースを用いたドローンの自律制御ソフトウェア技術
オープンソースを用いたドローンの自律制御ソフトウェア技術
Masayuki Isobe
 
Towards Knowledge-Enabled Society
Towards Knowledge-Enabled SocietyTowards Knowledge-Enabled Society
Towards Knowledge-Enabled Society
National Institute of Informatics (NII)
 

Viewers also liked (20)

コンセプトアイデア 1
コンセプトアイデア 1コンセプトアイデア 1
コンセプトアイデア 1
 
読解支援@2015 08-10-1
読解支援@2015 08-10-1読解支援@2015 08-10-1
読解支援@2015 08-10-1
 
Semantic Versioning
Semantic VersioningSemantic Versioning
Semantic Versioning
 
セマンティックWebとオントロジー:現状と将来展望
セマンティックWebとオントロジー:現状と将来展望 セマンティックWebとオントロジー:現状と将来展望
セマンティックWebとオントロジー:現状と将来展望
 
OWLで何が言えるか
OWLで何が言えるかOWLで何が言えるか
OWLで何が言えるか
 
SnapKit
SnapKitSnapKit
SnapKit
 
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)
オープンデータとLinked Open Data@筑波大学研究談話会(2013.12.18)
 
パターン認識にとっかかる
パターン認識にとっかかるパターン認識にとっかかる
パターン認識にとっかかる
 
セマンティック・ウェブのためのRdf owl入門解説.ch5
セマンティック・ウェブのためのRdf owl入門解説.ch5セマンティック・ウェブのためのRdf owl入門解説.ch5
セマンティック・ウェブのためのRdf owl入門解説.ch5
 
python-graph-lovestory
python-graph-lovestorypython-graph-lovestory
python-graph-lovestory
 
Semantic Web Technologies -metadata, ontology, logic, agent-
Semantic Web Technologies -metadata, ontology, logic, agent-Semantic Web Technologies -metadata, ontology, logic, agent-
Semantic Web Technologies -metadata, ontology, logic, agent-
 
OWLで何が書けるか
OWLで何が書けるかOWLで何が書けるか
OWLで何が書けるか
 
トーナメントは運か実力か
トーナメントは運か実力かトーナメントは運か実力か
トーナメントは運か実力か
 
オントロジー工学に基づく 知識の体系化と利用
オントロジー工学に基づく知識の体系化と利用オントロジー工学に基づく知識の体系化と利用
オントロジー工学に基づく 知識の体系化と利用
 
RDF/OWLの概要及びOSS実装、及び活用イメージについて
RDF/OWLの概要及びOSS実装、及び活用イメージについてRDF/OWLの概要及びOSS実装、及び活用イメージについて
RDF/OWLの概要及びOSS実装、及び活用イメージについて
 
セマンティック・ウェブのためのRdf owl入門1&2章
セマンティック・ウェブのためのRdf owl入門1&2章セマンティック・ウェブのためのRdf owl入門1&2章
セマンティック・ウェブのためのRdf owl入門1&2章
 
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
ビジネスで使えるオープンデータの技術@ビジネス活用のためのオープンデータセミナー(2016.01.22)
 
RDF Semantic Graph「RDF 超入門」
RDF Semantic Graph「RDF 超入門」RDF Semantic Graph「RDF 超入門」
RDF Semantic Graph「RDF 超入門」
 
オープンソースを用いたドローンの自律制御ソフトウェア技術
オープンソースを用いたドローンの自律制御ソフトウェア技術オープンソースを用いたドローンの自律制御ソフトウェア技術
オープンソースを用いたドローンの自律制御ソフトウェア技術
 
Towards Knowledge-Enabled Society
Towards Knowledge-Enabled SocietyTowards Knowledge-Enabled Society
Towards Knowledge-Enabled Society
 

Similar to RDF Semantics

The Semantic Web #7 - RDF Semantics
The Semantic Web #7 - RDF SemanticsThe Semantic Web #7 - RDF Semantics
The Semantic Web #7 - RDF Semantics
Myungjin Lee
 
RDF briefing
RDF briefingRDF briefing
RDF briefing
Frank van Harmelen
 
BT02.pptx
BT02.pptxBT02.pptx
BT02.pptx
ThAnhonc
 
Semantic web Technology
Semantic web TechnologySemantic web Technology
Semantic web Technology
Abdelrahman Ibrahim
 
Semantic web
Semantic webSemantic web
Semantic web
tariq1352
 
DLF 2015 Presentation, "RDF in the Real World."
DLF 2015 Presentation, "RDF in the Real World." DLF 2015 Presentation, "RDF in the Real World."
DLF 2015 Presentation, "RDF in the Real World."
Avalon Media System
 
Introduction To RDF and RDFS
Introduction To RDF and RDFSIntroduction To RDF and RDFS
Introduction To RDF and RDFS
Nilesh Wagmare
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
Dr Sukhpal Singh Gill
 
Linked (Open) Data
Linked (Open) DataLinked (Open) Data
Linked (Open) Data
Bernhard Haslhofer
 
A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)
Raphael Troncy
 
Efficient Query Answering against Dynamic RDF Databases
Efficient Query Answering against Dynamic RDF DatabasesEfficient Query Answering against Dynamic RDF Databases
Efficient Query Answering against Dynamic RDF DatabasesAlexandra Roatiș
 
Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic WebSerendipity Seraph
 
The Web Ontology Language
The Web Ontology LanguageThe Web Ontology Language
The Web Ontology Language
Hector Quintero Casanova
 
Resource description framework
Resource description frameworkResource description framework
Resource description framework
Stanley Wang
 
KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016
Dr.-Ing. Thomas Hartmann
 
Bio ontologies and semantic technologies
Bio ontologies and semantic technologiesBio ontologies and semantic technologies
Bio ontologies and semantic technologies
Prof. Wim Van Criekinge
 

Similar to RDF Semantics (20)

The Semantic Web #7 - RDF Semantics
The Semantic Web #7 - RDF SemanticsThe Semantic Web #7 - RDF Semantics
The Semantic Web #7 - RDF Semantics
 
RDF briefing
RDF briefingRDF briefing
RDF briefing
 
BT02.pptx
BT02.pptxBT02.pptx
BT02.pptx
 
Semantic web Technology
Semantic web TechnologySemantic web Technology
Semantic web Technology
 
Semantic web
Semantic webSemantic web
Semantic web
 
DLF 2015 Presentation, "RDF in the Real World."
DLF 2015 Presentation, "RDF in the Real World." DLF 2015 Presentation, "RDF in the Real World."
DLF 2015 Presentation, "RDF in the Real World."
 
Introduction To RDF and RDFS
Introduction To RDF and RDFSIntroduction To RDF and RDFS
Introduction To RDF and RDFS
 
Knowledge mangement
Knowledge mangementKnowledge mangement
Knowledge mangement
 
SWT Lecture Session 5 - RDFS
SWT Lecture Session 5 - RDFSSWT Lecture Session 5 - RDFS
SWT Lecture Session 5 - RDFS
 
5 rdfs
5 rdfs5 rdfs
5 rdfs
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
 
Linked (Open) Data
Linked (Open) DataLinked (Open) Data
Linked (Open) Data
 
A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)
 
Efficient Query Answering against Dynamic RDF Databases
Efficient Query Answering against Dynamic RDF DatabasesEfficient Query Answering against Dynamic RDF Databases
Efficient Query Answering against Dynamic RDF Databases
 
Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic Web
 
The Web Ontology Language
The Web Ontology LanguageThe Web Ontology Language
The Web Ontology Language
 
Resource description framework
Resource description frameworkResource description framework
Resource description framework
 
Semantic web
Semantic webSemantic web
Semantic web
 
KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016
 
Bio ontologies and semantic technologies
Bio ontologies and semantic technologiesBio ontologies and semantic technologies
Bio ontologies and semantic technologies
 

More from Jie Bao

unix toolbox 中文版
unix toolbox 中文版unix toolbox 中文版
unix toolbox 中文版Jie Bao
 
unixtoolbox.book
unixtoolbox.bookunixtoolbox.book
unixtoolbox.bookJie Bao
 
Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维
Jie Bao
 
Towards social webtops using semantic wiki
Towards social webtops using semantic wikiTowards social webtops using semantic wiki
Towards social webtops using semantic wikiJie Bao
 
Semantic information theory in 20 minutes
Semantic information theory in 20 minutesSemantic information theory in 20 minutes
Semantic information theory in 20 minutesJie Bao
 
Towards a theory of semantic communication
Towards a theory of semantic communicationTowards a theory of semantic communication
Towards a theory of semantic communicationJie Bao
 
Expressive Query Answering For Semantic Wikis (20min)
Expressive Query Answering For  Semantic Wikis (20min)Expressive Query Answering For  Semantic Wikis (20min)
Expressive Query Answering For Semantic Wikis (20min)
Jie Bao
 
Startup best practices
Startup best practicesStartup best practices
Startup best practicesJie Bao
 
Owl 2 quick reference card a4 size
Owl 2 quick reference card a4 sizeOwl 2 quick reference card a4 size
Owl 2 quick reference card a4 sizeJie Bao
 
ISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryJie Bao
 
Expressive Query Answering For Semantic Wikis
Expressive Query Answering For  Semantic WikisExpressive Query Answering For  Semantic Wikis
Expressive Query Answering For Semantic WikisJie Bao
 
24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 DataJie Bao
 
Semantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer AppsSemantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer Apps
Jie Bao
 
Representing financial reports on the semantic web a faithful translation f...
Representing financial reports on the semantic web   a faithful translation f...Representing financial reports on the semantic web   a faithful translation f...
Representing financial reports on the semantic web a faithful translation f...
Jie Bao
 
XACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept MapXACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept Map
Jie Bao
 
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWikiDevelopment of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWikiJie Bao
 
Digital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imagingDigital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imagingJie Bao
 
Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)Jie Bao
 
Privacy-Preserving Reasoning on the Semantic Web
Privacy-Preserving Reasoning on the Semantic WebPrivacy-Preserving Reasoning on the Semantic Web
Privacy-Preserving Reasoning on the Semantic WebJie Bao
 

More from Jie Bao (20)

unix toolbox 中文版
unix toolbox 中文版unix toolbox 中文版
unix toolbox 中文版
 
unixtoolbox.book
unixtoolbox.bookunixtoolbox.book
unixtoolbox.book
 
Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维
 
Towards social webtops using semantic wiki
Towards social webtops using semantic wikiTowards social webtops using semantic wiki
Towards social webtops using semantic wiki
 
Semantic information theory in 20 minutes
Semantic information theory in 20 minutesSemantic information theory in 20 minutes
Semantic information theory in 20 minutes
 
Towards a theory of semantic communication
Towards a theory of semantic communicationTowards a theory of semantic communication
Towards a theory of semantic communication
 
Expressive Query Answering For Semantic Wikis (20min)
Expressive Query Answering For  Semantic Wikis (20min)Expressive Query Answering For  Semantic Wikis (20min)
Expressive Query Answering For Semantic Wikis (20min)
 
Startup best practices
Startup best practicesStartup best practices
Startup best practices
 
Owl 2 quick reference card a4 size
Owl 2 quick reference card a4 sizeOwl 2 quick reference card a4 size
Owl 2 quick reference card a4 size
 
ISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work Summary
 
Expressive Query Answering For Semantic Wikis
Expressive Query Answering For  Semantic WikisExpressive Query Answering For  Semantic Wikis
Expressive Query Answering For Semantic Wikis
 
CV
CVCV
CV
 
24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data
 
Semantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer AppsSemantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer Apps
 
Representing financial reports on the semantic web a faithful translation f...
Representing financial reports on the semantic web   a faithful translation f...Representing financial reports on the semantic web   a faithful translation f...
Representing financial reports on the semantic web a faithful translation f...
 
XACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept MapXACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept Map
 
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWikiDevelopment of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWiki
 
Digital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imagingDigital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imaging
 
Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)
 
Privacy-Preserving Reasoning on the Semantic Web
Privacy-Preserving Reasoning on the Semantic WebPrivacy-Preserving Reasoning on the Semantic Web
Privacy-Preserving Reasoning on the Semantic Web
 

Recently uploaded

JEE1_This_section_contains_FOUR_ questions
JEE1_This_section_contains_FOUR_ questionsJEE1_This_section_contains_FOUR_ questions
JEE1_This_section_contains_FOUR_ questions
ShivajiThube2
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
goswamiyash170123
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
Ashokrao Mane college of Pharmacy Peth-Vadgaon
 
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama UniversityNatural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Akanksha trivedi rama nursing college kanpur.
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
Scholarhat
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
chanes7
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
DeeptiGupta154
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBCSTRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
kimdan468
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
Jean Carlos Nunes Paixão
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 

Recently uploaded (20)

JEE1_This_section_contains_FOUR_ questions
JEE1_This_section_contains_FOUR_ questionsJEE1_This_section_contains_FOUR_ questions
JEE1_This_section_contains_FOUR_ questions
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
 
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama UniversityNatural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBCSTRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 

RDF Semantics

  • 1. RDF Semantics by Patrick Hayes W3C Recommendation http://www.w3.org/TR/rdf-mt/ Presented by Jie Bao RPI Sept 4, 2008 Part 1 of RDF/OWL Semantics Tutorial http://tw.rpi.edu/wiki/index.php/RDF_and_OWL_Semantics
  • 2. A Layer Cake of Languages OWL2 OWL (RDFS 3.0) You RDF(S) Are Here
  • 3. Outline • What is Semantics? • RDF: Syntax • RDF Graph and Simple Entailment • RDF Interpretation • RDFS Interpretation
  • 4. What is Semantics Semant Inferen Syntax Logic ics ce Merriam-Webster: the study of meanings Wikipedia: the study of meaning in communication.
  • 5. What is Semantics? • Intensional Meaning – TW Students are Students with affiliation to the Tetherless World Group • Extensional Meaning – TW Students are the set {Jiao, Ankesh, Jesse,…}
  • 6. Model Theory Used to link intensional meaning and extensional meaning “Model theory assumes that the language refers to a 'world', and Alfred Tarski describes the minimal conditions that 1901-1983 a world must satisfy in order to Picure source: wikipedia assign an appropriate meaning for every expression in the language.” --RDF Semantics
  • 7. Model: an Example Expression: TW Students are Students with affiliation to the Tetherless World Group A Model: …
  • 8. A Few Jargons • An interpretation is a world with each symbol and each Interpretation expression assigned an extension. • An model of a logic theory is an interpretation of the Model theory that satisfies all constraints specified by the theory • A logic theory is consistent if it has a model. Consistency • A symbol or expression x is satisfiable w.r.t. a logic theory Satisfiability K if there is a model of K with x’s extension not empty. • A logic theory K entails another logical theory K’ if every Entailment model of K is a model of K’
  • 9. Outline • What is Semantics? • RDF: Syntax • RDF Graph and Simple Entailment • RDF Interpretation • RDFS Interpretation
  • 10. RDF Family RDFS RDFS Interpretation Vocabulary RDF Vocabulary RDF Interpretation RDF Graph Simple Interpretation Syntax Semantics
  • 11. Not Covered in the Talk • Blank Node (b-Node) • Literals (Datatypes) • Containers • Collections • Reification • Annotation • Entailment rules (rule inference)
  • 12. RDF: Triple and Graph • Triple: (subject, property, object) – UB × U × UBL (Url, Blank node, Literal) – e.g., (Jim, is-a, Professor) – e.g., (Jim, has-surname, “Hendler”) – not covered – e.g.,(Jim, has-pet, _:x) – not covered is-a Professor Jim has-surname “Hendler” has-pet • Graph: A set of triples
  • 13. Outline • What is Semantics? • RDF: Syntax • RDF Graph and Simple Entailment • RDF Interpretation • RDFS Interpretation
  • 14. Simple Interpretation A simple interpretation I of a vocabulary V is defined by: 1. A non-empty set IR of resources, called the domain or universe of I. 2. A set IP, called the set of properties of I. 3. A mapping IEXT from IP into the powerset of IR x IR i.e. the set of sets of pairs <x,y> with x and y in IR . 4. A mapping IS from URI references in V into (IR union IP) 5. A mapping IL from typed literals in V into IR. 6. A distinguished subset LV of IR, called the set of literal values, which contains all the plain literals in V We do not consider RDF vocabulary (e.g., rdf:type), yet.
  • 15. Simple Interpretation V IS IP IR IEXT
  • 16. Simple Interpretation Example V={a, b, c} Picture courtesy of “RDF Semantics”(Figure 1)
  • 17. Simple Semantic Conditions • if E is a URI reference in V then I(E) = IS(E) • 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 <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 triple E' in E, otherwise I(E) =true • if E is a plain literal "aaa" in V then I(E) = aaa • if E is a plain literal "aaa"@ttt in V then I(E) = <aaa, ttt> • if E is a typed literal in V then I(E) = IL(E) • If E is a blank node and A(E) is defined then [I+A](E) = A(E) • 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
  • 18. Note to Simple Interpreation • IP may not be in IR • A property (an element in IP) and its extension (mapping by IEXT) are separated. – Thus avoids paradox like the barber paradox (A barber shaves only those men who do not shave themselves.)
  • 19. Outline • What is Semantics? • RDF: Syntax • RDF Graph and Simple Entailment • RDF Interpretation • RDFS Interpretation
  • 20. RDF Vocabulary (rdfV) • rdf:type rdf:Property • rdf:XMLLiteral rdf:nil rdf:List rdf:Statement rdf:subject rdf:predicate rdf:object rdf:first rdf:rest rdf:Seq rdf:Bag rdf:Alt rdf:_1 rdf:_2 ... rdf:value
  • 21. RDF Semantic Conditions • x is in IP if and only if <x, I(rdf:Property)> is in IEXT(I(rdf:type)) – Thus, RDF properties (IP) must be resources (IR) in the universe. – (rdf:type rdf:type rdf:Property ) is always true • More conditions for literals
  • 22. RDF Interpretation Example Vocabulary: rdfV + V={a,b,c} Picture courtesy of “RDF Semantics”(Figure 2)
  • 23. Outline • What is Semantics? • RDF: Syntax • RDF Graph and Simple Entailment • RDF Interpretation • RDFS Interpretation
  • 24. RDFS Vocabulary (rdfsV) • rdfs:domain rdfs:range rdfs:Resource • rdfs:Class rdfs:subClassOf rdfs:subPropertyOf • rdfs:Literal rdfs:Datatype • rdfs:member rdfs:Container rdfs:ContainerMembershipProperty • rdfs:comment rdfs:seeAlso rdfs:isDefinedBy rdfs:label
  • 25. RDFS Semantic Conditions On classes • x is in ICEXT(y) if and only if <x,y> is in IEXT(I(rdf:type)) – IC = ICEXT(I(rdfs:Class)) – IR = ICEXT(I(rdfs:Resource)) – LV = ICEXT(I(rdfs:Literal)) • If x is in IC then <x, I(rdfs:Resource)> is in IEXT(I(rdfs:subClassOf)) • If <x,y> is in IEXT(I(rdfs:subClassOf)) then x and y are in IC and ICEXT(x) is a subset of ICEXT(y) • IEXT(I(rdfs:subClassOf)) is transitive and reflexive on IC
  • 26. RDFS Semantic Conditions On properties • If <x,y> is in IEXT(I(rdfs:domain)) and <u,v> is in IEXT(x) then u is in ICEXT(y) • If <x,y> is in IEXT(I(rdfs:range)) and <u,v> is in IEXT(x) then v is in ICEXT(y) • IEXT(I(rdfs:subPropertyOf)) is transitive and reflexive on IP • If <x,y> is in IEXT(I(rdfs:subPropertyOf)) then x and y are in IP and IEXT(x) is a subset of IEXT(y) More for container and literals
  • 27. RDFS Axiomatic triples Domains • rdf:type rdfs:domain rdfs:Resource . rdfs:domain rdfs:domain rdf:Property . rdfs:range rdfs:domain rdf:Property . rdfs:subPropertyOf rdfs:domain rdf:Property . rdfs:subClassOf rdfs:domain rdfs:Class .
  • 28. RDFS Axiomatic triples Ranges • rdf:type rdfs:range rdfs:Class . rdfs:domain rdfs:range rdfs:Class . rdfs:range rdfs:range rdfs:Class . rdfs:subPropertyOf rdfs:range rdf:Property . rdfs:subClassOf rdfs:range rdfs:Class . More for container, reification, literal, and annotation…
  • 29. RDFS-Valid Triples • rdfs:Resource rdf:type rdfs:Class . • rdfs:Class rdf:type rdfs:Class . • rdf:Property rdf:type rdfs:Class . • rdfs:domain rdf:type rdf:Property . rdfs:range rdf:type rdf:Property . rdfs:subPropertyOf rdf:type rdf:Property . rdfs:subClassOf rdf:type rdf:Property.
  • 30. Conclusions • Model Theory gives semantics to RDF(S) • RDF and RDFS vocabularies pose semantic constraints on interpretations – RDF: type, Property – RDFS: domain, range, Resource, Class, subClassOf subPropertyOf • Will see OWL 1 and OWL 2 extensions to RDF(S) in the future
  • 31. More on RDF Semantics • Herman J. ter Horst - Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. In J. Web Sem. 3(2-3):79-115, 2005. • Jos de Bruijn, Stijn Heymans - Logical Foundations of (e)RDF(S): Complexity and Reasoning. In ISWC/ASWC pp. 86-99, 2007. • Jeff Z. Pan, Ian Horrocks - RDFS(FA) and RDF MT: Two Semantics for RDFS. In International Semantic Web Conference pp. 30-46, 2003.