Inverseofproperties (егер. (мәні бар. Береді,), содан кейін

кілт = '2'

+ Мәні. пән + мәні. зат

шығару. (кілтін мәні. предикат) жинау

// Осы т Ол тек сақтау үшін пайдаланылады ережені 4. кодтау 'етпейді

Келесі блок үшін басқа орынға // үштік

transitiveproperties (егер. (мәні бар. береді,), содан кейін

кілт = «3»

+ Мәні. пән + мәні. зат

шығару. (кілтін мәні. предикат) жинау

(кілтін итератора мәндерін) азайту:

қосқышы (басты [0])

іс 0: // ереже 1 және 2-

м ндері = мәндері. бірегей

(құндылықтар құнының) үшін

(құндылықтар Value2) үшін

шығару. sameAs, құндылықтар): (нөл, үш (мәні, үкі жинау

іс 1: // 3-ереже

(құндылықтар құнының) үшін

шығару. (нөл, үш (кілті. нысан, мәні, негізгі. пән) жинау

іс 2: // ереже 8а, 8 б

(құндылықтар құнының) үшін

resource1 = кілт. пән

resource2 = кілт. зат

P = мән

баста:

содан кейін (р = инв inverseof. (б) алу және шығару. (б) жиналған емес), егер

шығару. (нөл, үш (resource2, р инв, resource1) жинау

Айырбас (resource1, resource2)

P = P инв

GOTO бастау

іс 3:

// Тек келесі блок үштіктің жібереді

// (Ереже 4) SP ecial каталогында

(құндылықтар құнының) үшін

шығару. (нөл, үш (пернесін басыңыз. пәні, мәні, пернесін басыңыз. қарсылық)) жинау

Page 59

6.3. Екінші блок: ТРАНЗИТИВНОСТИ қасиеттері

59

Біз бұл жолы дайындады.

Біз осы жұмысты орындаған соң, біз тазалау жұмысқа орындау емес,

олар тиіс кейбір телнұсқаларын өндіре алады, тіпті егер өйткені телнұсқаларын

сирек және олар барлық талдау қажет жұмысқа орындалуын ақтау емес,

бірнеше телнұсқаларын тазалау үшін кіріс. A тазалау тапсырма соңында орындалады

Келесі блок, сондай-ақ осы блокта шығару қарастыру. алгоритм ұсынылды

алгоритімінде 12.

6.3 Екінші блок: өтпелі қасиеттері

Екінші блоктар The қосылу 4. «аңғалдық» жолмен жүзеге асырылады ғана ережені орындайды

біз жадында екі бөліктен жүктеу мүмкін емес болып табылады және қосылуға болады, себебі

жазға.

қосылу тек үштіктің арасындағы үлесін жасалады етіп, ереже кодталған

бір термин. Өтпелі қасиеттері бар үштіктің тізбектері бар болуы мүмкін болғандықтан, бізге қажет

біз одан бәрін алынған қойды дейін, бұл жұмыс бірнеше рет іске қосу үшін. Біз жасаймыз

барлық деректер орнату, бірақ оның орнына арнайы тек мазмұн кіріс ретінде пайдалануға болмайды

алдыңғы жұмыс барысында дайындалды қалта. Бұл қалта ғана қамтиды

деректер шағын ішкі жиындары болып табылады схемасына сәйкес үштіктің.

матч нүктесі ретінде пайдалануға болады негізгі URI идентификаторлары ретінде түрлендіргіш шығу,

бұл кіріс үштіктің нысанасы немесе нысан немесе болып табылады. Құны ретінде түрлендіргіш

Сондай-ақ, екі орынды көрсетеді жалауды қосуды, басқа ресурсты орнатады

үштік ішінде ресурстары.

редукторы құндылықтарды астам Итерация және екі түрлі жиындарда жүктер, оларды,

үштік ішінде олардың жағдайына байланысты. Кейін, екі жиынтығы кейбір болса,

, редуктор түсімдер екі арасындағы барлық құрамаларынан элементтері қайтару

жады орнатады.

Алынған үштіктің сомасы ныстар емес, әзірге Бұл операция қайталанады

енді ды. Бұл ретте біз барлық сүзеді тазалау тапсырмасын іске

алдыңғы атқару барысында жасалған телнұсқаларын. алгоритм

Алгоритм хабарлайды 13.