Towards summarizing knowledge: Brief ontologies
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
This presentation describes the functionality of the RacerPro OWL reasoner. Then, in order to demonstrate the power of Lisp technology through available software components, it describes the architecture of RacerPro in terms of its main components, as well as in its use of specific Common Lisp concepts such as, e.g., 'closure's for backtracking in the core reasoner, 'advise' for RacerPro-specific tracing facilities, and compiler-specific tail-call optimizations for saving stack space. Next, the core data structures used in the implementation are investigated to suggest possibilities for extensions to Common Lisp that could help in making Lisp the first choice for reasoner implementation. The conclusion evaluates current deployment possibilities for commercial Lisp-based applications.