RDF and OWL Semantics

From Tetherless World Wiki

Outline

Meeting Time: Thursday 3-4pm.

• Sept 4: Session 1: RDF Semantics - http://www.w3.org/TR/rdf-mt/
• Sept 11: Session 2: OWL Full (RDF) Semantics - http://www.w3.org/TR/owl-semantics/rdfs.html
• TBA: Session 3: OWL 2 Full (RDF) Semantics - http://www.w3.org/2007/OWL/wiki/RDF-Based_Semantics

Meetings

Session 1: RDF Semantics

Slides:

References

1. Patrick Hayes, RDF Semantics. W3C Recommendation 10 February 2004
2. Dave Beckett, RDF/XML Syntax Specification (Revised). W3C Recommendation 10 February 2004
3. Model theory on Wikipedia
4. Wilfrid Hodges, Model theory on Stanford Encyclopedia of Philosophy

Advanced References

• 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.(URL) (Bibtex)
  Author : Herman J. ter Horst
  Title : Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary
  In : J. Web Sem. -
  Address :
  Date : 2005
  
  

• Jos de Bruijn, Stijn Heymans - Logical Foundations of (e)RDF(S): Complexity and Reasoning. In ISWC/ASWC pp. 86-99, 2007.(URL) (Bibtex)
  Author : Jos de Bruijn, Stijn Heymans
  Title : Logical Foundations of (e)RDF(S): Complexity and Reasoning
  In : ISWC/ASWC -
  Address :
  Date : 2007
  
  

• Jeff Z. Pan, Ian Horrocks - RDFS(FA) and RDF MT: Two Semantics for RDFS. In International Semantic Web Conference pp. 30-46, 2003.(URL) (Bibtex)
  Author : Jeff Z. Pan, Ian Horrocks
  Title : RDFS(FA) and RDF MT: Two Semantics for RDFS
  In : International Semantic Web Conference -
  Address :
  Date : 2003
  
  

• Jos de Bruijn, Stijn Heymans - RDF and Logic: Reasoning and Extension. In DEXA Workshops pp. 460-464, 2007. (Bibtex)
  Author : Jos de Bruijn, Stijn Heymans
  Title : RDF and Logic: Reasoning and Extension
  In : DEXA Workshops -
  Address :
  Date : 2007
  
  

• Claudio Gutiérrez, Carlos A. Hurtado, Alberto O. Mendelzon - Foundations of Semantic Web Databases. In PODS pp. 95-106, 2004.[Topic: RDF] (Bibtex)
  Author : Claudio Gutiérrez, Carlos A. Hurtado, Alberto O. Mendelzon
  Title : Foundations of Semantic Web Databases
  In : PODS -
  Address :
  Date : 2004
  
  

• Jos de Bruijn, Enrico Franconi, Sergio Tessaris - Logical reconstruction of normative RDF. In International Workshop on OWL: Experiences and Directions ( OWLED 2005), Galway, Ireland , 2005.(Pdf) (Bibtex)
  Author : Jos de Bruijn, Enrico Franconi, Sergio Tessaris
  Title : Logical reconstruction of normative RDF
  In : International Workshop on OWL: Experiences and Directions ( OWLED 2005), Galway, Ireland -
  Address :
  Date : 2005
  
  

• Sergio Muñoz, Jorge Pérez, Claudio Gutiérrez - Minimal Deductive Systems for RDF. In ESWC pp. 53-67, 2007.(Pdf) (URL) (Bibtex)
  Author : Sergio Muñoz, Jorge Pérez, Claudio Gutiérrez
  Title : Minimal Deductive Systems for RDF
  In : ESWC -
  Address :
  Date : 2007
  
  

Session 2: OWL 1 Full Semantics

Slides:

References

• Peter F. Patel-Schneider, Patrick Hayes and Ian Horrocks. OWL Web Ontology Language, Semantics and Abstract Syntax, Section 5. RDF-Compatible Model-Theoretic Semantics. W3C Recommendation, 2004
• Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen - From SHIQ and RDF to OWL: the making of a Web Ontology Language. In J. Web Sem. 1(1):7-26, 2003.(URL) (Bibtex)
  Author : Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
  Title : From SHIQ and RDF to OWL: the making of a Web Ontology Language
  In : J. Web Sem. -
  Address :
  Date : 2003
  
  

Advanced Reading

• Ian Horrocks, Ulrike Sattler - A Tableaux Decision Procedure for SHOIQ. In IJCAI pp. 448-453, 2005.(URL) (Bibtex)
  Author : Ian Horrocks, Ulrike Sattler
  Title : A Tableaux Decision Procedure for SHOIQ
  In : IJCAI -
  Address :
  Date : 2005
  
  

• Turner, David; Carroll, Jeremy J. Comparing OWL Semantics. Technical Reports HPL-2007-146. HP Lab, 2007. URL
• Carroll, Jeremy; Turner, Dave. The Consistency of OWL Full. Technical Reports HPL-2008-58 . HP Lab, 2008. URL

Session 3: OWL 2 FULL Semantics

Slides: (TBA)

• References
  • Bijan Parsia and Peter F. Patel-Schneider. OWL 2 Web Ontology Language Primer. W3C OWL Working Group editor's draft (URL), as of Sept 10, 2008
  • Ian Horrocks, Oliver Kutz, Ulrike Sattler - The Even More Irresistible SROIQ. In KR pp. 57-67, 2006.(URL) (Bibtex)
    Author : Ian Horrocks, Oliver Kutz, Ulrike Sattler
    Title : The Even More Irresistible SROIQ
    In : KR -
    Address :
    Date : 2006
    
    

Sign up

• Ankesh Khandelwal
• Shangguan
• Jesse Weaver
• Jiao Tao

Annoucements

• 0000000088 ([OWL,Tutorial] Updated slides on RDFS Plus and OWL Full semantics, sent on 15 September 2008 05:15)
• 0000000072 (OWL Full Semantics tutorial on Thursday 3-4pm, sent on 10 September 2008 03:26)
• 0000000052 ([Tutorial, RDF] RDF Semantics, sent on 4 September 2008 19:54)
• 0000000050 (Re: RDF and OWL Semantics presentations, sent on 3 September 2008 18:36)
• 0000000045 (RDF and OWL Semantics presentations, sent on 27 August 2008 23:37)