From f20d80cb48d9ed53c02e84e654c4d3efe1ed3a4c Mon Sep 17 00:00:00 2001 From: Dmitry <121898072+bpmbpm@users.noreply.github.com> Date: Wed, 14 Oct 2026 12:33:48 +0300 Subject: [PATCH] Update ooo1.md --- LD2/ontology/fil/ooo1.md | 49 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/LD2/ontology/fil/ooo1.md b/LD2/ontology/fil/ooo1.md index 13b4eb2c..fdb3fc0b 100644 --- a/LD2/ontology/fil/ooo1.md +++ b/LD2/ontology/fil/ooo1.md @@ -21,3 +21,52 @@ Так что правильнее сказать: ООО *реинтерпретировала* некоторые мотивы из античной философии и развила их в новом контексте, а не просто унаследовала. [```3```](https://www.youtube.com/watch?v=c7tts0HjUgM) +## 2 + +- S is P +- Субъект + Предикат +- Субстанция + Акциденция +- Вещь + Свойства + +Этот ряд показывает, как одна и та же логико-онтологическая связь («нечто обладает некоторым признаком») выражается на разных уровнях — от простейшего суждения до философской и формально-онтологической категоризации. + +## Пояснение по каждой паре + +- **S is P** — логическая формула простого атрибутивного суждения (аристотелевская силлогистика, традиционная логика). Здесь $S$ — субъект суждения, $P$ — предикат: мы приписываем признак предмету мысли. Пример: «Сократ мудр». +- **Субъект + Предикат** — то же самое, но в терминах языка и логики высказываний: то, о чём говорится, и то, что о нём говорится. Это уровень структуры предложения и акта высказывания. +- **Субстанция + Акциденция** — аристотелевско-схоластическая онтология. Субстанция (первая сущность) — то, что существует самостоятельно; акциденция — свойство, которое существует только «в» субстанции и не может быть само по себе. Пример: «человек» как субстанция и «бегущий» как акциденция. +- **Вещь + Свойства** — более повседневный и одновременно предформальный язык онтологии и семантики. «Вещь» здесь — конкретный объект, «свойства» — его характеристики. Это уже близко к тому, как такие связи описывают в современных онтологиях (OWL, SUMO и т. п.). + +--- + +## Продолжение ряда + +Продолжать можно в сторону всё более формализованных и технических представлений этой же связи: + +- **Индивид + Атрибут** — язык баз данных, семантических веб-онтологий и объектно-ориентированного моделирования. «Индивид» (individual) — конкретный экземпляр, «атрибут» — его характеристика (часто с типом и доменом). Пример в RDF/OWL: `:Socrates :hasAge "35"^^xsd:integer`. +- **Экземпляр класса + Значение слота** — терминология фреймовых систем, семантических сетей и некоторых онтологических инструментов. «Слот» — это поле, которое может принимать значения для данного экземпляра. Пример: `(instance Socrates Person)`, `(slot age Socrates 35)`. +- **Entity + Property value** — язык семантического веба (RDF, Turtle). `Entity` — ресурс/объект, `property value` — значение свойства. Пример: + ```turtle + :Socrates :age 35 . + ``` +- **Объект + Поле (Object + Field)** — объектно-ориентированное программирование и моделирование данных. Здесь связь выражается через состояние объекта: у объекта есть поля (атрибуты), которые хранят значения. Пример на JavaScript: + ```js + const socrates = { + name: "Socrates", + age: 35 + }; + ``` + +--- + +## Как это связано с твоими прошлыми задачами по онтологиям + +Учитывая, что ты работал с SUMO, DOLCE, BFO, Turtle и формализацией предикатов, этот ряд особенно полезен: он показывает, как одно и то же отношение (приписывание признака объекту) выглядит на разных уровнях: + +- В **SUMO** ты бы формализовал это через аксиомы: например, `(instance Socrates Human)` и `(attribute Socrates Age 35)` (или через более точные роли и отношения). +- В **DOLCE** важно различать, идёт ли речь о персистентной сущности (персистентный объект) и её качествах/свойствах, или о временных характеристиках (происшествиях). +- В **Turtle** это будет набор триплетов: субъект — предикат — объект. +- В **OWL** — комбинация утверждений об экземплярах, типах и значениях данных свойств (data properties). + +Если скажешь, для какой цели ты продолжаешь ряд (например, чтобы подобрать терминологию для онтологии, объяснить студентам, перевести в код или в диаграмму Mermaid), я предложу конкретный пример в нужном формате — хоть в Turtle, хоть в виде JSON-схемы, хоть как блок-схему. 😊 +