Rules

From ONTOLORE

Jump to: navigation, search


OWL-based rules

  • DL Rules - Rules which can be added to many DLs without losing decidability
  • Horn-SHIQ - non-trivial rule-fragment fragment of OWL
  • DLP - trivial logic programming fragment of OWL
  • dlpconvert - KAON2-based converter of rule fragments of OWL
  • Screech - approximate reasoning with OWL using rule-based fragments
  • DL-Safe Rules - decidable rule-extension of OWL
  • ELP - tractable rules extension of description logics

Logic programming-based rules

Other

Personal tools
Navigation