Direct Semantics

Features

  • compatible with the description logic SROIQ
  • applies to onolotgies that can be expressed in the functional syntax