257:
141:, a forward-chaining reasoner used for querying, checking, transforming and filtering information. Its core language is RDF, extended to include rules, and it uses RDF/XML or N3 serializations as required.
849:
366:
Britz, K. and
Varzinczak, I., (2018). Rationality and context in defeasible subsumption. In International Symposium on Foundations of Information and Knowledge Systems (pp. 114-132). Springer, Cham.
245:
S-LOR (Sensor-based Linked Open Rules) is a rule-based reasoning engine and an approach for sharing and reusing interoperable rules to deduce meaningful knowledge from sensor measurements.
83:
936:
212:, a semantic-web rule engine which supports data integration via SPARQL queries and type systems (RDFS, OWL ontologies as type system).
1022:
642:
576:
436:
715:
351:
230:
style of reasoning that reduces to "classical entailment" i.e., without the need to modify the underlying decision procedure.
941:
586:
408:
110:
inference engine, a forward and backward chaining inference engine with numerous specialized modules for high-order logic.
1012:
397:
187:, an open-source semantic-web framework for Java which includes a number of different semantic-reasoning modules.
1017:
729:
200:
1032:
793:
667:
479:
784:
721:
474:
290:
87:
67:
844:
429:
121:
20:
622:
404:. In ARea2008 – Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (June 2008)
839:
602:
227:
223:
168:
147:, a forward-chaining inference-based rules engine which uses an enhanced implementation of the
193:, a lightweight and friendly .NET library for realizing intelligent Semantic Web applications.
1027:
1007:
829:
422:
270:
219:
215:
637:
632:
226:
desktop plugin for representing and reasoning with defeasible subsumption. It implements a
16:
Piece of software able to infer logical consequences from a set of asserted facts or axioms
8:
561:
43:
657:
546:
536:
316:
900:
687:
607:
556:
520:
347:
285:
256:
79:
63:
59:
239:
880:
484:
184:
75:
51:
756:
735:
682:
652:
571:
551:
541:
390:
379:
262:
55:
489:
344:
Probabilistic Logic
Networks: A Comprehensive Framework for Uncertain Inference
280:
275:
204:
181:, an object-oriented, rule-based knowledge-representation and reasoning system.
172:
158:
148:
138:
342:
Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008).
1001:
808:
763:
581:
870:
824:
445:
921:
885:
647:
515:
401:
384:
234:
931:
834:
617:
612:
505:
190:
962:
777:
770:
672:
510:
464:
71:
972:
662:
469:
459:
317:"Grounded on Experience Semantics for intelligence, Tech report 96"
196:
982:
977:
749:
742:
677:
178:
125:
82:. There are also examples of probabilistic reasoners, including
895:
798:
414:
295:
199:
a forward-chaining inference-based rules engine implemented in
144:
117:
47:
967:
957:
875:
854:
627:
389:
Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf
Noppens:
209:
164:
113:
341:
54:, by providing a richer set of mechanisms to work with. The
926:
916:
890:
710:
50:. The notion of a semantic reasoner generalizes that of an
154:
803:
107:
240:
S-LOR (Sensor-based Linked Open Rules) semantic reasoner
161:
and is compliant with the Java Rule Engine API (JSR 94).
380:
OWL 2 Reasoners listed on W3C SW Working Group homepage
235:
Semantic
Reasoner for Internet of Things (open-source)
409:
346:. Springer Science & Business Media. p. 42.
252:
157:, a forward-chaining Java rule engine that uses the
98:Notable semantic reasoners and related software:
999:
396:Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz.
19:"Reasoner" redirects here. For other uses, see
132:
101:
430:
203:which uses an enhanced implementation of the
407:Tom Gardiner, Ian Horrocks, Dmitry Tsarkov.
218:, Defeasible-Inference Platform (DIP) is an
335:
437:
423:
93:
42:, is a piece of software able to infer
1000:
643:Knowledge representation and reasoning
577:Semantic service-oriented architecture
58:are commonly specified by means of an
418:
308:
13:
704:Syntax and supporting technologies
411:. Description Logics Workshop 2006
391:Who the Heck Is the Father of Bob?
242:S-LOR is under GNU GPLv3 license.
116:is an infrastructure for managing
14:
1044:
373:
444:
314:
255:
46:from a set of asserted facts or
84:non-axiomatic reasoning systems
1023:Ontology (information science)
360:
66:language. Many reasoners use
1:
818:Schemas, ontologies and rules
385:SPARQL Query Language for RDF
301:
88:probabilistic logic networks
7:
291:Method of analytic tableaux
248:
133:Free software (open source)
102:Free to use (closed source)
68:first-order predicate logic
10:
1049:
845:Semantic Web Rule Language
398:Benchmarking OWL Reasoners
18:
950:
909:
863:
817:
703:
696:
595:
529:
498:
452:
21:Reasoner (disambiguation)
1013:Knowledge representation
951:Microformat vocabularies
623:Information architecture
840:Rule Interchange Format
603:Collective intelligence
228:Preferential entailment
169:knowledge-based systems
321:www.cogsci.indiana.edu
70:to perform reasoning;
1018:Knowledge engineering
271:Business rules engine
220:Web Ontology Language
74:commonly proceeds by
638:Knowledge management
633:Knowledge extraction
94:Notable applications
44:logical consequences
1033:Automated reasoning
910:Common vocabularies
864:Semantic annotation
562:Semantic publishing
658:Digital humanities
547:Semantic computing
537:Semantic analytics
521:Rule-based systems
393:. ESWC 2009: 66-80
995:
994:
991:
990:
901:Facebook Platform
788:
787:(no W3C standard)
780:
773:
766:
759:
752:
745:
738:
724:
688:Web Science Trust
608:Description logic
567:Semantic reasoner
557:Semantic matching
485:Semantic networks
353:978-0-387-76872-4
286:Logic programming
167:, a platform for
80:backward chaining
64:description logic
60:ontology language
28:semantic reasoner
1040:
783:
776:
769:
762:
755:
748:
741:
734:
720:
701:
700:
439:
432:
425:
416:
415:
402:Mirror available
367:
364:
358:
357:
339:
333:
332:
330:
328:
312:
265:
260:
259:
76:forward chaining
52:inference engine
32:reasoning engine
1048:
1047:
1043:
1042:
1041:
1039:
1038:
1037:
998:
997:
996:
987:
946:
905:
859:
813:
692:
683:Web engineering
653:Digital library
591:
572:Semantic search
552:Semantic mapper
542:Semantic broker
525:
494:
448:
443:
376:
371:
370:
365:
361:
354:
340:
336:
326:
324:
313:
309:
304:
263:Software portal
261:
254:
251:
237:
135:
104:
96:
56:inference rules
24:
17:
12:
11:
5:
1046:
1036:
1035:
1030:
1025:
1020:
1015:
1010:
993:
992:
989:
988:
986:
985:
980:
975:
970:
965:
960:
954:
952:
948:
947:
945:
944:
939:
934:
929:
924:
919:
913:
911:
907:
906:
904:
903:
898:
893:
888:
883:
878:
873:
867:
865:
861:
860:
858:
857:
852:
847:
842:
837:
832:
827:
821:
819:
815:
814:
812:
811:
806:
801:
796:
791:
790:
789:
781:
774:
767:
760:
753:
746:
739:
727:
726:
725:
713:
707:
705:
698:
694:
693:
691:
690:
685:
680:
675:
670:
665:
660:
655:
650:
645:
640:
635:
630:
625:
620:
615:
610:
605:
599:
597:
596:Related topics
593:
592:
590:
589:
584:
579:
574:
569:
564:
559:
554:
549:
544:
539:
533:
531:
527:
526:
524:
523:
518:
513:
508:
502:
500:
496:
495:
493:
492:
490:World Wide Web
487:
482:
477:
472:
467:
462:
456:
454:
450:
449:
442:
441:
434:
427:
419:
413:
412:
405:
394:
387:
382:
375:
374:External links
372:
369:
368:
359:
352:
334:
306:
305:
303:
300:
299:
298:
293:
288:
283:
281:Expert systems
278:
276:Doxastic logic
273:
267:
266:
250:
247:
236:
233:
232:
231:
213:
207:
205:Rete algorithm
194:
188:
182:
176:
173:expert systems
162:
159:Rete algorithm
152:
149:Rete algorithm
142:
134:
131:
130:
129:
111:
103:
100:
95:
92:
62:, and often a
38:, or simply a
15:
9:
6:
4:
3:
2:
1045:
1034:
1031:
1029:
1026:
1024:
1021:
1019:
1016:
1014:
1011:
1009:
1006:
1005:
1003:
984:
981:
979:
976:
974:
971:
969:
966:
964:
961:
959:
956:
955:
953:
949:
943:
940:
938:
935:
933:
930:
928:
925:
923:
920:
918:
915:
914:
912:
908:
902:
899:
897:
894:
892:
889:
887:
884:
882:
879:
877:
874:
872:
869:
868:
866:
862:
856:
853:
851:
848:
846:
843:
841:
838:
836:
833:
831:
828:
826:
823:
822:
820:
816:
810:
809:Semantic HTML
807:
805:
802:
800:
797:
795:
792:
786:
782:
779:
775:
772:
768:
765:
761:
758:
754:
751:
747:
744:
740:
737:
733:
732:
731:
728:
723:
719:
718:
717:
714:
712:
709:
708:
706:
702:
699:
695:
689:
686:
684:
681:
679:
676:
674:
671:
669:
666:
664:
661:
659:
656:
654:
651:
649:
646:
644:
641:
639:
636:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
604:
601:
600:
598:
594:
588:
585:
583:
582:Semantic wiki
580:
578:
575:
573:
570:
568:
565:
563:
560:
558:
555:
553:
550:
548:
545:
543:
540:
538:
535:
534:
532:
528:
522:
519:
517:
514:
512:
509:
507:
504:
503:
501:
497:
491:
488:
486:
483:
481:
478:
476:
473:
471:
468:
466:
463:
461:
458:
457:
455:
451:
447:
440:
435:
433:
428:
426:
421:
420:
417:
410:
406:
403:
399:
395:
392:
388:
386:
383:
381:
378:
377:
363:
355:
349:
345:
338:
322:
318:
311:
307:
297:
294:
292:
289:
287:
284:
282:
279:
277:
274:
272:
269:
268:
264:
258:
253:
246:
243:
241:
229:
225:
222:reasoner and
221:
217:
214:
211:
208:
206:
202:
198:
195:
192:
189:
186:
183:
180:
177:
174:
170:
166:
163:
160:
156:
153:
150:
146:
143:
140:
137:
136:
127:
123:
119:
115:
112:
109:
106:
105:
99:
91:
89:
85:
81:
77:
73:
69:
65:
61:
57:
53:
49:
45:
41:
37:
33:
29:
22:
1028:Semantic Web
1008:Rule engines
886:Microformats
825:Common Logic
566:
530:Applications
446:Semantic Web
362:
343:
337:
325:. Retrieved
320:
310:
244:
238:
97:
39:
36:rules engine
35:
31:
27:
25:
922:Dublin Core
648:Library 2.0
516:Linked data
315:Wang, Pei.
128:ontologies.
1002:Categories
932:Schema.org
668:References
618:Geotagging
613:Folksonomy
506:Dataspaces
499:Sub-topics
475:Ontologies
453:Background
302:References
963:hCalendar
881:Microdata
778:N-Triples
771:Notation3
697:Standards
673:Topic map
511:Hyperdata
480:Semantics
465:Hypertext
460:Databases
72:inference
973:hProduct
663:Metadata
470:Internet
327:13 April
249:See also
191:OWLSharp
40:reasoner
983:hReview
978:hRecipe
750:JSON-LD
743:RDF/XML
736:triples
678:Web 2.0
224:Protégé
179:Flora-2
126:F-Logic
896:SAWSDL
799:SPARQL
757:Turtle
350:
323:. CRCC
296:Solver
197:NRules
155:Evrete
145:Drools
124:, and
118:OWL-DL
86:, and
48:axioms
968:hCard
958:hAtom
876:GRDDL
855:SHACL
628:iXBRL
587:Solid
210:Prova
165:D3web
114:KAON2
942:SKOS
937:SIOC
927:FOAF
917:DOAP
891:RDFa
871:eRDF
850:ALPS
835:RDFS
794:RRID
785:TriX
764:TriG
711:HTTP
348:ISBN
329:2015
185:Jena
122:SWRL
78:and
830:OWL
804:XML
730:RDF
722:URI
716:IRI
400:.
216:DIP
139:Cwm
108:Cyc
1004::
319:.
201:C#
175:).
120:,
90:.
34:,
30:,
26:A
438:e
431:t
424:v
356:.
331:.
171:(
151:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.