SCM Model Definition in the Knowledge Base

The example knowledge base consists of two root application domains: “General” and “Production”. Each of them consists of several nested application domains. The first one contains general concepts and their connections that are typical for any applied application domain. The second application domain contains production model definition. Below, content of each application domain is presented after an application domain document name. See SCM knowledge base definition for details about its structure. Also see the appropriate SCM model in textual notation.

General\Physical Object.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<concept name="Physical Object"/>

<concept name="Moment"/>

</scm>

General\Physical Object\Chemical Composition.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Physical Object</conceptimp>

</import>

<concept name="Carbon Concentration"/>

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Carbon Concentration</conceptref>

</connection>

</scm>

General\Physical Object\Geometry.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Physical Object</conceptimp>

</import>

<concept name="Thickness"/>

<concept name="Width"/>

<concept name="Space Position"/>

<!-- Connection without any attribute is functional if there is one or

several determinants, and else has no constraint -->

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Thickness</conceptref>

</connection>

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Width</conceptref>

</connection>

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Space Position</conceptref>

</connection>

</scm>

General\Physical Object\Gravity.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Physical Object</conceptimp>

</import>

<concept name="Mass"/>

<concept name="Weight"/>

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Mass</conceptref>

</connection>

<connection>

<conceptref determinant="true">Physical Object</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Weight</conceptref>

</connection>

</scm>

Production\Commercial Order.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Gravity.Mass</conceptimp>

<conceptimp>General.Physical Object.Moment</conceptimp>

</import>

<concept name="Commercial Order"/>

<concept name="Optimal Mass"/>

<concept name="Optimal Date"/>

<connection>

<conceptref mandatory="true" determinant="true">Commercial Order</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Optimal Mass</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Commercial Order</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Optimal Date</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Optimal Mass</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Mass</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Optimal Date</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref mandatory="true">Moment</conceptref>

</connection>

</scm>

Production\Material Unit.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Geometry.Thickness</conceptimp>

<conceptimp>General.Physical Object.Geometry.Width</conceptimp>

<conceptimp>General.Physical Object.Gravity.Mass</conceptimp>

<conceptimp>Production.Commercial Order.Commercial Order</conceptimp>

<conceptimp>Production.Production Division.Production Unit</conceptimp>

</import>

<concept name="Material Unit"/>

<concept name="Producing Production Unit"/>

<concept name="Consuming Production Unit"/>

<concept name="Material Unit State"/>

<connection>

<conceptref mandatory="true" determinant="true">Material Unit</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Thickness</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Material Unit</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Width</conceptref>

</connection>

<connection>

<conceptref determinant="true">Material Unit</conceptref>

<copula>can be assigned to</copula>

<rcopula>has assigned</rcopula>

<conceptref>Commercial Order</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Material Unit</conceptref>

<copula>is produced at</copula>

<rcopula>produced</rcopula>

<conceptref>Producing Production Unit</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Material Unit</conceptref>

<copula>has</copula>

<rcopula>chracterizes</rcopula>

<conceptref>Material Unit State</conceptref>

</connection>

<connection>

<conceptref determinant="true">Material Unit</conceptref>

<copula>is consumed at</copula>

<rcopula>consumed</rcopula>

<conceptref>Consuming Production Unit</conceptref>

</connection>

<!-- Biequivalent connection cannot have other attributes and determinant

concept references -->

<connection biequivalent="true">

<conceptref mandatory="true">Producing Production Unit</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Production Unit</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Consuming Production Unit</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Production Unit</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Material Unit</conceptref>

<copula>has</copula>

<rcopula>chracterizes</rcopula>

<conceptref>Mass</conceptref>

</connection>

</scm>

Production\Production Division.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<concept name="Production Unit"/>

<concept name="Production Division"/>

<concept name="Subordinate Production Division"/>

<concept name="Higher Production Division"/>

<concept name="Full Name"/>

<concept name="Average Capacity"/>

<connection biequivalent="true">

<conceptref mandatory="true">Production Unit</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Production Division</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Subordinate Production Division</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref mandatory="true">Production Division</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Higher Production Division</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Production Division</conceptref>

</connection>

<connection>

<conceptref determinant="true">Subordinate Production Division</conceptref>

<copula>is nested to</copula>

<rcopula>has</rcopula>

<conceptref mandatory="true">Higher Production Division</conceptref>

</connection>

<connection equivalent="true">

<conceptref mandatory="true" determinant="true">Production Division</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Full Name</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Production Unit</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Average Capacity</conceptref>

</connection>

</scm>

Production\Indiscrete.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>General.Physical Object.Gravity.Mass</conceptimp>

<conceptimp>Production.Material Unit.Material Unit</conceptimp>

</import>

<concept name="Consumed Material Unit"/>

<concept name="Produced Material Unit"/>

<concept name="Mass Transition">

<conceptref>Consumed Material Unit</conceptref>

<conceptref>Produced Material Unit</conceptref>

</concept>

<connection>

<conceptref mandatory="true" determinant="true">Mass Transition</conceptref>

<copula>is from</copula>

<rcopula>has outcoming</rcopula>

<conceptref>Consumed Material Unit</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Mass Transition</conceptref>

<copula>is to</copula>

<rcopula>has incoming</rcopula>

<conceptref>Produced Material Unit</conceptref>

</connection>

<connection>

<conceptref determinant="true">Mass Transition</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Mass</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Consumed Material Unit</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Material Unit</conceptref>

</connection>

<connection biequivalent="true">

<conceptref mandatory="true">Produced Material Unit</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Material Unit</conceptref>

</connection>

</scm>

Production\Indiscrete\Metallurgic.scm

<?xml version="1.0" encoding="UTF-8" ?>

<scm>

<import>

<conceptimp>Production.Material Unit.Material Unit</conceptimp>

<conceptimp>General.Physical Object.Chemical Composition.Carbon Concentration</conceptimp>

</import>

<concept name="Slab"/>

<connection biequivalent="true">

<conceptref mandatory="true">Slab</conceptref>

<copula>is</copula>

<rcopula>can be</rcopula>

<conceptref>Material Unit</conceptref>

</connection>

<connection>

<conceptref mandatory="true" determinant="true">Slab</conceptref>

<copula>has</copula>

<rcopula>characterizes</rcopula>

<conceptref>Carbon Concentration</conceptref>

</connection>

</scm>