Онтология CYC
Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.
Подобные документы
Основные функции службы доменных имен (DNS) как одного из важнейших компонентов сетевой инфраструктуры Windows Server 2003. Возможности DNS-клиентов. Структура и пространство имен DNS. Принцип деления доменного пространства имен между DNS-серверами.
реферат, добавлен 30.06.2015Процесс построения системы семантического поиска, основанной на отображении онтологической модели. Характеристика этапов разработки онтологии, фазы индексирования и поиска информации. Процесс поиска ключевых слов, основанного на логических запросах.
автореферат, добавлен 19.12.2017Обобщенная логическая модель приобретения научно-технических знаний. Разработка метода автоматизированного конструирования начальной онтологии предметной области. Синтаксическая корректность концепта онтологии. Создание словосочетаний (на примере союзов).
автореферат, добавлен 16.02.2018Формулы и функции в Microsoft Excel. Освоение операций с текстом и датами, конкатенация и разделение, составление собственного отчета. Изучение функции просмотра ссылок и функции введения данных в основную таблицу. Исследование управления списками.
отчет по практике, добавлен 29.11.2021Создание онтологии маркеров стиля, отражающей основные положения предметной области и определяющей отношения между ними. Генерация правил поиска маркеров стиля при анализе текстов. Выбор инструментальных средств для проектирования. Типовые запросы.
курсовая работа, добавлен 30.06.2017Описание идеи, методологии и текущего состояния проекта по созданию лингвистической онтологии – специального информационно-поискового тезауруса для автоматической обработки текстов по естественным наукам. Характеристика подходов к разработке ее ресурсов.
статья, добавлен 16.01.2018Задание модели знаний, состоящей в определении значений параметров первого уровня или задании множества ограничений на значения терминов нулевого уровня. Образец построения онтологии второго уровня по онтологии первого на примере медицинской диагностики.
статья, добавлен 17.01.2018Исследование практического опыта использования онтологий в эксперт-системах и системах принятия решений. Анализ варианта системы принятия решений, в архитектуре которой используются онтологии конкретной предметной области. Оценка ее возможностей.
статья, добавлен 06.05.2018Рассмотрение подходов и алгоритмов оценки онтологии. Исследование области применения программно-информационной системы оценки качества дистанционного курса обучения на основе онтологической модели. Построение классификации ее метрических характеристик.
статья, добавлен 26.07.2018Stages of the development of computer technologies for compilation of dictionaries. Determination of the prerequisites that led to the emergence of such a direction in linguistics as computer lexicography. The tasks of the Language and Information Fund.
статья, добавлен 04.09.2024Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014Определение формулы для функции Y(x), построение таблицы значений функции. Таблица свойств объектов. Блок-схема алгоритма и программные коды процедур. Программные коды для определения в массиве номера и значения 1-го элемента, равного заданной величине.
контрольная работа, добавлен 09.03.2012Изучение способов поиска информации в онтологии, разработанной в Protege. Создание запросов в соответствии с дескрипционной логикой на языке OWL. Создание запросов на языке SPARQL. Пример выполнения запроса "по умолчанию" с применением данных о литералах.
лабораторная работа, добавлен 29.10.2021Роль и значение мониторов в компьютерной системе. Их типы: с электронно-лучевой трубкой, плазменные. Основные характеристики: размер, эффективное разрешение, типы развертки, частота регенерации, полоса пропускания. Существующие покрытия и стандарты.
реферат, добавлен 10.05.2023Краткая характеристика SUMO (Suggested Upper Merged Ontology). Иерархия верхних уровней SUMO. Ограничение интерпретации понятий при помощи аксиом. Онтология Джона Совы (Sowa's ontology). Принципы онтологического моделирования (по Сове). "Бриллиант" Совы.
презентация, добавлен 19.10.2013Изучение правил ввода формул в Excel. Особенности использования Мастера функций для создания формул. Заполнение ячеек электронной таблицы. Копирование и перемещение формул. Наиболее распространенные функции Excel. Использование заголовков в формулах.
презентация, добавлен 19.03.2015Формула трапеций и формула средних прямоугольников. Применение численного интегрирования. Теория приближенного решения математических задач. Вычисление значения определенного интеграла по формуле Ньютона-Лейбница. Формула трапеций с постоянным шагом.
курсовая работа, добавлен 15.06.2013Изучение особенностей построения модели угроз и нарушителей информации с использованием онтологии проведения испытаний комплексных систем защиты информации. Описание фрагментов онтологических графов определенных модулей онтологии при построении модели.
статья, добавлен 29.11.2016Нахождение функции F(x) определенного вида для таблично заданной функции f(x) средствами MATLAB. Определение формулы, задающей данную зависимость аналитически. Анализ использования метода наименьших квадратов и интерполирования функций для решения задач.
курсовая работа, добавлен 11.01.2017Общее представление о функциях Microsоft Excel. Формулы, содержащие функции. Наиболее часто используемые математические, текстовые, логические функции Excel. Заполнение таблицы "Ведомость расхода горючего". Расположение таблицы "Протяженность рейса".
контрольная работа, добавлен 25.04.2013Разнообразие программных средств и библиотек для создания онтологий. Создание необходимых классов, слотов, экземпляров и запросов в программе Protege. Рассмотрение основных типов информации, содержащихся в онтологии компании по изготовлению мебели.
статья, добавлен 22.05.2017Определение параметра k интегрированием с помощью формулы Симпсона, которая обращалась к методу Лагранжа, для нахождения значения функции в заданной точке. Разработка процедуры поиска минимума методом дихотомии. Проверка результатов с помощью MathCad.
курсовая работа, добавлен 15.07.2012История создания и общие сведения о текстовом редакторе Microsoft Word. Возможности и работа с формулами в MS Word. Примеры пошагового набора формул с использованием символов, а также использование вкладки "Вставка", "конструктор" и различных символов.
реферат, добавлен 13.05.2017Рассматривается проблема поиска информации в распределенных базах данных, например в Internet. Пример использования модели "смысл-текст" в сочетании с кластеризацией текстов на основе технологии TextMining для построения онтологии предметной области.
статья, добавлен 18.01.2018Синтаксис С++: переменные и константы, области действия и функции, типы и операторы. Шаблоны и безопасность типов. Косвенные обращения и умные указатели как идиомы. Ведущие указатели и дескрипторы. Коллекции, курсоры и итеаторы, производящие функции.
учебное пособие, добавлен 06.03.2011