Part II: OWL - Foundations of Semantic Web Technologies

More documents

Recommendations

Info

Main References – Textbooks Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure, Semantic Web – Grundlagen. Springer, 2008. http://www.semantic-web-grundlagen.de/ (In German.) (Does not cover OWL 2.) Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009. http://www.semantic-web-book.org/wiki/FOST (Ask for a flyer from us.) 64
Further References DL complexity calculator: http://www.cs.man.ac.uk/~ezolin/dl/ Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Description Logic Rules. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, eds.: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), pp. 80– 84. IOS Press 2008. Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, ELP: Tractable Rules for OWL 2. In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664. 65
Page 1 and 2:
Semantic Web Modelling Languages (P
Page 3 and 4:
OWL - Overview Web Ontology Languag
Page 5 and 6:
References - Textbooks Pascal Hitzl
Page 7 and 8:
Contents OWL - Basic Ideas OWL As t
Page 9 and 10:
OWL Building Blocks individuals (wr
Page 11 and 12:
DL syntax RDFS syntax Person(mary)
Page 13 and 14: Class constructors conjunction Moth
Page 15 and 16: Contents OWL - Basic Ideas OWL As t
Page 17 and 18: Understanding SROIQ(D) ALC + role c
Page 19 and 20: Understanding SROIQ(D) I - inverse
Page 21 and 22: Understanding SROIQ(D) (D) - dataty
Page 23 and 24: Understanding SROIQ(D) further expr
Page 25 and 26: Some Syntactic Sugar in OWL This ap
Page 27 and 28: OWL - Extralogical Features OWL ont
Page 29 and 30: The RDFS perspective RDFS semantics
Page 31 and 32: Contents OWL - Basic Ideas OWL As t
Page 33 and 34: Expressivity Examples: Rules in OWL
Page 35 and 36: OWL Semantics There are two semanti
Page 37 and 38: OWL Direct Semantics: Restrictions
Page 39 and 40: OWL Direct Semantics model-theoreti
Page 41 and 42: OWL Direct Semantics via FOL but of
Page 43 and 44: OWL Profiles OWL Full - using the R
Page 45 and 46: OWL 2 RL motivated by the question:
Page 47 and 48: OWL 2 QL motivated by the question:
Page 49 and 50: Proof Theory Traditionally using ta
Page 51 and 52: DL Tableaux Termination Problem TBo
Page 53 and 54: Blocking (in ALC) y is blocked (by
Page 55 and 56: ALC Tableau Example TBox: ¬C t ∀
Page 57 and 58: OWL tools (incomplete listing) Reas
Page 59 and 60: Some Current Research Questions Int
Page 61 and 62: Suggestions for OWL? Annual Worksho
Page 63: Main References W3C OWL Working Gro
show all

Part II: OWL - Foundations of Semantic Web Technologies

Create successful ePaper yourself

Delete template?

Save as template?