مُستدل دلالي

• محرك الاستدلال Cyc ، وهو محرك استدلال يعتمد على التسلسل الأمامي والخلفي مع العديد من الوحدات المتخصصة للمنطق عالي الرتبة.
• KAON2 عبارة عن بنية تحتية لإدارة أنطولوجيات OWL-DL و SWRL و F-Logic .

• Cwm ، وهو نظام استدلالي ذو تسلسل أمامي يُستخدم للاستعلام عن المعلومات والتحقق منها وتحويلها وتصفيتها. لغته الأساسية هي RDF، وقد تم توسيعها لتشمل القواعد، ويستخدم تسلسلات RDF/XML أو N3 حسب الحاجة.
• Drools ، وهو محرك قواعد قائم على الاستدلال التسلسلي الأمامي يستخدم تطبيقًا محسنًا لخوارزمية Rete .
• Evrete ، محرك قواعد جافا ذو سلسلة أمامية يستخدم خوارزمية Rete ويتوافق مع واجهة برمجة تطبيقات محرك قواعد جافا (JSR 94).
• EYE ، محرك استدلال يقوم بالتسلسل الأمامي والخلفي على طول مسارات أويلر، ويدعم حزمة الويب الدلالي وينفذ Notation3 .
• D3web ، منصة للأنظمة القائمة على المعرفة ( الأنظمة الخبيرة ).
• Flora-2 ، وهو نظام تمثيل المعرفة والاستدلال الموجه نحو الكائنات والقائم على القواعد.
• Jena ، إطار عمل مفتوح المصدر للويب الدلالي للغة Java والذي يتضمن عددًا من وحدات الاستدلال الدلالي المختلفة.
• OWLSharp ، مكتبة .NET خفيفة الوزن وسهلة الاستخدام لتحقيق تطبيقات الويب الدلالي الذكية.
• NRules هو محرك قواعد قائم على الاستدلال التسلسلي الأمامي، مُنفذ بلغة C# ، ويستخدم تطبيقًا مُحسّنًا لخوارزمية Rete.
• Prova ، محرك قواعد الويب الدلالي الذي يدعم تكامل البيانات عبر استعلامات SPARQL وأنظمة الأنواع (RDFS، و OWL كنظام أنواع).
• DIP ، أو منصة الاستدلال القابل للتراجع (DIP)، هي أداة استدلال بلغة الأنطولوجيا على الويب ، ومكوّن إضافي لبرنامج Protégé على سطح المكتب، تُستخدم لتمثيل الاستدلال باستخدام التضمين القابل للتراجع والاستدلال به. ^{[ 3 ]} وهي تُطبّق أسلوب الاستدلال بالاستلزام التفضيلي الذي يُختزل إلى "الاستلزام الكلاسيكي"، أي دون الحاجة إلى تعديل إجراء اتخاذ القرار الأساسي.

S-LOR (قواعد مفتوحة مرتبطة قائمة على المستشعرات) برنامج استدلال دلالي، S-LOR يخضع لرخصة GNU GPLv3.

S-LOR (قواعد مفتوحة مرتبطة قائمة على أجهزة الاستشعار) هو محرك استدلال قائم على القواعد ونهج لمشاركة وإعادة استخدام القواعد القابلة للتشغيل البيني لاستنتاج معرفة ذات مغزى من قياسات أجهزة الاستشعار.