Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

2019 August 26

AL

Anatoly Levenchuk in Типы в языках программирования, моделирования, представления знаний и жизни
Кстати, NIST проверял валидность выдачи и чтения .15926 на этих тестах, вручную ))) Потом мы знаем, что наш редактор использовался в разных фирмах (например, Bentley) для проверки правильности генерации данных ISO15926. Если наш .15926 такие данные читает, значит они правильны )))
источник

AL

Anatoly Levenchuk in Типы в языках программирования, моделирования, представления знаний и жизни
Alex Ivanov
У нас сейчас идея-фикс (в стадии проверки на прототипе), что уровня RDF + SHACL валидация + кастомные машины вывода — этого достаточно для задач такого класса )))
"такого класса" — какого класса? При этом учитываем, что в "класс задач" входит размер по самым разным линиям: от объема данных до количества разных схем данных, которые нужно федерировать.
источник

VK

Val Krylov in Типы в языках программирования, моделирования, представления знаний и жизни
Alex Ivanov
Это да, но никто не мешает надстраивать на уровне RDF или OWL дополнительные машины вывода разной степени мощности, вплоть до HOL
И получится "каша из топора", потому что RDF+OWL в этом случае лишние. ;)
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
это я тут решил соорудить битемпоральную БД для инвентарки а-ля Airtable, и неспешно интересуюсь, стоит ли оглядываться на стандарты, или можно смело велосипедить
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
точнее, не только для инвентарки, скорее «для кейсов вроде Airtable, только с честной битемпоральностью»
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
и ещё с честным мультимастером/офф-лайн работой, но это уже другой вопрос
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
ибо airtable прекрасен но не хватает этих двух вещей
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
а грабли с UI они пособирали и за это им большое спасибо
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
это я тут решил соорудить битемпоральную БД для инвентарки а-ля Airtable, и неспешно интересуюсь, стоит ли оглядываться на стандарты, или можно смело велосипедить
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
))
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
а вообще да
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
datomic туда же
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Что-то мне кажется, что в тех объёмах "разработки", в которых применимы Airtable/Notion/Coda битемпоралка не пригодится... С другой стороны, я с ними мало знаком, а с Airtable так и вообще не знаком...
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
хз, народ оч активно в AT городит ее руками
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
в coda в теории проще, на практике UI хуже и людям сложнее с ней работать
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Ну и если нужна дружелюбность к пользователю, то на стандарты в этой области (RDF/OWL, что ещё-то?) точно лучше забить! 😂
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
notion нууу штука клевая но не про то совсем имхо
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
хз, народ оч активно в AT городит ее руками
А чего это люди такого в AT делают? Я как-то вообще не в курсе... 😊
источник

VK

Val Krylov in Типы в языках программирования, моделирования, представления знаний и жизни
Вообще, для представления знаний за пределами микротеорий требуется возможность дописывать типы. Которая, внезапно, из коробки есть только в SQL, и на практике используется для интеграции между разными системами. Пример:
Система X хранит свои данные в таблице и ничего не знает о системе Y. Система Y дописывает в таблицу поля created_at и updated_at, а также правила работы с ними. Работа системы X не меняется, но система Y периодически поллит таблицу, чем достигается интеграция. Решения вроде "а давайте допишем ещё одну property в RDF" в данном случае непригодны.
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
хотя надо глянуть, мож сейчас у них бд-часть получше
источник