Трансляция в ЛПП вместо OWL. ОЕЯ БД Проба надо транслировать в ЛПП(мо). Можно также сделать ACE 2 FOL и сравнить. При трансляции CNL 2 FOL в низлежащей теории sample будет задан как унарный предикат и "P11 is a sample." должно легко странслироваться в "sample(P11)":-)
28.12.13
а) Колонка КРЯ переименована в ОРЯ и добавлена колонка КРЯ.
б) Термины "статья" и "публикация" сделаны синонимами. В реале это не так - статью сначала пишут, а потом публикуют. Так что публикация это опубликованная статья. И по хорошему термин "статья" из текста отчёта следует вывести.
<далее текст идёт в хронологическом порядке>
22.09.12 Решено добавить русские версии высказываний и посмотреть на их примере вид предложений ОРЯ (КРЯ). При этом предполагается вручную преобразовать их в высказывания формальной аксиоматической теории.
23.12.13 Обнаружено что группа высказываний о концентрации (5 штук) может быть сведена к одному!
А именно вместо:
достаточно
A weight_percent_content$dic of the substance$dic U469812 is 73.95.
Это связано с изначальной трактовкой вещества (substance) как части материи с определёнными свойствами расположенной в том или ином образце. Таким образом weight_percent_content присущ этой части "по определению" в виде атрибута.
NB. Это изменение не отражено в скриптах, что конечно следует сделать прежде чем работать с ними.
24.12.13 в таблицы высказываний добавлена колонка FOL.
Статья считается структурированным данным, а публикация частью материального тела с которого, если действовать определённым образом статью (данные) можно считать;-)
Формализация:
статья(B5633).
название(B5633,"A CONTRIBUTION TO THE GEOLOGY OF THE KERLINGARFJELL").
∀x:body номер_журнала(x) → (название_журнала(x,"ACTA NAT. ISLAND.") ∧ год_издания(x,1946) ∧ номер_выпуска(x,"1(2)") → read(x,"1-15")=B5633).
Где,
- B5633 - переменная сорта data.
- статья - унарный предикат с аргументом сорта data, выясняющий является ли данное данное статьёй.
- x:body означает что переменная x имеет сорт body, т.е. физическое тело, обычно твёрдое.
- номер_журнала - унарный предикат с аргументом сорта body. Для любого физического тела можно выяснить является ли оно номером журнала:-)
- название(data,String), название_журнала(body,String), номер_выпуска(body,String) - бинарные предикаты.
- год_издания - бинарный предикат, первый аргумент имеет сорт body, второй - Number.
- read - функция от двух аргументов: первый сорта body (физическое тело с которого нужно считать данные), второй - String (какую часть тела читать - "адресация"). Возвращаемое значение имеет сорт data.