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