Program

•  Introduction to Ontology Development in OWL using common Patterns

•  Use cases and approaches to ontologies in OWL (hands on with Protégé-OWL)

•  Open world reasoning, closure axioms, disjointness, equivalence

•  Domain and range constraints and reasoning

•  Standard patterns for common problems: Value partitions disjointness, covering, and untangling.

•  Cardinality restrictions and numerical ranges

•  Quantities and units

•  Debugging DL ontologies

•  What you don't know you don't know

•  Common problems and errors

•  Current limitations of the language, the tools, and the reasoners

•  Meta-modelling: trade-offs for stepping outside the OWL DL boundary

•  Questions, discussion, feedback – an explicit goal of the day is to get further feedback on the new tools to influence their development