Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | ШАПКИН П.А.1, ДЕМЧЕНКО А.П.2 ; 1 НИЯУ МИФИ 2 МИФИ (НИЯУ МИФИ) |
Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=21456653 |
Аннотация
ЖУРНАЛ:
НАУЧНО-ТЕХНИЧЕСКАЯ ИНФОРМАЦИЯ. СЕРИЯ 2: ИНФОРМАЦИОННЫЕ ПРОЦЕССЫ И СИСТЕМЫ
Издательство: Всероссийский институт научной и технической информации РАН (Москва)
ISSN: 0548-0027
КЛЮЧЕВЫЕ СЛОВА:
ОНТОЛОГИИ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ, МЕТАДАННЫЕ, СИСТЕМЫ АБСТРАКТНЫХ ТИПОВ
АННОТАЦИЯ:
Рассматривается разработка средства логического вывода на онтологиях для платформы Microsoft.NET. Отличительной чертой рассматриваемого средства является возможность использования классов и объектов объектно-ориентированной среды программирования в роли, соответственно, концептов и индивидов. В результате достигается возможность построения рассуждения непосредственно над программными объектами, а также предоставляются типово-безопасные средства построения онтологических описаний информации. Рассмотрены ограничения, связанные с возможностями системы типов языков C# и F# для представления логических конструкций.
ПодробнееНАУЧНО-ТЕХНИЧЕСКАЯ ИНФОРМАЦИЯ. СЕРИЯ 2: ИНФОРМАЦИОННЫЕ ПРОЦЕССЫ И СИСТЕМЫ
Издательство: Всероссийский институт научной и технической информации РАН (Москва)
ISSN: 0548-0027
КЛЮЧЕВЫЕ СЛОВА:
ОНТОЛОГИИ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ, МЕТАДАННЫЕ, СИСТЕМЫ АБСТРАКТНЫХ ТИПОВ
АННОТАЦИЯ:
Рассматривается разработка средства логического вывода на онтологиях для платформы Microsoft.NET. Отличительной чертой рассматриваемого средства является возможность использования классов и объектов объектно-ориентированной среды программирования в роли, соответственно, концептов и индивидов. В результате достигается возможность построения рассуждения непосредственно над программными объектами, а также предоставляются типово-безопасные средства построения онтологических описаний информации. Рассмотрены ограничения, связанные с возможностями системы типов языков C# и F# для представления логических конструкций.
Для того чтобы оставить комментарий необходимо авторизоваться.