لغة الأنطولوجيا

• المنطق المشترك - ولهجاته
• CycL
• دوغما (تطوير الأساليب والتطبيقات القائمة على علم الوجود)
• منطق الإطار (F- Logic)
• FO-dot (منطق الرتبة الأولى الموسع بالأنواع والحساب والتجميعات والتعريفات الاستقرائية)
• KIF (تنسيق تبادل المعرفة)
  • لغة أونتولينغوا مبنية على KIF
• KL-ONE
• لغة برمجة إدارة المعرفة
• لوم (علم الوجود)
• لغة النمذجة المفاهيمية التشغيلية (OCML)
• OKBC ( الربط بقاعدة المعرفة المفتوحة )
• PLIB (مكتبة الأجزاء)
• متسابق

تستخدم هذه اللغات نظام ترميز لترميز المعرفة، وغالبًا ما يكون ذلك باستخدام XML .

• DAML+OIL
• طبقة استدلال الأنطولوجيا (OIL)
• لغة الأنطولوجيا على الويب (OWL)
• إطار وصف الموارد (RDF)
• مخطط RDF (RDFS)
• حذاء

• محاولة استخدام اللغة الإنجليزية المنضبطة ^{[ 1 ]}

• لغة إنجليزية قابلة للتنفيذ

ثلاث لغات هي لغات تعتمد كلياً أو جزئياً على الإطار .

• إف لوجيك
• أو كي بي سي
• كم

يوفر منطق الوصف امتدادًا للغات الإطار ، دون أن يذهب إلى حد القفز إلى منطق الدرجة الأولى ودعم المسندات التعسفية.

• KL-ONE
• متسابق
• بُومَة

تُعدّ لغة جيليش مثالاً على لغة أنطولوجية مُدمجة مع أنطولوجيا قائمة على منطق الوصف. وهي تُميّز بين الاختلافات الدلالية، من بين أمور أخرى، لما يلي:

• أنواع العلاقات بين المفاهيم (الفئات)
• أنواع العلاقات بين الأفراد
• أنواع العلاقات بين الأفراد والفئات

كما يحتوي على بنى للتعبير عن الاستفسارات والنوايا التواصلية.

تدعم العديد من لغات الأنطولوجيا التعبيرات في منطق الرتبة الأولى وتسمح بالمسندات العامة.

• المنطق المشترك
• CycL
• FO-dot (منطق الرتبة الأولى الموسع بالأنواع والحساب والتجميعات والتعريفات الاستقرائية)
• كيف