Thu . 20 Feb 2020

Семантический мыслитель

Семантический рассуждатель, механизм рассуждений, механизм правил или просто рассуждатель - это часть программного обеспечения, способная вывести логические последствия из набора утвержденных фактов или аксиом. Понятие семантического рассуждения обобщает понятие механизма вывода, предоставляя более богатые набор механизмов для работы Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания. Многие рассуждатели используют логику предикатов первого порядка для выполнения рассуждений; умозаключение обычно происходит путем прямого и обратного сцепления. Есть также примеры вероятностных рассуждений, включая неаксиоматическую систему мышления Пей Вана, [1] и вероятностные логические сети [2]
Содержание
1 Список семантических рассуждений
11 Коммерческое программное обеспечение
12 Бесплатное использование закрытого источника
13 Бесплатное программное обеспечение с открытым исходным кодом
14 Приложения, содержащие рассуждения
2 См. Также
3 Ссылки
4 Внешние ссылки
Список семантических рассуждений
Существующие семантические рассуждения и связанное с ними программное обеспечение:
Коммерческое программное обеспечение
Программное обеспечение Bossam, механизм правил на основе RETE с собственной поддержкой для аргументации онтологий OWL, правил SWRL и правил RuleML
RacerPro
Бесплатное использование закрытого исходного кода и механизма вывода Cyc, механизма прямого и обратного связывания с многочисленными специализированными модулями для логики высокого порядка [1] ResearchCyc [2] OpenCyc
KAON2 - это инфраструктура для управления OWL-DL , SWRL и F-Logic
Программное обеспечение Internet Business Logic - Reaso Предназначен для авторов приложений для конечных пользователей. Автоматически генерирует и выполняет сложные сетевые SQL-запросы. Объясняет результаты на английском языке на уровне конечных пользователей. Свободный программный код с открытым исходным кодом. Cwm, рассуждатель прямой цепочки, используемый для запросов, проверки, преобразование и фильтрация информации. Его основным языком является RDF, расширенный для включения правил, и он использует сериализации RDF / XML или N3 в соответствии с требованиями CWM, лицензия на программное обеспечение W3C
Drools, механизм правил прямого вывода на основе логического вывода, который использует расширенную реализацию алгоритма Rete Drools, лицензия Apache 20
FaCT ++ Reasoner, основанный на таблицах аргумент для выразительного описания Logics DL, охватывающий OWL и OWL 2, но не поддерживающий ключевые ограничения и некоторые типы данных, написанные на C ++ LGPL
Flora-2 объектно-ориентированная, основанная на правилах система представления и обоснования знаний Flora-2, Apache 20
Gandalf, механизм принятия решений с открытым исходным кодом на PHP GPL
Prova, механизм правил семантической сети, поддерживающий интеграцию данных через SPARQL-запрос Системы типов и типов RDFS, онтологии OWL как системы типов Prova, GNU GPL v2, доступна коммерческая опция
Pellet, OWL 2 DL-аргумент AGPL, доступна коммерческая опция
HermiT, OWL 2 DL мыслитель LGPL
ELK, OWL 2 EL-рассуждения Apache 2
CEL, OWL 2 EL-рассуждения Apache 2
jcel, OWL 2 EL-рассуждения LGPL / Apache 2
RACER, OWL 2 DL-рассуждения BSD-3
Jena framework, open- исходный семантический веб-фреймворк для Java, который включает в себя ряд различных модулей семантического мышления Apache Jena, Apache License 20
RDFSharp, семантический веб-каркас с открытым исходным кодом для NET, который включает семантическое расширение, реализующее RDFS / OWL-DL / пользовательское правило рассуждения на основе RDFSharp, лицензия Apache 20
Приложения, содержащие рассуждения
Apache Marmotta включает основанный на правилах рассуждатель в своем тройном хранилище KiWi
dot15926 Editor - среда управления онтологией, изначально разработанная для разработки стандарта онтологии ISO 15926 Разрешает Python создание сценариев правил и анализ данных на основе шаблонов Поддержка расширений
Просмотреть также
Портал программного обеспечения
Движок бизнес-правил
Экспертные системы
Doxastic logic
Метод аналитических таблиц
Логическое программирование
Ссылки
^ Wang, Pei "Основано на семантике опыта для разведки, Технический отчет 96 "http: // wwwcogsciindianaedu / CRCC Получено 13 апреля 2015 г. Внешняя ссылка в | website = help
^ Goertzel, Ben; Икле, Матфей; Гертцель, Изабела Фрейре; Хелякка, Ари 2008 Вероятностные логические сети: комплексная основа для неопределенного вывода Springer Science & amp; Business Media p 42 ISBN 9780387768724
Внешние ссылки
OWL 2 Причины, перечисленные на домашней странице рабочей группы W3C SW
Язык запросов SPARQL для RDF
Введение в описание Логика DL курс Энрико Франкони, факультет компьютерных наук, Свободный университет Больцано, Италия
Логический вывод с использованием семантики OWL 20 Крейга Трима IBM
Марко Лютер, Торстен Либиг, Себастьян Бем, Олаф Ноппенс: кто, черт возьми, отец Боба ESWC 2009: 66-80
Юрген Бок, Питер Хааз, Цю Цзи, Рафаэль Волц, Сравнительный анализ аргументов OWL в ARea2008 - Семинар по продвижению рассуждений в Интернете: масштабируемость и здравый смысл Июнь 2008 г.
Том Гардинер, Ян Хоррокс, Дмитрий Царьков Автоматизированный сравнительный анализ описания Логические поводы Описание Мастерская логики 2006
OpenRuleBench Сенлин Лян, Пол Фодор, Хуэй Ван, Майкл Кифер OpenRuleBench: анализ производительности двигателей правил 2009 Последние тесты на сайте OpenRuleBench
v
e
Семантическая сеть
Фон < уш> Базы данных
Hypertex t
Интернет
Онтологии
Семантические сети
Всемирная паутина
Подразделы
Сеть данных
Пространства данных
Гиперданные
Связанные данные
На основе правил системы
Приложения
Семантическая аналитика
Семантический брокер
Семантические вычисления
Семантический сопоставитель
Семантическое сопоставление
Семантическая публикация
Семантический анализатор
Семантический поиск
Семантический сервис -ориентированная архитектура
Semantic wiki
Связанные темы
Коллективный разум
Описание логики
Фольксономия
Геотаггинг
Информационная архитектура
Извлечение знаний
Управление знаниями
Знания репрезентация
Библиотека 20
Метаданные
Mind mapping
ODBC
Ссылки


Карта сайта
Web 20
Веб-инжиниринг
Доверие Web Science
Стандарты
Синтаксис и поддерживающие технологии
HTTP, IRI, URI, RDF, тройки, RDF / XML, JSON-LD, Turtle, Notation3, N- Тройки
TriX без стандарта W3C
RRID
SPARQL
XML
Схемы, онтологии и правила
Общая логика
OWL
RDFS
Правило Interc Формат hange
Язык правил семантической паутины
ALPS
Семантическая аннотация
eRDF
GRDDL
Микроданные
Микроформаты
RDFa
SAWSDL
Платформа Facebook
Общие словари
DOAP
Dublin Core
FOAF
hAtom
hCalendar
hCard
hProduct
hRecipe
hResume
hReview
SIOC
SKOS
v
e
Вычислимые знания
Темы и понятия
Алфавит человеческой мысли
Контроль над авторитетом
Автоматизированные рассуждения
Общедоступные знания
Рассуждения здравого смысла Вычислимость
Формальная система
Механизм логических выводов
База знаний
Системы, основанные на знаниях
Инженерия знаний
Извлечение знаний
Представление знаний
Поиск знаний
Библиотека классификация
Логическое программирование
Онтология
База персональных знаний
Ответы на вопросы
Семантическая логика
Предложения и реализации
Zairja
Ars Magna 1300
Эссе к реальному характеру и философскому языку 1688
Calculus ratiocinator & amp; Characteristica universalis 1700
Десятичная классификация Дьюи 1876 г.
Begriffsschrift 1879 г.
Mundaneum 1910 г.
Логический атомизм 1918 г. Tractatus Logico-Philosophicus 1921 г. Программа Гильберта 1920-х гг.
Теорема о неполноте 1931 г. - Мир Brain 1938 - Memex 1945 - Решатель общих проблем 1959 - Пролог 1972 - Cyc 1984 - Семантическая сеть 2001 - Evi 2007 - Wolfram Alpha 2009 - Watson 2011 - Siri 2011
График знаний 2012
Викиданные 2012
Кортана 2014
Viv 2016
В художественной литературе
Двигатель Путешествие Гулливера, 1726 год
Джо "Логика по имени Джо", 1946 год
Снежная катастрофа библиотекаря, 1992 г.
Доктор Ноу А.И. Искусственный интеллект, 2001 г.
Уотерхаус Цикл барокко, 2003 г.
Смотри также: Логические машины в художественной литературе и Список вымышленных компьютеров


Semantic reasoner

Random Posts

Modern philosophy

Modern philosophy

Modern philosophy is a branch of philosophy that originated in Western Europe in the 17th century, a...
Tim Shadbolt

Tim Shadbolt

Timothy Richard "Tim" Shadbolt born 19 February 1947 is a New Zealand politician He is the Mayor of ...
HK Express

HK Express

Andrew Cowen Deputy CEO Website wwwhkexpresscom HK Express Traditional Chinese 香港快運航空...
List of shrinking cities in the United States

List of shrinking cities in the United States

The following municipalities in the United States have lost at least 20% of their population, from a...