vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-10-19 15:43:52 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update sumo2.md

Browse source
This commit is contained in:
Dmitry 2026-10-14 23:02:52 +03:00 • committed by GitHub
parent b24290c118
commit 3fe5cef100
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

17
LD2/OWL/class3/sumo2.md
View file

@ -41,7 +41,8 @@ Relation — это математическое или логическое о
## 1.1
В официальной спецификации онтологии SUMO (Suggested Upper Merged Ontology) эти понятия имеют строго определенные имена на английском языке. Термин «Set or Class» (Множество или Класс) является наиболее точным, так как в SUMO класс SetOrClass объединяет эти две категории.
В официальной спецификации онтологии SUMO (Suggested Upper Merged Ontology) эти понятия имеют строго определенные имена на английском языке.
Термин «Set or Class» (Множество или Класс) является наиболее точным, так как в SUMO класс SetOrClass объединяет эти две категории.
Ниже приведено детальное руководство по этим пяти фундаментальным абстрактным понятиям.
1. Официальные названия и иерархия (Hierarchy)
@ -122,14 +123,14 @@ Entity
|Категория | Как задается в коде SUO-KIF | Главная суть | Зависит ли от контекста/времени? |
| ---| --- | --- | --- |
Quantity (instance 5 Number) Сколько / Каков размер Нет, математическая константа
Proposition (holds ...) или константная схема Смысл факта (Истина/Ложь) Нет, само суждение вечно, меняется лишь его истинность
Attribute (attribute John Smart) Качественная черта Да, объект может приобрести/потерять атрибут
Relation (instance parent Predicate) Правило связи объектов Нет, само отношение как математический объект неизменно
Class (instance John Human) Тип/Категория на основе сути Нет, правила включения в класс фиксированы
Set (element X MySet) Конкретная группа элементов Да, состав множества жестко задает его идентичность
|Quantity | (instance 5 Number) | Сколько / Каков размер | Нет, математическая константа |
|Proposition | (holds ...) или константная схема | Смысл факта (Истина/Ложь) | Нет, само суждение вечно, меняется лишь его истинность |
|Attribute | (attribute John Smart) | Качественная черта | Да, объект может приобрести/потерять атрибут |
|Relation | (instance parent Predicate) | Правило связи объектов | Нет, само отношение как математический объект неизменно |
|Class | (instance John Human) | Тип/Категория на основе сути | Нет, правила включения в класс фиксированы |
|Set | (element X MySet) | Конкретная группа элементов | Да, состав множества жестко задает его идентичность |
Официальную документацию и исходный код этих категорий можно изучить в репозитории SUMO на GitHub или на официальном сайте Ontology Portal.
Официальную документацию и исходный код этих категорий можно изучить в репозитории SUMO на GitHub или на официальном сайте Ontology Portal.
Если вы хотите углубиться в практику, скажите:
- Нужно ли показать синтаксис SUO-KIF для описания связей между этими категориями (например, как Relation связывает Entity и Attribute)?
- Интересует ли вас, как эти абстрактные классы используются при логическом выводе (reasoning) в системах ИИ?