Skip to content

AMIE 3
Compare
Choose a tag to compare
@lajus lajus released this 12 Dec 11:09
· 1 commit to milestone-intKB since this release
3.0
85de416

AMIE 3

This release contains AMIE 3, using an integer in-memory database.

It contains the optimizations:

  • Laziness: /!\ Not on by default, use "-bias lazy".
  • Variable order: head variable by default, see "-vo" option.
  • Existential Detection.
Assets 3
Loading