Template Expander

The Template Expander is loaded with the initial set of templates defined in the current working draft of ISO 15926-7.

The Template Expander is developed by Martin Giese, University of Oslo, and DNV IRM and is available free of charge. The source code is found in the PCA repository.

The Template Expander takes as input a set of Prover9 syntax formulae, which define the templates, and a formula to be expanded, representing instances. Expansion is carried out until no further axiom is applicable. Correctly defined templates yield output using only ISO 15926-2 entity types.

This browser does not have a Java Plug-in.
Get the latest Java Plug-in here.