OWL DL

• The Description Logic SHION(Dn) (plus a bit)

  • A decidable subset of FOL (and of OWL Full)
  • Metalogical terms
    • Sound
    • Complete
    • Decidable (has a decision procedure)
      • Semi-decidable: every yes question answering terminates
  • High complexity (NExpTime, ExpTime for major subsets)
  • “Practical”, highly optimized algorithms
  • Several implementations and lots of experience
  • Strong user, theory, implementor communities
  • A more traditional FOL fragment

Notes: