Онтология CYC
Cyc и онтологии. Предикаты: типы аргументов. Переменные формулы и термы. Атомные формулы: примеры. CycL: квантификаторы. ASK операция. Продукты компании Cyc Knowledge Server Cyc Answers. Разрешение референции. Организация top ontology. Имена констант.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | презентация |
| Язык | русский |
| Дата добавления | 01.09.2013 |
| Размер файла | 37,7 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Создание множества религиозных понятий и их определение. Преимущества использование платформы Protеgе. Разработка онтологии по предметной области "Буддизм" посредством компьютерной программы Protеgе 4.2.0. Представление онтологии в графическом виде.
курсовая работа [768,0 K], добавлен 18.08.2013Разработка web-сервиса как услуги, предоставляемой пользователю. Продажа товара (автомобилей) в Интернете, проблема выбора. Онтологии как часть концепции Semantic Web. Применение онтологий, их основные типы и свойства. Особенности реализации онтологии.
курсовая работа [57,4 K], добавлен 17.04.2012Вычисления в Excel. Формулы и функции: Использование ссылок и имен, перемещение и копирование формул. Относительные и абсолютные ссылки. Понятиеи и типы функций. Рабочая книга Excel. Связь между рабочими листами. Построение диаграмм в EXCEL.
лабораторная работа [39,1 K], добавлен 28.09.2007Математический набор. Запуск Equation Editor. Построение образца формулы. Создание кубического корня. Вставка формулы в подкоренное выражение. Построение формулы в знаменателе. Текстовые эффекты. Печать документов.
лабораторная работа [320,9 K], добавлен 10.03.2007Формулы. Использование ссылок и имен. Перемещение и копирование формул. Относительные и абсолютные ссылки. Понятие функции. Типы функций. Основным достоинством электронной таблицы Excel является наличие мощного аппарата формул и функций.
реферат [13,4 K], добавлен 15.02.2003Построение концептуальной, реляционной и логической моделей базы данных (БД). Разработка онтологии в системе Protege. Выбор средств реализации БД. Проверка ее структуры и содержимого. Создание, загрузка и проверка БД в СУБД Microsoft SQL Server 2008.
курсовая работа [3,4 M], добавлен 25.12.2012Понятие и компоненты онтологии. Назначение и использование рубрикаторов в интернет-системах по товарам. Автоматическая рубрикация по товарам. Фрагмент описания рубрики "Автозапчасти". Проблемы пословного поиска в системе Ontoseek и средства их решения.
презентация [1,2 M], добавлен 01.09.2013Переменные и операции языка СИ: используемые символы, константы, идентификаторы и ключевые слова. Использование комментариев в тексте программы. Типы данных и их объявление. Приоритеты операций и порядок вычислений. Функции, переменные, макроподстановки.
учебное пособие [135,0 K], добавлен 17.02.2012Понятие интеллектуального пространства, объекты изучения в онтологии. Разработка Web-сайта на тему "Онтологии в информатике". Описание логической и физической структуры сайта, шаблон дизайна его страниц, тестирование. Исходный текст шаблона html-страницы.
курсовая работа [4,7 M], добавлен 14.07.2012Рубрикация на специализированном интернет-сайте. Системы общего назначения. Автоматическая рубрикация по товарам. Лингвистические онтологии: WordNet, РуТез. Рубрикаторы интернет-систем по товарам. Поиск товаров "по смыслу" - использование таксономии.
лекция [1,2 M], добавлен 19.10.2013
