Онтология CYC
Cyc и онтологии. Предикаты: типы аргументов. Переменные формулы и термы. Атомные формулы: примеры. CycL: квантификаторы. ASK операция. Продукты компании Cyc Knowledge Server Cyc Answers. Разрешение референции. Организация top ontology. Имена констант.
Подобные документы
Краткая характеристика SUMO (Suggested Upper Merged Ontology). Иерархия верхних уровней SUMO. Ограничение интерпретации понятий при помощи аксиом. Онтология Джона Совы (Sowa's ontology). Принципы онтологического моделирования (по Сове). "Бриллиант" Совы.
презентация, добавлен 19.10.2013Онтология вин и еды, их сочетание. Возможные приложения. Формальное явное описание понятий в рассматриваемой предметной области. Этапы разработки онтологии. Перечисление важных терминов, иерархии классов. Организация классов в таксономию. Свойства слотов.
презентация, добавлен 01.09.2013Характеристика методов численного интегрирования. Пример решения задачи приближенного вычисления определенного интеграла. Получение кубатурной формулы для интегрирования функций двух переменных на основе формулы Симпсона, её программная реализация.
курсовая работа, добавлен 26.12.2016Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Сущность онтологии, языки для ее описания. Специфика некоторых лингвистических ресурсов, применение для конкретной области.
презентация, добавлен 01.09.2013Специфика языка представления знаний, характеристика семантического гиперграфа. Структура и предназначение прикладной онтологии, её применение. Определение имен понятий и отношений, описание процедуры на прикладной онтологии, сущность её фрагментов.
контрольная работа, добавлен 09.01.2016Разнообразие программных средств и библиотек для создания онтологий. Создание необходимых классов, слотов, экземпляров и запросов в программе Protege. Рассмотрение основных типов информации, содержащихся в онтологии компании по изготовлению мебели.
статья, добавлен 22.05.2017Типы онтологий: верхнего уровня, предметных областей, прикладных онтологий. Основные характеристики лексических и лингвистических онтологий. Классификация по цели создания, по содержимому. Онтологии электронной коммерции. Большие и сверхбольшие тезаурусы.
презентация, добавлен 19.10.2013Принципы стандарта онтологического исследования при проектировании информационных систем. Использование онтологии в Semantiс Web. Перспективы внедрения онтологий в жилищно-коммунальное хозяйство. Процесс построения онтологии, согласно методологии IDEF5.
статья, добавлен 19.12.2017Понятие онтологии в информатике как попытки всеобъемлющей и детальной формализации некоторой области знаний с помощью концептуальной схемы. Способы сжатия информации на основе компьютерной онтологии, единицы ее измерения. Рассмотрение некоторых примеров.
контрольная работа, добавлен 12.06.2013Составление алгоритма и программы получения стандартного вида последовательности и рекуррентной формулы, с использованием средства разработки программного обеспечения Microsoft Visual Basic. Создание формы просмотра и обработки полученных результатов.
лабораторная работа, добавлен 25.11.2012Разработка машино-читаемого словаря (онтологии) для описания области применения и особенностей реализации программных систем, использующих элементы крауд-вычислений. Особенности построения онтологии для описания приложений методом "сверху-вниз".
статья, добавлен 08.03.2019Онтологии верхнего уровня. Улучшение интероперабельности данных. Автоматический логический вывод. Абстракции (теория множеств, атрибуты, отношения). Ограничение интерпретации понятий при помощи аксиом. Принципы онтологического моделирования (по Сове).
презентация, добавлен 01.09.2013Нахождение значения формулы при данных аргументах, приближенное нахождение интеграла, работа с переменными, изменение аргументов, вызов справки. Функциональная структура программы и принципы ее построения. Реализация алгоритма распознавания функции.
курсовая работа, добавлен 18.08.2009Лингвистические особенности организации ФИС (формулы изобретения на способ). Возможности переиспользования интерфейса системы автоматического синтеза формулы изобретения для определения запроса к системе автоматического поиска патентных текстов.
автореферат, добавлен 30.04.2018Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Концептуальное индексирование и спецификация концептуализации. Таксономические отношения. Языки для описания онтологий.
презентация, добавлен 19.10.2013Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.
реферат, добавлен 05.10.2014Описание полуавтоматического метода расширения базовой онтологии для предметной области "радиационная безопасность", основанного на принципах NLP. Особенности решения проблемы неоднозначности слов с помощью словаря синонимов, пути расширения онтологии.
статья, добавлен 22.01.2017Букридеры как один из современных инструментов обучения. Общая характеристика рынка информациoнных технoлoгий в Рoccии. Знакомство с главными особенностями разработки электронного учебного пособия "Основные математические формулы" средствами Delphi.
курсовая работа, добавлен 26.02.2020Управление доступом в MS SQL Server. Сервера и базы данных в MS SQL Server. Особенности процесса шифрования данных. Угрозы и уязвимости, резервное копирование и восстановление баз данных SQL Server. Служба хранилищ больших двоичных объектов Windows Azure.
реферат, добавлен 07.11.2021Характеристика инструмента Microsoft SQL Server 6.0. Активное администрирование и объектный интерфейс SQL Server 6.0. Разработка реляционной системы управления базами данных. Три типа специальных пользователей, контролирующих и управляющих SQL Server.
курсовая работа, добавлен 13.09.2011Код макросов "Вставка таблицы" и "Вставка формулы". Оформление рисунков и таблиц в программе Microsoft Word. Создание макроса для вставки формулы в текст. Построение двумерного графика эпициклоиды по параметрическим уравнениям кривой в Microsoft Excel.
отчет по практике, добавлен 18.02.2019- 22. Дерево-формула
Алгоритм построения дерева-формулы арифметического выражения. Приоритеты операций, величина и степень. Рекурсивная процедура построения FormTree. Текст процедуры DelPar. Визуальная иллюстрация дифференцирования дерева-формулы. Текст программы на С++.
методичка, добавлен 08.09.2015 Процесс планирования установки Windows Server 2003, значение графического интерфейса как части программы. Настройка сервера, имена домена и Net-Bios-домена. Описание параметров конфигурирования сетевой подсистемы, специфика установки DHCP-сервера.
лабораторная работа, добавлен 27.09.2015Системы линейных алгебраических уравнений. Табличные формулы и операции с матрицами. Решение линейных алгебраических систем. Группировка рабочих листов в Microsoft Excel. Матричный способ решения задач оптимизации. Поиск значений аргументов функции.
методичка, добавлен 06.05.2015Использование онтологий в сфере искусственного интеллекта. Базовые термины для свойств, относящихся к архитектуре онтологии. Построение графа предметно-ориентированных связей для онтологии компьютерных игр. Свойства определений, онтологических соглашений.
статья, добавлен 16.01.2018