About

CKRew (CKR datalog rewriter) provides a datalog translation of OWL2-RL based CKR and supports reasoning with global defeasible axioms (or justifiable exceptions). CKRew is implemented as an extension of the DL to datalog rewriter DReW and provides a command line utility for the translation of CKRs represented as RDF/TRIG files.

Features

  • CKR expressible in OWL2-RL
  • Input as N3 or TRIG files.
  • Datalog translation based on DReW rewriter.
  • Permits expression of defeasible global axioms (OWL axioms annotated with ckr:defeasible).
  • Available demo examples to show behaviour with non-monotonic axiom propagation.
  • Available testsets for scalability and defeasibility evaluation tests.

News

  • 2016-12-07: CKRew 1.4 package released
  • 2015-12-14: CKRew 1.3 package released
  • 2015-11-11: CKRew site launched

Back to top

Last Published: 2016/12/07.

Reflow Maven skin by Andrius Velykis.

Data and Knowledge Management tools