Discussion space for topics related to built-in and/or custom reasoning & inference aspects of Virtuoso.