Changed T-Box to A-Box so that substituted meta-model concepts are specified in Properties file "DomainMetaModelABoxEntities.properties", searched for in root of classpath.
Starting to implement small example of reasoner distinguishing between OK and not OK Object.property = value combos.
Get Pellet to recognize simple Slot Value type conflict.