Труды КНЦ вып.8 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2017(8))

других ресурсов в данной области исключается. Во втором случае подобного ограничения нет. Ram с Res хАгеа - отношение «доступен для исключительного исполь­ зования в». Rat с Res хАгеа — отношение «доступен для неисключительного исполь­ зования в». В соответствии с приведенными определениями, отношения образуют иерархию с корневым объектом в виде множества Rel, в пределах которой справедливы следующие соотношения: SS с Rel, SA с Rel, SR с Rel, ААк с Rel, AS с Rel, AR с Rel, RR с Rel, RS с Rel, RA с Rel, SSa с SS, SSr с SS, SAu с SA, SAum с SAu, SAut cSAu, SApcz SA, SApm с SAp, SAp t^SAp , SR u ^SR , SRum ^SRu , SRu t^SRu , SRp с SR, SRpmcSRp, SRpt с SRp, ASu с AS, ASum с ASu, ASut с ASu, ASr с AS, ASrm с ASr, ASrt с ASr, RRm с RR, RRt с RR, RSu cr IIS, RSum с RSu, RSut ciRSu, RSr с г RS, RSrm cr RSr, RSrt cr RSr, RAm RA. RAt cr RA. Таким образом, полученная КМПО представляет собой логическую систему, обеспечивающую возможность вывода заключений на основе имею­ щихся фактов. В табл. представлены свойства определенных в КМПО отношений, потенциально значимые в контексте процедур логического вывода. Свойства отношений № Отно­ шение Тран- зитив ность Сим­ метрич­ ность Реф­ лексив­ ность № Отно­ шение Тран­ зитив­ ность Сим­ метрич­ ность Реф­ лексив­ ность 1 SS - - - 21 ASum - - - 2 SSa + - - 22 ASut - - - 3 SSr + - - 23 ASr - - - 4 SA - - - 24 ASrm - - - 5 SAu - - - 25 ASrt - - - 6 SAum - - - 26 AR - - - 7 SAut - - - 27 RR - - + 8 Sap - - - 28 RRm - - - 9 SApm - - - 29 RRt - - + 10 SApt - - - 30 RS - + - 11 SR - - - 31 RSu - - - 12 SRu - - - 32 RSum - - - 13 SRum - - - 33 RSut - - - 14 SRut - - - 34 RSr - - - 15 SRp - - - 35 RSrm - - - 16 SRpm - - - 36 RSrt - - - 17 SRt - - - 37 RA - - - 18 AAk - - + 38 RAm - - - 19 AS - - - 39 RAt - - + 20 ASu - - - 86