A new version of Racer is available now as RacerPro-1.9.2-beta. This version requires a beta
tester license, which can be obtained from www.racer-systems.com. The new version contains
the following improvements
- Performance improvements for the reasoning engine. For instance, RacerPro 1.9.2
can classify a version of Snomed (> 379000 concept names) in 13 minutes (Intel
x86, 32bit, 2.4 GHz, 4GB, Mac OS X). It can also handle Aboxes with hundreds of
thousands of individuals (see below for results on LUBM and UOBM) benchmarks.
- Performance improvements for reading OWL files
- Support for specific locales and external formats (e.g., for Asian character sets)
- New graphical interface (RacerPorter) for managing multiple RacerPro servers
- Enhancement to the nRQL query language
- Support for reasoning with triples stored in an AllegroGraph triple store
- Bug fixes
In addition to these improvements there are some other new features supported with version
1.9.2-beta.
- Namespaces as found in XML files can be declared to Racer as in (define-prefix
lubm "http://www.lehigh.edu/univ-bench.owl#"). Then, LUBM concept, role
and individual names can be referred to with #!lubm: as in #!lubm:Person.
Querying OWL KBs with nRQL is much more convenient using prefixes. The
#!: prefix macro can be used to abbreviate the last namespace declared with
define-prefix. So, if lubm is declared last, #!lubm:Person can be written as
#!:Person.
- Syntax support for OWL 1.1: RacerPro can load ontologies specified in OWL 1.1
format. The axioms beyond
(
n) are ignored or approximated in this beta
version.
- Rule formalism extended to support abduction
- Event recognition facility
- Extensions to DIG 1.1 (called DIG 1.2)
- Support for some non-standard inference services (LCS, MSC-k)
These new features are shortly described in the next sections.