Outline for SADL/Semantics Workshop

1. Setting up a SADL-IDE environment (Session 1)
   • Install Eclipse 3.6 or later
   • Add SADL V2 from Sadl Update Site (see instructions)
   • Check out and exercise SADL test models from SourceForge
   • SADL basics
     • Language syntax  (see the SADL Quick Reference Guide)
     • Content completion proposals (what can I say?)
     • Known bugs/limitations and workarounds
2. Semantic Modeling Using SADL
   • Foundational Concepts (Session 2)
     • Classes, sub-classes, super-classes, and instances
     • Properties
     • Triples
     • Domain and range of a property
     • The t-box and the a-box
     • Sub-properties
   • Beyond the Basics (Session 3)
     • Properties revisited
     • Refining class definitions with restrictions
     • Necessary and sufficient conditions
     • Reification
     • Principles of classification: Firstness, Secondness (Roles), and Thirdness (beyond binary relationships)
     • Namespaces, modularity, and using import to layer ontologies (examples from Aviation)
     • Annotations
     • Bnodes and local subgraphs
   • Reasoning, Rules, and Model Information Retrieval (Session 4)
     • SADL Version 2 common graph pattern syntax for rules, queries, and tests
     • Adding rules to express domain knowledge
     • SPARQL graph query language (including ARQ extensions)
     • Preferences: derivation level, reasoner specification, etc.
     • Understanding OWL reasoning
       • Open world assumption and monotonicity
       • Flavors of OWL
       • Jena Rules Engine, Pellet DL Reasoner
       • DL-safe rules
       • Negation
     • Default values
3. Advanced SADL and semantic topics
   • Tests and test suites
   • Ask keyword
   • Explain keyword
   • Print keyword
   • When a rule doesn't fire (and you thought it should have...)
   • Generating SADL rule sets from Lookup Tables--when and how
   • Built-ins for use in rules
     • Jena-provided built-ins (see http://jena.sourceforge.net/inference/index.html#RULEbuiltins)
     • SADL built-ins (**TODO** link to SadlBuiltins.html)
       • getInstance
       • getDataValue
       • noValue
       • noValuesOtherThan
       • update
     • Creating and registering your own built-in functions
   • OWL repositories: RDF/XML, N-triple, RDB (Jena)
   • Importing OWL models into SADL
   • OWL, UML, and MOF (optional)
   • Model granularity: a largely unsolved problem
   • Alignment of/mapping between multiple ontologies
   • What's coming: OWL 2 versus OWL 1