Reasoning about an ISO standard

Hi All --

The ISO15926 standard is used for industrial automation systems and
integration -- integration of life-cycle data for process plants including
oil and gas production facilities.

There is an example of reasoning over part 2 of the standard that one can
view, change and run.

To view the example, please go to

To change or run the example, please go to, click
on Internet Business Logic, on GO, and then select ISO-15962p2-v1 .

You are most welcome to add further rules that reason about the ontology.

Thanks for comments,                -- Adrian

Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at    Shared use is free

Adrian Walker

Received on Sunday, 25 March 2007 16:41:19 UTC