Mon . 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 - рэканструкцыя ner, прызначаны для аўтараў прыкладанняў для канчатковых карыстальнікаў, Аўтаматычна генеруе і запускае складаныя сеткавыя запыты 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, камерцыйная опцыя даступная
Пеллет, 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 Reeper BSD-3
Jena Framework, open- крыніца семантычнай сеткі для Java, якая ўключае ў сябе некалькі розных семантычных разважлівых модуляў Apache Jena, ліцэнзія Apache 20
RDFSharp, семантычная сеткавая сетка з адкрытым зыходным кодам для NET, якая ўключае ў сябе семантычнае пашырэнне, якое рэалізуе RDFS / OWL-DL / карыстацкае правіла RDFSharp, ліцэнзія Apache 20
Прыкладанні, якія ўтрымліваюць паўторнае разуменне
Apache Marmotta, уключае ў сябе пастанову, заснаваную на правілах, у сваёй патройнай краме KiWi - dot15926 Editor - Рамка кіравання анталогіяй, першапачаткова прызначаная для інжынернай анталогіі стандарт ISO 15926 Дазваляе Python правілы сцэнарыяў і аналіз дадзеных на аснове шаблонаў Падтрымка пашырэнняў
Гл таксама
Партал праграмнага забеспячэння - Рухавік бізнес-правілаў - Экспертныя сістэмы - Даксастычная логіка - Метад аналітычнай табліцы - Лагічнае праграмаванне - Літаратура
^ Ванг, Пэй "Абгрунтаваны на семантыцы вопыту для разведкі, тэхнічны даклад 96 "http: // wwwcogsciindianaedu / CRCC Праверана 13 красавіка 2015 г. Знешняя спасылка на | website = help | ^ Goertzel, Ben; Iklé, Мэцью; Гёртцэль, Ізабэла Фрэйр; Heljakka, Ari 2008 Верагоднасць логічных сетак: комплексная аснова для нявызначаных высноў Springer Science & amp; Business Media p 42 ISBN 9780387768724
Знешнія спасылкі
OWL 2 Прычыны, пералічаныя на галоўнай старонцы рабочай групы W3C SW
Мова запытаў SPARQL для RDF
Уводзіны ў апісанне Лагічны курс DL Эрыка Франкані, факультэт камп'ютэрных навук, Бясплатны Універсітэт Бальцана, Італія - Выснова з выкарыстаннем OWL 20 Semantics by Craig IBM
Марко Лютэр, Торстэн Лібіг, Себасцьян Бём, Олаф Ноппенс: Хто чорт - бацька Боба ESWC 2009: 66-80
Юрген Бок, Пітэр Хааз, Цю Цзі, Рафаэль Вольц Бенчмаркінг OWL Reasoners In ARea2008 - Семінар па развіцці разважанняў у Інтэрнэце: Маштабаванасць і разважлівасць чэрвеня 2008 г. - Том Гардзінер, Ян Хоракс, Дзмітрый Царкоў 2006
OpenRuleBench Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer OpenRuleBench: Аналіз эфектыўнасці рухавікоў Rule 2009 Апошнія арыенціры на сайце OpenRuleBench
v
e
Semantic Web
Background
Базы дадзеных
Hypertex t
Інтэрнэт
Онтологии
Семантычныя сеткі
Сусветная павуціна - Падтэмы
Інтэрнэт-памеры дадзеных - прасторы дадзеных - Гіпердаты - Звязаныя дадзеныя - На аснове правілаў Сістэмы
Прыкладанні
Семантычная аналітыка
Семантычны брокер
Семантычныя вылічэнні
Семантычны адлюстраванне
Семантычны супастаўленне
Семантычная публікацыя
Сэмантычны пошук
Семантычны пошук
Сэмантычны сэрвіс арыентаваная архітэктура
Сэмантычная вікі
Звязаныя тэмы
Калектыўны інтэлект - Апісанне логікі - Фольксаномія - Геатэгізацыя - Інфармацыйная архітэктура - Выманне ведаў
Кіраванне ведамі
Веды прадстаўніцтва - Бібліятэка 20 - Метададзеныя - Мапавыя мапы - ODBC - Спасылкі - Мапы тэм - Інтэрнэт 20 - Вэб-інжынірынг - Даверка навуковых даследаванняў - Стандарты
Сінтаксіс і падтрымліваючыя тэхналогіі - HTTP
IRI - URI, RDF - тройкі
RDF / XML
JSON-LD
Turtle
Notation3
N- Triples - стандарт TriX no W3C - RRID - SPARQL - XML - Схемы, анталогіі і правілы - Агульная логіка - OWL
RDFS - Правіла Interc Фармат hange - Мова семантычных правілаў вэб - ALPS - Сэмантычная анатацыя - eRDF - GRDDL - Microdata - Мікрафарматы - RDFa - SAWSDL - Платформа Facebook
Агульныя слоўнікі
DOAP - Dublin Core - FOAF - hAtom - hCalendar - hCard - hProduct - hRecipe - hResume - hReview - SIOC
SKOS
v
e - Вылічальныя веды - Тэмы і канцэпцыі - Алфавіт чалавечай думкі - Кіраванне аўтарытэтам - Аўтаматызаванае разважанне - Веданне здаровага сэнсу - Разважанне здаровага сэнсу
вылічальнасць
фармальная сістэма - рухавік высноў - база баз ведаў - сістэмы на аснове ведаў - інжынерыя ведаў - здабыча ведаў - прадстаўніцтва ведаў - пошук ведаў - бібліятэка класіфікацыя
Лагічнае праграмаванне
Анталогія - Асабістая база ведаў - Адказ на пытанні
Семантычны пераказ - Прапановы і рэалізацыі - Заіржа
Арс Магна 1300 - Нарыс да рэальнага персанажа і філасофскай мовы 1688 - Calculus ratiocinator & amp; Characteristica Universalis 1700 - дзесятковая класіфікацыя Дьюі 1876 - Begriffsschrift 1879 - Mundaneum 1910 - Лагічны атомізм 1918 - Tractatus Logico-Philosophicus 1921 - праграма Гільберта 1920-х гадоў - тэарэма пра няпоўнасць 1931 г. - Свет Brain 1938 - Memex 1945 - General Problem Solver 1959 - Prolog 1972 - Cyc 1984 - Semantic Web 2001 - Evi 2007 - Wolfram Alpha 2009 - Watson 2011 - Siri 2011 - Графік ведаў 2012 - Вікідата 2012 - Кортана 2014 - Viv 2016 - Мастацкая літаратура - Падарожжы Двигателя Гулівера, 1726 - Джо "Логічны Джо", 1946
Бібліятэкар, снежная катастрофа, 1992 г. - Д-р Ноў Ш. Штучны інтэлект, 2001 г. - Уотэрхаус Барочны цыкл, 2003 г. - Глядзіце таксама: Лагічныя машыны ў мастацкай літаратуры і спіс выдуманых камп'ютэраў


Semantic reasoner

Random Posts

Ralph Neville, 2nd Earl of Westmorland

Ralph Neville, 2nd Earl of Westmorland

Ralph Neville, 2nd Earl of Westmorland 4 April 1406 – 3 November 1484 was an English peer Content...
Mamprusi language

Mamprusi language

The Mamprusi language, Mampruli Mampelle, Ŋmampulli, is a Gur language spoken in northern Ghana by t...
Singapore Changi Airport

Singapore Changi Airport

Singapore Changi Airport IATA: SIN, ICAO: WSSS, or simply Changi Airport, is the primary civili...
Christian Siriano

Christian Siriano

Christian Siriano born November 18, 1985 is an American fashion designer and member of the Council o...