Семинар "Онтологические проблемы инженерии"

В начале 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.