Unit 1: ASP Basics:
-Responsible: Thomas , Axel+Roman (examples)
- Organization: (90min)
- 45, maximum 60 slides (Optimal: 35 slides basics, plus maybe 20 practical examples?)
- Key issues in this part:
- Short intro to the demos and intro (where participants find what!)
- (we should ideally have a tutorial website with the example files, questions and solutionsfor hands-on session and a link to the the Web interface to DLV)
- Basic notions and intuitive semantics of ASP
- How to represent rules, queries, constraints in ASP?
- Distinct features: strong negations and nonmonotonic negation,
- disjunction/non-determinism, constraints.
- Demonstrate the ASP basics and paradigm on familiar semantic Web examples.
- Message to convey: ASP is not Prolog, ASP is problem solutions as models
Roman: Explaining the (historically grown) difference between "ASP" and "Stable Model Semantics" could be quite interesting, since this question comes up often, and its answer is insightful.
- Hands-on Examples: "Webbish" Example suggestions: e.g.
- variations of the reviewer selection example.
- a scheduling problem using iCal RDF data.
- (we could extend the movie example from my scoped negation paper.)
- (some easy things on OWL Wine Ontology - ideas?)
- (TODO: Axel to work out some of these examples, maybe Roman wants to join?)
- Material:
- courses for ASP, knowledge representation, wissensmodellierung: Thomas:
- Modelling, ASP, course (Dresden)
- Declarative Wissensrepraesentation/Wissensverarbeitung (Viena)
Unit 2, ASP Extensions:
-Responsible: GB , Axel+Roman (examples)
- Organization (60min)
- max 30 slides (4 times 7-8 slides)
- Key issues in this part:
- Weak constraints! (5)
- Aggregates: DLV and smodels versions or only DLV? (10)
- Rule templates? (8)
- External function calls (7): Shall we introduce the API to add external functions?
- What about APIs? I think this is important!
- Message to convey: ASP is not Prolog, ASP is problem solutions as models
- Hands-on Examples:
- - Weak constraints can be added easily to the rewiewer selection example. - Aggregates: probably fits nicely with reviewers and also time scheduling examples. - Rule templates: Examples transitive closure, etc. - External functions: Point out usefulness for built-ins in order to implement XML
- datatypes and predicates e.g. the ones allowed in XQuery, demonstrate one or two such examples?
Roman: also dlvhex-API, since it is very powerful (imho).
- Message: Extensions address useful features, especially in querying, etc.
Unit 3, ASP State of the Art and realworld showcases:
-Responsible: GB
- Organization:
- (30 min), max 20 Slides
- Key issues in this part: demonstrate "real world" large use cases!
- WASP showcase
- Security (Trento)
- Information Integration (Infomix, GB)
- (TODO: Who has slides here? check also on WASP Website!)
- No Hands-on Examples in this session
Unit 4: Contribution of ASP to SW:
-Responsible: Axel
Organization: (45 min) max 30 slides
Key aspect: Classify and briefly introduce related appoaches to bring ASP to SW:
- reductions from DL to ASP (Swift; Baral; Motik, Sattler)
- Approaches to mix ASP with SW: (Rosati; Eiter,et al.)
- Maybe also: TRIPLE, Description Logic Programs (Decker; Grosof)
- Maybe also: Conceptual logic programming? (Heymans et al.)
- BTW: Scoped negation could maybe also be a point here, but only briefly...
- No Hands-on Examples in this session
Unit 5a: Semantic Web Extensions part I
- Organization: (45 min) max 30 slides
- Responsible: Roman
- Key aspects:
- dl-programs (syntax, semantics, theory)
- how to import of RDF/OWL files
- Hands-on example: Now or at the end of unit 5?
Unit 5b: Semantic Web Extensions part I
- Organization: (45 min) max 30 slides
- Responsible: Thomas
- Key aspects:
- hex-programs (syntax, semantics, theory)
- how do these generalize dl programs and other features?
- more applications
- Hands-on example: Can we also have hands-on for hex programs or shall we focus on dl-programs only and introduce hex programs only theoretically?
Roman: actually - concerning the web-interface - I am much more in favour of hex-hands-on than dl-programs, because the dl-evaluation site is a slow PHP script, while I trust dlvhex much more. However, since dl-programs can be modeled by hex-programs, we could use dlvhex (and hence the dlvhex web-evaluation) invisibly for both formalisms (I will talk to my code-slave, uh, diploma student and suggest to implement the dl-to-hex rewriter)
Unit 6:
Hands-on: (45 min)
The question is how much hands-on we have already in the previous sessions. Actually, I think we should provide a booklet with exercises+solutions and how to solve them, along with the examples from the previous units here which people can solve in small groups tutored by the presenters.
If we proceed like this: showing examples in front of class only during the previous sessions, and guiding them through only in the end.
- I.e. we present all the examples from the previous sessions plus some small
extensions/questions for the participants to solve
- (solutions to be provided as well on the tutorial webpage)
exact organisation to be discussed!
What's missing?
Actually we should have some things on applications like planning etc as well? Maybe in Unit 3? Difficult to fit this?
Existing slidesets (I will check these in on CVS) and Units where these would fit:
- DL-workshop (Thomas)
- (material could fit into Unit 1, Unit 4, Unit 5
- ASP and equivalences (Thomas), from presentation at DERI Innsbruck.
- (I think this would be nice, but currently I don't know in which unit this whould fit, probably we could fit it into or after the Unit 5, however some of the stuff there can fit into Units 1)
- ICCL Summer School (Thomas)
- (fits into Unit 1 (slidesets 1,3) Unit 2 (slideset 4)
- VO Declarative Wissensverarbeitung (Thomas)
- German, but contains material for units 1,2
- ICLP 05 presentation (Thomas) basically I think thisd material is subsumed by the DL workshop material, yes?
- Talk Axel La Coruna (contains some motivation and discussion on rel works for Unit 4)
- rewerse slides: (Again good slides for units 4 and 5, probably more recent than the DL
- workshop things?)
- Slides WLP06 from Roman: (Again good, recent slides for units 4 and 5)