Preliminary Schedule

14:00-14:30 Overview of the logic standards underlying OWL and RIF (Matthias Knorr)
14:30-15:10 Rules expressible in OWL (David Carral)
15:10-15:30 Nominal schemas (David Carral)

15:30-16:00 Coffee Break

16:00-16:10 Showcase of a Protege plugin beta to translate rules into DL axioms (David Carral)
16:10-16:30 Implementation of nominal schemas for OWL EL (David Carral)
16:30-17:30 Non-monotonic extensions (Matthias Knorr)