ΠΜΣ 509 Τεχνολογία Γνώσεων (Knowledge Technologies) 

Fall  2014-2015
 






1. Introduction to the Semantic Web and Linked Data. Slides (up to p.69)

2. Introduction to the Semantic Web and Linked Data (cont'd)

    Introduction to RDF. Slides

3. Introduction to the RDF Schema. Slides

4. Lists and Reification. Slides

5. Introduction to SPARQL (part 1). Slides
   
SPARQL Formalization (Arenas et al.). Slides

6. Introduction to SPARQL (part 2). Slides

7. Data Models and Query Languages for Linked Geospatial Data. Slides

8. Introduction to Description Logics. Slides (up to p.54)

9. Introduction to Description Logics. (cont'd)

    Introduction to OWL. Slides

10. Introduction to Propositional Logic and First-Order Logic.

11:  Tableaux techniques [1spp] [2spp]

       Ontologies and Rules. Readings:

  • Chapter 6 of the book "Foundations of Semantic Web Technologies" by Pascal Hitzler, Markus Krötzsch and Sebastian Rudolph. [link]
  • The slides from the ESWC09 tutorial on OWL 2 Rules [link]
  • The papers:
    • The survey "Ontologies and rules" [link]
    • The DL-safe rules paper "Query Answering for OWL-DL with Rules" [link]
    • The DL rules paper "*Description Logic Rules" [link]
    • The survey "Rules and Ontologies for the Semantic Web", optional. [link]
  • SWRL Specification [link]
  • Paper on DL-Safe SWRL rules and how they are implemented by Hermit and Pellet reasoners. "A Syntax for Rules in OWL 2" [link]