Семинар "Онтологические проблемы инженерии"
В начале 2013 года (где-нибудь в феврале) хочется провести однодневный семинар "Онтологические проблемы инженерии", пригласив людей из тусовок ISO 15926, логико-философской, Semantic Web, лингвистов. Вот примерные темы (список ни в коем случае не ограничен ими, это только "информация к размышлению"!), которые я бы ожидал там к освещению. Специально публикую их сейчас, чтобы соблазнить подготовить доклады:
-- Базовые онтологии - какие они? (геометрия, форма, мереология, единицы измерения, процессы, но что ещё?)
-- upper онтология, middle предметная терминология, детальные микротеории: как это всё устроено (в том числе разница между онтологиями и терминологиями), чем из них важнее заниматься?
-- онтология предпринятия: workflow и non-workflow подходы, DEMO, предложения Захмана, исследования BORO.
-- онтология системы (система как отождествление функционального и конструктивного физических объектов: споры об онтологической природе system component)
-- онтология методов: практики, процессы, жизненные циклы, кейсы
-- дизайн в классах против дизайна в индивидах, статус каталогов, продуктных линеек, модулей
-- онтологический статус мэппингов (морфизмов), в том числе онтологический статус декларативных и процедурных программ.
-- четырехмерные роли (в развитие работы http://www.matthew-west.org.uk/documents/RolesFOMI2008.pdf).
-- выражение модальностей в ISO 15926. Модальные логики в аксиомах, или моделирование типами?
-- формализмы репрезентации ISO 15926: прошлое, будущее и настоящее онтологических языков (EXPRESS, OWL, OWL 2, CL и т.д.), в развитие http://www.matthew-west.org.uk/documents/ISO%2015926-2%20Origins%20and%20possible%20futures.pdf.
-- подъем уровня онтологического языка в ISO 15926: граф, шаблоны, паттерны.
-- современные теории понятий (по мотивам материалов из четырёх пронумерованных пунктов http://ailev.livejournal.com/1019876.html).
-- теория прототипов и преодоление разницы между классом и экземпляром в онтологиях, базах данных, языках программирования.
-- проблема формальной семантики: выгоды «формализации задним числом» (все удачные языки программирования оказывались дико неформальными, их формализация случалась только много лет спустя. Может, и с инженерными онтологиями должно быть так же?).
-- опускание образовательного ценза для онтологической работы. Опыт обучению ISO 15926 на производстве.
-- концептории (опыт использования теории категорий для выражения онтологии), в развитие http://sober-space.livejournal.com/1507.html
-- опыт разработки языка моделирования, преодолевающего различие между классом и экземпляром, в развитие http://justy-tylor.livejournal.com/195108.html?thread=799780#t799780
-- опыт автоматизированного построения онтологических описаний и запросов из текстов на естественном языке, в развитие http://www.slideshare.net/vvagr/ontology-modelling-of-an-engineering-document-perspectives-of-linguistics-analysis.
-- Базовые онтологии - какие они? (геометрия, форма, мереология, единицы измерения, процессы, но что ещё?)
-- upper онтология, middle предметная терминология, детальные микротеории: как это всё устроено (в том числе разница между онтологиями и терминологиями), чем из них важнее заниматься?
-- онтология предпринятия: workflow и non-workflow подходы, DEMO, предложения Захмана, исследования BORO.
-- онтология системы (система как отождествление функционального и конструктивного физических объектов: споры об онтологической природе system component)
-- онтология методов: практики, процессы, жизненные циклы, кейсы
-- дизайн в классах против дизайна в индивидах, статус каталогов, продуктных линеек, модулей
-- онтологический статус мэппингов (морфизмов), в том числе онтологический статус декларативных и процедурных программ.
-- четырехмерные роли (в развитие работы http://www.matthew-west.org.uk/documents/RolesFOMI2008.pdf).
-- выражение модальностей в ISO 15926. Модальные логики в аксиомах, или моделирование типами?
-- формализмы репрезентации ISO 15926: прошлое, будущее и настоящее онтологических языков (EXPRESS, OWL, OWL 2, CL и т.д.), в развитие http://www.matthew-west.org.uk/documents/ISO%2015926-2%20Origins%20and%20possible%20futures.pdf.
-- подъем уровня онтологического языка в ISO 15926: граф, шаблоны, паттерны.
-- современные теории понятий (по мотивам материалов из четырёх пронумерованных пунктов http://ailev.livejournal.com/1019876.html).
-- теория прототипов и преодоление разницы между классом и экземпляром в онтологиях, базах данных, языках программирования.
-- проблема формальной семантики: выгоды «формализации задним числом» (все удачные языки программирования оказывались дико неформальными, их формализация случалась только много лет спустя. Может, и с инженерными онтологиями должно быть так же?).
-- опускание образовательного ценза для онтологической работы. Опыт обучению ISO 15926 на производстве.
-- концептории (опыт использования теории категорий для выражения онтологии), в развитие http://sober-space.livejournal.com/1507.html
-- опыт разработки языка моделирования, преодолевающего различие между классом и экземпляром, в развитие http://justy-tylor.livejournal.com/195108.html?thread=799780#t799780
-- опыт автоматизированного построения онтологических описаний и запросов из текстов на естественном языке, в развитие http://www.slideshare.net/vvagr/ontology-modelling-of-an-engineering-document-perspectives-of-linguistics-analysis.