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

       www.reengineeringllc.com/demo_agents/ISO-15962p2-v1.agent

To change or run the example, please go to www.reengineeringllc.com, 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 www.reengineeringllc.com    Shared use is free

Adrian Walker
Reengineering