Description Logics Tutorial, Summer 2008

From Tetherless World Wiki

[edit] General References

• DL References
• DL Handbook (password required)

[edit] Session 2: Tableau Algorithm

Time: Tuesday and Thursday 3-4pm

Slides: Uli Sattler's Slides

• July 10, 2008: Basic notions, NNF, ALC expansion rules, termination
• July 22, 2008: ALC Tableau algorithm with TBox
• July 24, 2008: Tableau algorithm for SHIQ; Pellet
• July 31, 2008: ?

Main references

• Stephan Tobies - Complexity results and practical algorithms for logics in Knowledge Representation. In PhD Thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany , 2001.(Pdf) [PhD Thesis] (Bibtex)
  Author : Stephan Tobies
  Title : Complexity results and practical algorithms for logics in Knowledge Representation
  In : PhD Thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany -
  Address :
  Date : 2001
  

• A short summary of tableau algorithm for ALC and SHOIQ

[edit] Call for Topic of the Final Meeting

[edit] Sign Up List

* Jie Bao (ok except Tue 1:30-2:30)
* Jiao Tao (ok)
* Xixi Luo (ok)
* Greg
* James
* Jin

[edit] Session 1: Basic Description Logics

Slides: Uli Sattler's slides

• June 18, 2008: Basic Description Logics: ALC
• June 24, 2008: Basic Description Logics: Reasoning Tasks
• June 26, 2008: Basic Description Logics: Translating RDFS into DL
• July 01, 2008: Basic Description Logics: TBox and ABox
• July 03, 2008: Basic Description Logics: SHOIQ and OWL

Main references

• Chapter 1 & 2 of Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider - The Description Logic Handbook: Theory, Implementation, and Applications. In , 2003. (Bibtex)
  Author :
  Title : The Description Logic Handbook: Theory, Implementation, and Applications
  In : -
  Address :
  Date : 2003
  

[edit] Video Download and Player Setup

Video Download: http://tw.rpi.edu/internal/dl-tutorial/uli/ (password required)

Windows User: run the player setup .exe file

Linux/Mac User: User Debbie's method:

copy the player_20p4.jar from the interal wiki:
http://tw.rpi.edu/internal/dl-tutorial/uli/
or use the link you gave me below to get the newer jar.


http://212.6.237.220/csc/index.php?id=26&L=1



download the .lpd files from the internal dl-tutorial page.
on firefox, right click the link and do a save link as...
if i click the link, it hangs firefox.

open a terminal window
cd to the directory where you saved the player
on the command line


java -jar player_30.jar


or if you used the one from the wiki


java -jar player_20p4.jar



when the player starts up, go to file and find where you
put the .lpd files.

01_01_introduction.lpd and 02_1.par.lpd do not work.