Mechanismus sémantického uvažování

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 9. června 2021; kontroly vyžadují 2 úpravy .

Sémantický uvažovač , sémantický uvažovací engine nebo modul pravidel je kus  softwaru schopný odvozovat logické závěry ze souboru adekvátně formalizovaných základních znalostí nebo axiomů . Koncept sémantického rozumu zobecňuje koncept inferenčního motoru a poskytuje bohatší sadu mechanismů, se kterými lze pracovat. Odvozovací pravidla jsou obvykle definována pomocí jazyka ontologie a často jazyků deskriptivní logiky . Mnoho sémantických uvažovatelů používá k uvažování logiku prvního řádu ; k závěru obvykle dochází přímými a zpětnými řetězci uvažování. Existují také příklady mechanismů pravděpodobnostního uvažování, včetně Pei Wangova neaxiomatického systému uvažování [ 1] a pravděpodobnostních logických sítí [ 2 ] .    

Formy sémantického mechanismu usuzování

Použití

Novou oblastí použití pro sémantické uvažování je sémantický web , kde lze báze znalostí vyjádřit v různých vypočitatelných jazycích, z nichž OWL je nejvýraznější . Schopnosti myslitele jsou přísně závislé na jazyce použitém k formalizaci znalostní báze.

Níže jsou uvedeny stávající sémantické argumenty a související software.

Seznam mechanismů sémantického uvažování

Komerční software
  • Bossam (software), modul pravidel založený na RETE s vestavěnou podporou pro analýzu ontologií OWL, pravidel SWRL a pravidel RuleML.
  • RacerPro
  • OntoBroker je přirozený modul pro odvození uvažování oproti F-Logic, ObjectLogic, RIF a OWL. ( odvozovací stroj uvedený na seznamu W3C )
Svobodný software (uzavřený zdroj)
  • Cyc inference engine, dopředný a zpětný inferenční engine s mnoha specializovanými moduly pro logiku vyššího řádu. ( ResearchCyc ) ( OpenCyc archivováno 26. února 2011 na Wayback Machine )
  • KAON2  je framework pro správu ontologií OWL-DL, SWRL a F-Logic.
  • Internet Business Logic (software) je chytrý vývojář aplikací pro koncové uživatele. Automaticky vytváří a spouští složité síťové SQL dotazy . Vysvětluje výsledky v angličtině na úrovni koncového uživatele.
Svobodný software (open source)
  • Cwm , dopředný řetězový uvažovací modul používaný k dotazování, ověřování, transformaci a filtrování informací. Jeho hlavním jazykem je RDF, rozšířený o pravidla a v případě potřeby používá serializace RDF/XML nebo N3 . ( Softwarová licence CWM , W3C)
  • Drools , modul pravidel založený na principech přímé transformace, který využívá rozšířenou implementaci algoritmu Rete . ( Drools , licence Apache 2.0)
  • OpenRules , open source systém pro správu obchodních pravidel a řešení. Spolu s sekvenčním modulem pravidel obsahuje modul pro odvození, který používá programování s omezeními ( OpenRules )
  • FaCT++ Reasoner , tabulkový argument pro popisy expresivní logiky (DL), pokrývající OWL a OWL 2, ale bez podpory klíčových omezení a některých datových typů. Napsáno v C++. (LGPL)
  • Flora-2 , objektově orientovaný, na pravidlech založený systém reprezentace znalostí a uvažování. ( Flóra-2 , Apache 2.0)
  • Gandalf , open source modul rozhodovacích pravidel v PHP (GPL).
  • Prova , modul sémantických webových pravidel, který podporuje integraci dat pomocí SPARQL dotazů a typů (RDFS, OWL ontologie jako typové systémy). ( Prova , GNU GPL v2, dostupná komerční verze)
  • Pellet , OWL 2 DL zdůvodnění (AGPL, dostupná komerční varianta)
  • HermiT , OWL 2 DL zdůvodnění (LGPL)
  • ELK , OWL 2 EL odůvodnění (Apache 2)
  • CEL , OWL 2 EL zdůvodnění (Apache 2)
  • jcel , OWL 2 EL zdůvodnění (LGPL/Apache 2)
  • RACER , OWL 2 DL zdůvodnění (BSD-3)
  • Jena , open source sémantický webový rámec pro Javu, který obsahuje řadu různých modulů sémantické logiky. ( Apache Jena , licence Apache 2.0)
  • RDFSharp , open source sémantický webový rámec pro .NET, který obsahuje sémantické rozšíření, které implementuje RDFS/OWL-DL/logiku vlastních pravidel. ( RDFSharp , licence Apache 2.0)
Aplikace obsahující sémantické myslitele
  • SemanticMiner zahrnuje sémantického myslitele OntoBroker pro provádění sémantického vyhledávání založeného na ontologii. [jeden]
  • SemanticGuide  je expertní systém založený na OntoBroker. [2]
  • Apache Marmotta zahrnuje do svého úložiště faktů KiWi sémantického myslitele založeného na pravidlech.
  • dot15926 Editor-Ontology , rámec pro správu původně vyvinutý pro vývoj standardu ontologie ISO 15926 . Umožňuje skriptovat pravidla Pythonu a provádět analýzu dat na základě šablon. Podporuje rozšíření.

Viz také

Poznámky

  1. ↑ Wang, Pei Založen na sémantice zkušeností pro zpravodajství, Tech report 96 . http://www.cogsci.indiana.edu/ . CRCC. Získáno 13. dubna 2015. Archivováno z originálu 23. září 2015.
  2. ↑ Goertzel, Ben; Ikle, Matěj; Goertzel, Isabela Freire; Heljakka, Ari. Pravděpodobnostní logické sítě: Komplexní rámec pro nejisté  závěry . - Springer Science & Business Media , 2008. - S. 42. - ISBN 9780387768724 .

Odkazy

 sémantický web
Základy
Pododdíly
Aplikace
související témata
Normy
  • Historie : Prostý starý sémantický HTML
  • DAML+OLEJ