Integration of the TPTPWorld into SigmaKEE
Abstract
This talk describes the integration of the ATP support
of the TPTPWorld into the Sigma Knowledge Engineering Environment.
The result is an interactive knowledge based reasoning environment, with
strong knowledge management features, and access to modern state of
the art ATP systems for reasoning over knowledge bases.