Semantic Additions to Conceptual Programming

New semantic additions have been incorporated into the Conceptional Programming environment, CP, developed by the Knowledge Systems Group in the Computing Research Laboratory (CRL) at New Mexico State University. These semantic additions are 1) subgraph removal from ’definitions’ for perfect matches to ’facts’ and 2) feasibility constraints on the individualized concepts referenced in a graph. These additions address the need for reducing the number of joins between related graphs and for ’type checking’ concepts referenced in the graphs produced from such joins.