Rozumowanie semantyczne - Semantic reasoner
Semantyczny logiczne , rozumując silnik , silnik reguł , lub po prostu logiczne , jest to oprogramowanie w stanie wywnioskować logiczne konsekwencje ze zbioru dochodzonych faktów lub aksjomatów . Pojęcie wnioskowania semantycznego uogólnia pojęcie silnika wnioskowania , zapewniając bogatszy zestaw mechanizmów do pracy. Te reguły wnioskowania są powszechnie określono za pomocą języka ontologii , a często opis logika języka. Wielu rozumujących używa logiki predykatów pierwszego rzędu do prowadzenia rozumowania; wnioskowanie zwykle odbywa się poprzez łańcuchowanie w przód i łańcuchowanie wsteczne . Istnieją również przykłady probabilistycznych systemów wnioskowania , w tym nieaksjomatycznych systemów wnioskowania i probabilistycznych sieci logicznych .
Wybitne aplikacje
Wybitne mechanizmy wnioskowania semantycznego i powiązane oprogramowanie:
Darmowy w użyciu (zamknięte źródło)
- Aparat wnioskowania Cyc , aparat wnioskowania z łańcuchem w przód i wstecz z licznymi wyspecjalizowanymi modułami dla logiki wysokiego rzędu.
- KAON2 to infrastruktura do zarządzania ontologiami OWL-DL , SWRL i F-Logic .
Darmowe oprogramowanie (open source)
- Cwm , mechanizm wnioskowania z łańcuchem w przód używany do odpytywania, sprawdzania, przekształcania i filtrowania informacji. Jego podstawowym językiem jest RDF, rozszerzony o reguły i używa serializacji RDF/XML lub N3 zgodnie z wymaganiami.
- Drools , mechanizm reguł oparty na wnioskowaniu w przód, który wykorzystuje ulepszoną implementację algorytmu Rete .
- Evrete , mechanizm reguł Java z łańcuchem do przodu, który wykorzystuje algorytm Rete i jest zgodny z interfejsem Java Rule Engine API (JSR 94).
- Flora-2 , obiektowy, oparty na regułach system reprezentacji wiedzy i wnioskowania.
- Jena , framework sieci semantycznej typu open source dla Javy, który zawiera wiele różnych modułów rozumowania semantycznego.
- Prova , silnik reguł sieci semantycznej, który obsługuje integrację danych za pomocą zapytań SPARQL i systemów typów (RDFS, ontologie OWL jako system typów).
- DIP , Defeasible-Inference Platform (DIP) to program do wnioskowania w języku Web Ontology Language i wtyczka komputerowa Protégé_ (oprogramowania) do reprezentowania i wnioskowania z możliwym do usunięcia założeniem. Implementuje preferencyjny styl rozumowania, który sprowadza się do „klasycznej implikacji”, tj. bez konieczności modyfikowania podstawowej procedury decyzyjnej.
Aplikacje zawierające argumenty
- Apache Marmotta zawiera w swoim potrójnym sklepie KiWi mechanizm wnioskowania oparty na regułach .
Semantic Reasoner for Internet of Things (open-source)
S-LOR (Sensor-based Linked Open Rules) semantyczny mechanizm wnioskowania S-LOR jest objęty licencją GNU GPLv3.
S-LOR (Sensor-based Linked Open Rules) to mechanizm wnioskowania oparty na regułach i podejście do udostępniania i ponownego wykorzystywania interoperacyjnych reguł w celu wywnioskowania znaczącej wiedzy z pomiarów czujników.
Zobacz też
- Silnik reguł biznesowych
- Logika doksastyczna
- Systemy eksperckie
- Programowanie logiczne
- Metoda tabel analitycznych
- Solver
Bibliografia
Zewnętrzne linki
- OWL 2 Reasoners wymienieni na stronie głównej Grupy Roboczej W3C SW
- Język zapytań SPARQL dla RDF
- Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: kto do cholery jest ojcem Boba? . ESWC 2009: 66-80
- Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz. Analiza porównawcza OWL Reasoners . W ARea2008 - Warsztaty na temat zaawansowanego rozumowania w sieci: skalowalność i zdrowy rozsądek (czerwiec 2008)
- Tom Gardiner, Ian Horrocks, Dmitrij Carkow. Zautomatyzowane testy porównawcze logiki opisowej Reasoning . Opis Warsztaty logiczne 2006