LillyTab / News: Recent posts

This is a minor release with few bugfixes and features:

• new Stringer (toString framework) in cutil to enable custom element printers
  (useful to demangle autogenerated ontology IRIs)
• Visitor patterns for LillyTab's term storage
• OWLAPI loader improvements for datatypes
• improved clash culprit tracking and improved dependency directed backtracking
• initial (unoptimized) version of classification code to build concept trees.
• TBox generation counting to speed up ontology load times
• RBox and RABox cleanup

LillyTab v1.10 has been released

• introduced support for incremental reasoning
  Reasoning after ABoxes changes only considered
  modified nodes, significantly speeding up common
  operations after the first consistency check for
  an initial ABox
• bugfixes for datatype support
• initial work at storing ABoxes back to OWLAPI
  (fully implemented only for SWRL rules, for now)

LillyTab 1.9 has been released.

• tableau cleanup, stay closer to the original tableau description
• remove buggy support for inverse roles

LillyTab 1.8 has been released.

• datatype/individual nodes are now separated, as they are in the OWLAPI
• fix a bug, that if a role and a subrole successor where both asserted,
  the successor would be returned twice by getSuccessors() and getSucessorsNodes()
• a variety of other bugfixes

Supported logic remains at SHOIF(D)

LillyTab 1.7 has been released.

This is mainly a bugfix release without any significantly new features.

• build system has been switched over to maven
• fix a bug in RABox where certain combinations of asserted roles with role hierarchies could lead to successors being listed multiple times.

LillyTab R3 has been uploaded into subversion and to the download section.

Apart from the usual bug fixes, the following new features have been added:

• Support for functional roles
• Initial support for datatype nodes in ABoxNode
  (no data range storing and checking, yet)
• Support for immutable ontology objects has been added

Additionally, some code parts (blocking) have been made more modular and javadoc has been extended and updated .