لغة الأنطولوجيا على الويب

لغة الويب الأنطولوجية ( OWL ) هي عائلة من لغات تمثيل المعرفة لإنشاء الأنطولوجيات . الأنطولوجيات هي طريقة رسمية لوصف التصنيفات وشبكات التصنيف، وتحدد بشكل أساسي بنية المعرفة لمختلف المجالات: الأسماء التي تمثل فئات الأشياء والأفعال التي تمثل العلاقات بين الأشياء.

تُشبه الأنطولوجيات التسلسلات الهرمية للفئات في البرمجة كائنية التوجه، ولكن ثمة اختلافات جوهرية عديدة. فالتسلسلات الهرمية للفئات مُصممة لتمثيل البنى المستخدمة في شفرة المصدر والتي تتطور ببطء نسبيًا (ربما بمراجعات شهرية)، بينما الأنطولوجيات مُصممة لتمثيل المعلومات على الإنترنت، ومن المتوقع أن تتطور باستمرار تقريبًا. وبالمثل، تتميز الأنطولوجيات بمرونة أكبر بكثير، إذ إنها مُصممة لتمثيل المعلومات على الإنترنت الواردة من مصادر بيانات متنوعة. أما التسلسلات الهرمية للفئات، من ناحية أخرى، فتميل إلى أن تكون ثابتة نسبيًا، وتعتمد على مصادر بيانات أقل تنوعًا وأكثر تنظيمًا، مثل قواعد بيانات الشركات. ^{[ 1 ]}

تتميز لغات OWL بدلالات رسمية . وهي مبنية على معيار اتحاد شبكة الويب العالمية (W3C) للكائنات، والذي يُسمى إطار وصف الموارد (RDF). ^{[ 2 ]} وقد حظيت لغات OWL وRDF باهتمام أكاديمي وطبي وتجاري كبير.

في أكتوبر 2007، ^{[ 3 ]} تم تشكيل فريق عمل جديد تابع لاتحاد شبكة الويب العالمية (W3C) ^{[ 4 ]} لتوسيع لغة OWL بإضافة العديد من الميزات الجديدة كما هو مقترح في طلب أعضاء OWL 1.1. ^{[ 5 ]} أعلن اتحاد شبكة الويب العالمية عن الإصدار الجديد من OWL في 27 أكتوبر 2009. ^{[ 6 ]} سرعان ما شق هذا الإصدار الجديد، المسمى OWL 2، طريقه إلى محررات الدلالات مثل Protégé وبرامج الاستدلال الدلالي مثل Pellet، ^{[ 7 ]} و RacerPro، ^{[ 8 ]} و FaCT++ ^{، [ 9 ]}^{[ 10 ]} وHermiT. ^{[ 11 ]}

تضم عائلة OWL العديد من الأنواع والتسلسلات والصيغ والمواصفات ذات الأسماء المتشابهة. يُستخدم مصطلحا OWL وOWL2 للإشارة إلى مواصفات عامي 2004 و2009 على التوالي. سيتم استخدام الأسماء الكاملة للأنواع، بما في ذلك إصدار المواصفات (على سبيل المثال، OWL2 EL). عند الإشارة بشكل عام، سيتم استخدام مصطلح عائلة OWL . ^{[ 12 ]}^{[ 13 ]}^{[ 14 ]}

تاريخ

لغات الأنطولوجيا المبكرة

للتطور الأنطولوجي تاريخ طويل في الفلسفة وعلوم الحاسوب. منذ تسعينيات القرن الماضي، استكشفت العديد من الجهود البحثية كيفية توظيف فكرة تمثيل المعرفة (KR) المستمدة من الذكاء الاصطناعي (AI) على شبكة الإنترنت العالمية. وشملت هذه الجهود لغات مبنية على لغة HTML (تُسمى SHOE)، وأخرى مبنية على لغة XML (تُسمى XOL، ثم OIL)، بالإضافة إلى لغات تمثيل المعرفة القائمة على الإطارات ومناهج اكتساب المعرفة المختلفة .

لغات الأنطولوجيا للويب

في عام 2000، بدأت وكالة مشاريع الأبحاث الدفاعية المتقدمة (DARPA) في الولايات المتحدة الأمريكية بتطوير لغة DAML بقيادة جيمس هندلر . ^{[ 15 ]} وفي مارس 2001، قررت اللجنة المشتركة بين الاتحاد الأوروبي والولايات المتحدة المعنية بلغات ترميز الوكلاء دمج DAML مع OIL . ^[¹⁵^] وشُكِّل فريق عمل مشترك مخصص بين الاتحاد الأوروبي والولايات المتحدة معني بلغات ترميز الوكلاء لتطوير DAML +OIL كلغة أنطولوجيا للويب. وقد مُوِّل هذا الفريق بشكل مشترك من قِبل DARPA (ضمن برنامج DAML) ومشروع تمويل تقنيات مجتمع المعلومات (IST) التابع للاتحاد الأوروبي. وكان الهدف من DAML+OIL أن تكون طبقةً رقيقةً فوق RDFS ، ^[¹⁵^] ذات دلالات رسمية تستند إلى منطق وصفي (DL). ^[¹⁶^]

يُعدّ DAML+OIL مصدر إلهام رئيسي للغة OWL؛ وقد استند تصميم OWL تحديدًا على DAML+OIL. ^{[ 17 ]}

معايير الويب الدلالي

يوفر الويب الدلالي إطار عمل مشترك يسمح بمشاركة البيانات وإعادة استخدامها عبر حدود التطبيقات والمؤسسات والمجتمعات.

— اتحاد شبكة الويب العالمية، نشاط الويب الدلالي W3C ^{[ 18 ]}

مخطط RDF

لغة تمثيل تصريحية متأثرة بأفكار من تمثيل المعرفة

— اتحاد شبكة الويب العالمية، نشاط البيانات الوصفية ^{[ 19 ]}

في أواخر التسعينيات، بدأ نشاط البيانات الوصفية التابع لاتحاد شبكة الويب العالمية (W3C) العمل على مخطط RDF (RDFS)، وهي لغة لمشاركة مفردات RDF . أصبح RDF توصية من W3C في فبراير 1999، وأصبح RDFS توصية مرشحة في مارس 2000. ^{[ 19 ]} في فبراير 2001، حلّ نشاط الويب الدلالي محل نشاط البيانات الوصفية. ^{[ 19 ]} في عام 2004 (كجزء من مراجعة أوسع لـ RDF)، أصبح RDFS توصية من W3C. ^{[ 20 ]} على الرغم من أن RDFS يوفر بعض الدعم لتحديد الأنطولوجيا، فقد باتت الحاجة إلى لغة أنطولوجية أكثر تعبيرًا واضحة. ^{[ 21 ]}

مجموعة عمل علم الوجود على الويب

اعتبارًا من يوم الاثنين الموافق 31 مايو، ستنتهي أعمال فريق العمل رسميًا. لقد أنجزنا جميع المهام الموكلة إلينا، وأعتقد أن عملنا يحظى بتقدير كبير.

— جيمس هندلر وجوس شرايبر، مجموعة عمل علم الوجود على الويب: الاستنتاجات والعمل المستقبلي ^{[ 22 ]}

أنشأ اتحاد شبكة الويب العالمية (W3C) فريق عمل علم الوجود على الويب كجزء من نشاط الويب الدلالي. بدأ الفريق عمله في 1 نوفمبر 2001، برئاسة مشتركة من جيمس هندلر وغوس شرايبر. ^{[ 22 ]} نُشرت المسودات الأولى لبنية الجملة المجردة والمرجع والملخص في يوليو 2002. ^{[ 22 ]} أصبح OWL توصية رسمية من W3C في 10 فبراير 2004، وتم حل فريق العمل في 31 مايو 2004. ^{[ 22 ]}

مجموعة عمل OWL

في عام ٢٠٠٥، وخلال ورشة عمل تجارب وتوجهات لغة OWL، تم التوصل إلى توافق في الآراء بأن التطورات الحديثة في منطق الوصف ستتيح مراجعة أكثر تعبيرًا لتلبية متطلبات المستخدمين بشكل أشمل مع الحفاظ على خصائص حسابية جيدة. في ديسمبر ٢٠٠٦، تم تقديم مقترح OWL1.1 للأعضاء ^{[ ٢٣ ]} إلى اتحاد شبكة الويب العالمية (W3C). وفي سبتمبر ٢٠٠٧، أنشأ اتحاد شبكة الويب العالمية (W3C) فريق عمل OWL كجزء من نشاط الويب الدلالي. وفي أبريل ٢٠٠٨، قرر هذا الفريق تسمية هذه اللغة الجديدة OWL2، مما يشير إلى مراجعة جوهرية. ^{[ ٢٤ ]}

أصبحت لغة OWL 2 توصية من اتحاد شبكة الويب العالمية (W3C) في أكتوبر 2009. تُقدّم OWL 2 ملفات تعريف لتحسين قابلية التوسع في التطبيقات النموذجية. ^{[ 6 ]}^{[ 25 ]}

اختصار

لماذا لا يكون هناك تناقض في جانب واحد على الأقل من لغة تتمحور حول الاتساق؟

— جوس شرايبر، لماذا OWL وليس WOL؟ ^{[ 26 ]}

تم اختيار اختصار OWL لسهولة نطقه، ولأنه سيُنتج شعارات جيدة، ويوحي بالحكمة، ويُكرّم مشروع ويليام أ. مارتن لتمثيل المعرفة بلغة عالمية واحدة من سبعينيات القرن الماضي. ^{[ 27 ]}^{[ 28 ]}^{[ 29 ]}

التبني

جمعت دراسة استقصائية أجريت عام 2006 حول الأنطولوجيات المتاحة على الإنترنت 688 أنطولوجيا مكتوبة بلغة OWL. من بينها، 199 أنطولوجيا من نوع OWL Lite، و149 من نوع OWL DL، و337 من نوع OWL Full (حسب الصيغة). ووجد الباحثون أن 19 أنطولوجيا تحتوي على أكثر من 2000 فئة، وأن 6 أنطولوجيات تحتوي على أكثر من 10000 فئة. كما جمعت الدراسة نفسها 587 معجمًا من نوع RDFS. ^{[ 30 ]}

الأنطولوجيا

الأنطولوجيا هي تحديد صريح لمفهوم معين.

— توم غروبر ، نهج الترجمة لمواصفات الأنطولوجيا المحمولة ^[³¹^]

تُفسَّر البيانات الموصوفة بواسطة أنطولوجيا في عائلة OWL على أنها مجموعة من "الأفراد" ومجموعة من "تأكيدات الخصائص" التي تربط هؤلاء الأفراد ببعضهم البعض. تتكون الأنطولوجيا من مجموعة من البديهيات التي تفرض قيودًا على مجموعات الأفراد (المسماة "الفئات") وأنواع العلاقات المسموح بها بينها. توفر هذه البديهيات دلالات من خلال السماح للأنظمة باستنتاج معلومات إضافية بناءً على البيانات المُقدمة صراحةً. يُقدَّم شرحٌ وافٍ لقدرات OWL التعبيرية في دليل OWL الصادر عن اتحاد شبكة الويب العالمية (W3C) . ^{[ 32 ]}

يمكن لـ OWL أن تستورد أنطولوجيات أخرى، وتضيف معلومات من الأنطولوجيا المستوردة إلى الأنطولوجيا الحالية. ^{[ 17 ]}

مثال

قد يتضمن نموذج وصف العائلات بديهيات تنص على أن خاصية "له أم" لا توجد بين فردين إلا بوجود خاصية "له أب" أيضًا، وأن الأفراد من فئة "له فصيلة دم O" لا يرتبطون أبدًا عبر خاصية "له أب" بأفراد فئة "له فصيلة دم ABB". فإذا ذُكر أن الفرد هارييت مرتبط عبر خاصية "له أم" بالفرد سو، وأن هارييت تنتمي إلى فئة "له فصيلة دم O"، فإنه يُستنتج أن سو لا تنتمي إلى فئة "له فصيلة دم ABB". لكن هذا صحيح فقط إذا كان مفهوما "الأب" و"الأم" يشيران فقط إلى الوالد البيولوجي أو الأم، وليس الوالد الاجتماعي أو الأم.

منطق

لاختيار مجموعة فرعية من منطق الرتبة الأولى قابلة للتقرير، تم استخدام منطق القضايا ، مما زاد من قوته عن طريق إضافة المنطق المُمثل بالاتفاقية باستخدام الاختصارات:

حرف أو رمز المنطق	وصف
${\mathcal {AL}}$	التضمين والتكافؤ بين الفئات، تعريف الفئات الذرية، فئة الكون، التقاطع بين الفئات، تعريفات الفئات المُشكَّلة من عناصر تُشارك في علاقات أو تربطها علاقة من نوع مُحدد فقط بعناصر فئة مُحددة، عامل التطابق بين الأفراد وانتماء الفرد إلى فئة
${\mathcal {ALC}}$	يضيف إلى AL الفئة الفارغة، والفئات المكملة، واتحاد الفئات، وفئات العناصر التي تربطها علاقة معينة بعناصر فئة معينة.
${\mathcal {S}}$	يضيف تعريف خاصية التعدي في العلاقة إلى ALC
${\mathcal {H}}$	الإدماج والتكافؤ بين العلاقات
${\mathcal {R}}$	انفصال الخصائص، والانعكاسية، وعدم التناظر، وعدم الانعكاسية، والعلاقات المؤلفة من علاقات أخرى، وتعريف عدم وجود علاقة بين شخصين
${\mathcal {O}}$ (واحد من)	إنشاء الفئات من خلال قائمة بجميع الأفراد الموجودين فيها فقط
${\mathcal {I}}$ (يعكس)	تعريف الخاصية العكسية
${\mathcal {F}}$ (ميزة)	تعريف الخصائص الوظيفية
${\mathcal {N}}$ (رقم)	قيد العددية: عدد العناصر المشاركة في علاقة معينة أقل من أو أكبر من أو يساوي قيمة n
${\mathcal {Q}}$ (مؤهَل)	مثل N، ولكن يمكن تحديد العلاقة
${\mathcal {D}}_{n}$ (نطاق قابل للعد)	تعريف المجالات ( أنواع البيانات ) التي يمكن أن تؤدي إليها العلاقة (على سبيل المثال "ماريو يبلغ من العمر ن سنة").

صِنف

لهجات البومة

تتضمن مواصفات لغة OWL المعتمدة من قبل اتحاد شبكة الويب العالمية (W3C) تعريف ثلاثة أنواع من لغة OWL، بمستويات تعبيرية مختلفة. وهي: OWL Lite وOWL DL وOWL Full (مرتبة حسب تزايد التعبيرية). كل لغة فرعية من هذه اللغات هي امتداد نحوي للغة الأصلية الأبسط. وتسري مجموعة العلاقات التالية، بينما لا تسري معكوساتها.

كل أنطولوجيا قانونية في OWL Lite هي أنطولوجيا قانونية في OWL DL.
كل أنطولوجيا OWL DL قانونية هي أنطولوجيا OWL كاملة قانونية.
كل استنتاج صحيح في OWL Lite هو استنتاج صحيح في OWL DL.
كل استنتاج صحيح في OWL DL هو استنتاج صحيح في OWL Full.

OWL Lite

كان الهدف الأصلي من OWL Lite هو دعم المستخدمين الذين يحتاجون بشكل أساسي إلى تسلسل هرمي للتصنيف وقيود بسيطة. على سبيل المثال، على الرغم من دعمه لقيود العدد، إلا أنه لا يسمح إلا بقيم عددية تساوي 0 أو 1. كان يُؤمل أن يكون توفير دعم الأدوات لـ OWL Lite أسهل من نظيراتها الأكثر تعبيرًا، مما يسمح بمسار انتقال سريع للأنظمة التي تستخدم قواميس المصطلحات وتصنيفات أخرى . مع ذلك، عمليًا، فإن معظم قيود التعبير المفروضة على OWL Lite لا تتعدى كونها صعوبات نحوية بسيطة: إذ يمكن بناء معظم البنى المتاحة في OWL DL باستخدام تركيبات معقدة من ميزات OWL Lite، وهي بنفس مستوى التعبير الذي تتمتع به منطق الوصف. ${\mathcal {SHIF}}(\mathbf {D} )$ ^{[ 24 ]} وبالتالي ، فقد ثبت أن تطوير أدوات OWL Lite يكاد يكون بنفس صعوبة تطوير أدوات OWL DL، ولذلك فإن OWL Lite ليس شائع الاستخدام. ^{[ 24 ]}

OWL DL

صُممت لغة OWL DL لتوفير أقصى قدر ممكن من التعبير مع الحفاظ على اكتمال الحساب (إما أن تكون φ صحيحة أو ¬φ صحيحة)، وقابلية الحسم (يوجد إجراء فعال لتحديد ما إذا كانت φ قابلة للاشتقاق أم لا)، وتوافر خوارزميات استدلال عملية. تتضمن OWL DL جميع بنيات لغة OWL، ولكن لا يمكن استخدامها إلا في ظل قيود معينة (على سبيل المثال، لا يجوز فرض قيود عددية على الخصائص المُعلنة على أنها متعدية؛ وبينما يمكن أن تكون فئة ما فئة فرعية من عدة فئات، لا يمكن أن تكون فئة ما مثالًا لفئة أخرى). سُميت OWL DL بهذا الاسم نظرًا لتوافقها مع منطق الوصف ، وهو مجال بحثي درس المنطق الذي يُشكل الأساس الرسمي للغة OWL.

ويمكن التعبير عن هذا على النحو التالي: ${\mathcal {SHOIN}}(\mathbf {D} )$ باستخدام منطق الأحرف المذكور أعلاه.

بومة كاملة

تعتمد لغة OWL Full على دلالات مختلفة عن OWL Lite أو OWL DL، وقد صُممت للحفاظ على قدر من التوافق مع مخطط RDF. على سبيل المثال، في OWL Full، يمكن التعامل مع الصنف في آنٍ واحد كمجموعة من الأفراد وكفرد مستقل؛ وهذا غير مسموح به في OWL DL. تسمح OWL Full للأنطولوجيا بتوسيع معنى المفردات المُحددة مسبقًا (RDF أو OWL). لغة OWL Full غير قابلة للتقرير، لذا لا يستطيع أي برنامج استدلال إجراء استدلال كامل لها.

ملفات تعريف OWL2

يوجد في OWL2 ثلاث لغات فرعية (تُعرف باسم الملفات التعريفية ): ^{[ 25 ]}

OWL2 EL عبارة عن جزء من لغة برمجة يتميز بتعقيد زمني متعدد الحدود. وهو يعتمد على منطق الوصف. ${\mathcal {EL}}$ [ ³³^]
تم تصميم OWL2 QL لتسهيل الوصول إلى البيانات المخزنة في قواعد البيانات والاستعلام عنها. وهو يعتمد على عائلة DL-Lite من منطق الوصف. ^{[ 34 ]}
OWL2 RL هي مجموعة فرعية من قواعد OWL 2 (يشير الاختصار "RL" إلى "لغة القواعد"). وهي مبنية على ما يُسمى ببرامج منطق الوصف (DLP). ^{[ 35 ]} لاحقًا، تم تطوير منطق يُسمى ${\mathcal {RL}}$ تم إدخال ما يتوافق مع هذا الملف التعريفي. ^{[ 36 ]}

بناء الجملة

تدعم عائلة لغات OWL مجموعة متنوعة من الصيغ النحوية. ومن المفيد التمييز بين الصيغ النحوية عالية المستوى التي تهدف إلى تحديد المواصفات، والصيغ النحوية التبادلية الأكثر ملاءمة للاستخدام العام.

مستوى عالٍ

هذه قريبة من بنية الأنطولوجيا للغات في عائلة OWL.

بناء الجملة المجرد في لغة OWL

تُستخدم بنية عالية المستوى لتحديد بنية ودلالات أنطولوجيا OWL. ^{[ 37 ]}

يُقدّم بناء جملة OWL المجرد الأنطولوجيا كسلسلة من التعليقات التوضيحية والمسلمات والحقائق . تحمل التعليقات التوضيحية بيانات وصفية موجهة للآلة والإنسان. أما المعلومات المتعلقة بالفئات والخصائص والأفراد الذين يُكوّنون الأنطولوجيا، فتُوجد فقط في المسلمات والحقائق. كل فئة وخاصية وفرد إما مجهول أو مُعرّف بواسطة مرجع URI . تُبيّن الحقائق بيانات إما عن فرد أو عن زوج من مُعرّفات الأفراد (أي أن الكائنات المُعرّفة مُختلفة أو مُتشابهة). تُحدّد المسلمات خصائص الفئات والخصائص. يُشبه هذا الأسلوب لغات الإطار ، ويختلف تمامًا عن بناء الجمل المعروف للغات وصف البيانات وإطار وصف الموارد (RDF). ^{[ 37 ]}

يجادل شون بيشوفير وآخرون بأنه على الرغم من صعوبة تحليل هذا التركيب، إلا أنه ملموس تمامًا. ويخلصون إلى أن مصطلح " التركيب المجرد" قد يكون مضللًا إلى حد ما. ^{[ 38 ]}

بناء الجملة الوظيفي OWL2

يتبع هذا التركيب النحوي بنية أنطولوجيا OWL2 بشكل وثيق. ويستخدمه OWL2 لتحديد الدلالات، والربط بين تركيبات التبادل والملفات التعريفية. ^{[ 39 ]}

تبادل الصيغ

صيغ RDF

تم تحديد عمليات الربط النحوي إلى RDF ^{[ 37 ]}^{[ 41 ]} للغات المنتمية إلى عائلة OWL. وقد تم ابتكار العديد من صيغ تسلسل RDF ، حيث تؤدي كل منها إلى بناء جملة للغات المنتمية إلى عائلة OWL من خلال هذا الربط. RDF/XML معياري. ^{[ 37 ]}^{[ 41 ]}

بناء جملة OWL2 XML

تحدد لغة OWL2 تسلسل XML الذي يحاكي بدقة بنية أنطولوجيا OWL2. ^{[ 42 ]}

بناء جملة مانشستر

تُعدّ صيغة مانشستر صيغةً مختصرةً وسهلة القراءة، ذات أسلوبٍ قريبٍ من لغات الإطار. وتتوفر منها صيغٌ مختلفةٌ للغة OWL وOWL2. ولا يمكن التعبير عن جميع أنطولوجيات OWL وOWL2 بهذه الصيغة. ^{[ 43 ]}

أمثلة

توفر لغة W3C OWL 2 Web Ontology أمثلة على بناء الجملة. ^{[ 44 ]}

علم وجود الشاي

لنفترض وجود أنطولوجيا للشاي مبنية على فئة Tea. أولًا، نحتاج إلى مُعرِّف أنطولوجي. يجب تعريف كل أنطولوجيا OWL بواسطة مُعرِّف موارد موحد ( URI ) ( مثلًا: http://www.example.org/tea.owl ). يُوضِّح هذا المثال بنية اللغة. ولتوفير المساحة، تم حذف المقدمات وتعريفات البادئات.

بناء الجملة الوظيفي OWL2

الأنطولوجيا ( <http://example.org/tea.owl> الإعلان ( فئة ( : شاي ) ) )

بناء جملة OWL2 XML

<Ontology ontologyIRI= "http://example.org/tea.owl" ... > <Prefix name= "owl" IRI= "http://www.w3.org/2002/07/owl#" /> <Declaration> <Class IRI= "Tea" /> </Declaration> </Ontology>

بناء جملة مانشستر

الأنطولوجيا : <http://example.org/tea.owl> الفئة : شاي

صيغة RDF/XML

<rdf:RDF ... > <owl:Ontology rdf:about= "http://www.example.org/tea.owl" /> <owl:Class rdf:about= "#Tea" /> </rdf:RDF>

RDF/ السلحفاة

<http://example.org/tea.owl> rdf : type owl : Ontology . : Tea rdf : type owl : Class .

علم الدلالة

العلاقة بمنطق الوصف

تتوافق فئات OWL مع مفاهيم منطق الوصف (DL) ، وتتوافق خصائص OWL مع أدوار DL ، بينما يُطلق على الأفراد نفس الاسم في كل من مصطلحات OWL وDL. ^[⁴⁵^]

في البداية، كان مفهوم IS-A بسيطًا للغاية. أما اليوم، فهناك معانٍ عديدة لهذا الرابط الوراثي تقارب عدد أنظمة تمثيل المعرفة.

— رونالد ج. براخمان ، ما هو وما ليس كذلك ^[⁴⁶^]

واجهت المحاولات المبكرة لبناء أنطولوجيات ضخمة مشكلة نقص التعريفات الواضحة. أما أعضاء عائلة OWL، فلديهم دلالات رسمية قائمة على نظرية النماذج ، وبالتالي يتمتعون بأسس منطقية قوية .

منطق الوصف هو عائلة من المنطق تُعدّ أجزاءً قابلة للتقرير من منطق الرتبة الأولى، وتتميز بخصائص حسابية جذابة ومفهومة جيدًا. تستند دلالات OWL DL وOWL Lite إلى منطق الوصف. ^{[ 47 ]} فهي تجمع بين بناء جملة لوصف وتبادل الأنطولوجيات، ودلالات رسمية تُضفي عليها معنى. على سبيل المثال، يتوافق OWL DL مع... ${\mathcal {SHOIN}}^{\mathcal {(D)}}$ منطق الوصف، بينما يتوافق OWL 2 مع ${\mathcal {SROIQ}}^{\mathcal {(D)}}$ المنطق. ^{[ 48 ]} توجد أنظمة استدلال سليمة وكاملة ومنتهية (أي أنظمة مضمونة لاستخلاص كل نتيجة للمعرفة في علم الوجود) لهذه اللغات المنطقية.

العلاقة بـ RDFS

يهدف OWL Full إلى التوافق مع مخطط RDF (RDFS)، وإلى توسيع معاني مفردات إطار وصف الموارد (RDF) الحالية. ^{[ 49 ]} يصف نموذج نظري الدلالات الرسمية لـ RDF. ^{[ 50 ]} يوفر هذا التفسير معنى مفردات RDF وRDFS. لذا، فإن معنى أنطولوجيات OWL Full مُحدد بتوسيع معنى RDFS، وOWL Full هو امتداد دلالي لـ RDF. ^{[ 51 ]}

افتراض العالم المفتوح

يفترض افتراض العالم المغلق أن كل ما لا نعرفه خاطئ ، بينما ينص افتراض العالم المفتوح على أن كل ما لا نعرفه غير محدد .

— ستيفانو مازوتشي، العالم المغلق مقابل العالم المفتوح: أول معركة للويب الدلالي ^{[ 52 ]}

تعتمد لغات عائلة OWL على فرضية العالم المفتوح . وبموجب هذه الفرضية، إذا تعذر إثبات صحة عبارة ما بالمعرفة الحالية، فلا يمكننا استنتاج أنها خاطئة.

بالمقارنة مع اللغات الأخرى

تتكون قاعدة البيانات العلائقية من مجموعات من الصفوف ذات السمات المتشابهة . لغة SQL هي لغة استعلام وإدارة لقواعد البيانات العلائقية. أما لغة Prolog فهي لغة برمجة منطقية . وتعتمد كلتا اللغتين على فرضية العالم المغلق .

الأنطولوجيات العامة

المكتبات

الطب الحيوي

OBO Foundry ^{[ 53 ]}^{[ 54 ]}
بوابة NCBO الحيوية ^{[ 55 ]}
خدمات مفردات المؤسسة التابعة لمعهد السرطان الوطني

المعايير

علم الوجود المدمج العلوي المقترح (SUMO) ^{[ 56 ]}
TDWG ^{[ 57 ]}
PROV-O، ^{[ 58 ]} نسخة الأنطولوجيا من PROV-DM التابع لـ W3C ^{[ 59 ]}
علم الوجود الرسمي الأساسي (BFO) ^{[ 60 ]}
علم الوجود الأوروبي لنمذجة المواد (EMMO) ^{[ 61 ]}

المتصفحات

تتضمن الأدوات التالية متصفحات الأنطولوجيا العامة:

برنامج الحماية OWL ^{[ 62 ]}

يبحث

سووجل

القيود

لا يوجد دعم لغوي مباشر للعلاقات متعددة الأطراف. على سبيل المثال، قد يرغب مصممو النماذج في وصف خصائص علاقة ما، أو ربط أكثر من شخصين، أو ربط شخص بقائمة. لا يمكن القيام بذلك ضمن لغة OWL. قد يحتاجون بدلاً من ذلك إلى اعتماد نمط يُشفّر المعنى خارج نطاق الدلالات الرسمية. ^{[ 63 ]}

انظر أيضاً

RDF – لغة رسمية لوصف نماذج البيانات
التكنولوجيا الدلالية – تكنولوجيا تساعد الآلات على فهم البيانات
أغريس: النظام الدولي للمعلومات في العلوم والتكنولوجيا الزراعية - قاعدة بيانات عالمية متاحة للعموم. صفحات تعرض وصفًا موجزًا لوجهات إعادة التوجيه.
المنطق المشترك – إطار عمل لمجموعة من لغات المنطق
FOAF – أنطولوجيا الويب الدلالي لوصف العلاقات بين الأشخاص. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه.
DOAC
لغة الإطار – بنية بيانات الذكاء الاصطناعي. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه.
علم الوجود الجيوسياسي – نوع من أنواع القواميس
مجموعة الأفكار – مجموعة عمل لهياكل المؤسسات العسكرية
مرفق الكائنات الوصفية (MOF) - معيار مجموعة إدارة الكائنات، وهو معيار مختلف للغة النمذجة الموحدة (UML).
الفئة الوصفية (الويب الدلالي) ، وهي ميزة تسمح بها لغة OWL لتمثيل المعرفة
لغة أنطولوجيا الويب متعددة الوسائط
برنامج استدلالي دلالي – برنامج قادر على استنتاج النتائج المنطقية
SKOS – توصية W3C: صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه
SSWAP ، بنية وبروتوكول الويب الدلالي البسيط
SHACL – معيار اتحاد شبكة الويب العالمية، لغة الأشكال والقيود لـ RDF

مراجع

↑ كنوبلاوخ، هولجر؛ أوبرلي، دانيال؛ تيتلو، فيل؛ والاس، إيفان (9 مارس 2006). "مقدمة في الويب الدلالي لمطوري البرمجيات الموجهة للكائنات" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 19 نوفمبر 2017 .
↑ "نظرة عامة على وثيقة لغة الأنطولوجيا على الويب OWL 2 (الطبعة الثانية)" . W3C . 11 ديسمبر 2012.
↑ "الجدول الزمني لمعايير W3C الخاصة بـ XML والويب الدلالي" (ملف PDF) . مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 24 أبريل 2013. تم الاطلاع عليه بتاريخ 28 يونيو 2013 .
↑ "OWL" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "طلب تقديم إلى اتحاد شبكة الويب العالمية: لغة OWL 1.1 لعلم الوجود على الويب" . اتحاد شبكة الويب العالمية. 19 ديسمبر 2006.
1 2 "معيار W3C يُسهّل إدارة البيانات وتكاملها" . W3.org. 27 أكتوبر 2009. تم الاطلاع عليه بتاريخ 15 أكتوبر 2013 .
↑ سيرين، إي.؛ بارسيا، ب.؛ غراو، ب.س.؛ كاليانبور، أ.؛ كاتز، ي. (2007). "بيليت: مُستدل عملي بلغة OWL-DL" (ملف PDF) . دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 5 (2): 51-53 . doi : 10.1016/j.websem.2007.03.004 . S2CID 101226. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 27 يونيو 2007.
↑ "RACER - الصفحة الرئيسية" . Racer-systems.com . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ تساركوف، د.؛ هوروكس، إ. (2006). "مُستَخرِج منطق الوصف FaCT++: وصف النظام" (ملف PDF) . الاستدلال الآلي . سلسلة محاضرات في علوم الحاسوب. المجلد 4130. الصفحات 292-297 . CiteSeerX 10.1.1.65.2672 . doi : 10.1007/11814771_26 . ISBN 978-3-540-37187-8.
↑ "أرشيف جوجل كود - تخزين طويل الأمد لاستضافة مشاريع جوجل كود" . Code.google.com . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "الصفحة الرئيسية" . برنامج HermiT Reasoner . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ بيرنرز-لي، تيم؛ جيمس هندلر؛ أورا لاسيللا (17 مايو 2001). "الويب الدلالي: شكل جديد من محتوى الويب ذي معنى للحواسيب سيُطلق ثورة من الإمكانيات الجديدة" . مجلة ساينتفك أمريكان . 284 (5): 34-43 . doi : 10.1038/scientificamerican0501-34 . مؤرشف من الأصل في 24 أبريل 2013.
↑ جون هيبيلر (13 أبريل 2009). برمجة الويب الدلالي . وايلي. ISBN 978-0-470-41801-7.
↑ سيغاران، توبي؛ إيفانز، كولين؛ تايلور، جيمي (24 يوليو 2009). برمجة الويب الدلالي . دار نشر أورايلي ميديا. رقم ISBN 978-0-596-15381-6.
1 2 3 لاسي، لي دبليو. (2005). "الفصل 10". OWL: تمثيل المعلومات باستخدام لغة أنطولوجيا الويب . فيكتوريا، كولومبيا البريطانية: دار ترافورد للنشر. ISBN 978-1-4120-3448-7.
↑ بادر، فرانز ؛ هوروكس، إيان ؛ ساتلر، أولريك (2005). "منطق الوصف كلغات أنطولوجية للويب الدلالي" . في: هوتر، ديتر ؛ ستيفان، فيرنر (محرران). ميكنة الاستدلال الرياضي: مقالات تكريمًا ليورغ هـ. سيكمان بمناسبة عيد ميلاده الستين . هايدلبرغ، ألمانيا: سبرينغر برلين. ISBN 978-3-540-25051-7.
هوروكس، إيان؛ باتيل-شنايدر، بيتر ف.؛ فان هارميلين، فرانك (2003). "من SHIQ وRDF إلى OWL: نشأة لغة أنطولوجيا الويب". دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 1 ( 1 ): 7-26 . CiteSeerX 10.1.1.2.7039 . doi : 10.1016/j.websem.2003.07.001 . S2CID 8277015 .
↑ اتحاد شبكة الويب العالمية (6 فبراير 2010). "نشاط الويب الدلالي لاتحاد شبكة الويب العالمية" . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
1 2 3 اتحاد شبكة الويب العالمية (23 أغسطس 2002). "بيان نشاط البيانات الوصفية" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 20 أبريل 2010 .
↑ اتحاد شبكة الويب العالمية (23 أغسطس 2002). "لغة وصف مفردات RDF 1.0: مخطط RDF" . لغة وصف مفردات RDF 1.0 . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 20 أبريل 2010 .
↑ لاسي، لي و. (2005). "الفصل 9 - RDFS". OWL: تمثيل المعلومات باستخدام لغة أنطولوجيا الويب . فيكتوريا، كولومبيا البريطانية: دار ترافورد للنشر. ISBN 978-1-4120-3448-7.
1 2 3 4 "مجموعة عمل علم الوجود على الويب (WebOnt) (مغلقة)" . W3C.
↑ باتيل-شنايدر، بيتر ف .؛ هوروكس، إيان (19 ديسمبر 2006). "لغة OWL 1.1 لعلم الوجود على الويب" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 26 أبريل 2010 .
1 2 3 غراو، بي سي؛ هوروكس، آي ؛ موتيك، بي؛ بارسيا، بي؛ باتيل-شنايدر، بي إف؛ ساتلر، يو. (2008). "OWL 2: الخطوة التالية لـ OWL" (ملف PDF) . دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 6 (4): 309-322 . doi : 10.1016/j.websem.2008.05.001 .
1 2 "ملفات تعريف لغة الويب OWL 2 (الطبعة الثانية)" . W3C . 11 ديسمبر 2012.
↑ هيرمان، إيفان . "لماذا OWL وليس WOL؟" . دليل تعليمي حول تقنيات الويب الدلالي . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
↑ "ردًا على: الاسم: SWOL مقابل WOL" . رسالة تم إرسالها إلى القائمة البريدية W3C webont-wg في 27 ديسمبر 2001 .
↑ إيان هوروكس (2012). "الاستدلال الأنطولوجي: لماذا وكيف" (ملف PDF) . ص 7. تم الاطلاع عليه بتاريخ 28 يناير 2014 .
↑ "OWL: النسخة الأصلية" . 7 يوليو 2003. تم الاطلاع عليه بتاريخ 22 مارس 2020 .
↑ وانغ، تي دي؛ بارسيا، بي؛ هندلر، جيه. (2006). "مسح شامل لمشهد أنطولوجيا الويب". الويب الدلالي - ISWC 2006. سلسلة محاضرات في علوم الحاسوب. المجلد 4273. ص 682. doi : 10.1007/11926078_49 . ISBN 978-3-540-49029-6.
↑ غروبر، توم (1993)؛ "نهج ترجمة لمواصفات الأنطولوجيا المحمولة" ، في اكتساب المعرفة ، 5: 199-199
↑ "دليل لغة علم الوجود على الويب OWL" . W3C .
^ بادر، فرانز؛ براندت، سيباستيان. لوتز، كارستن (2005). دفع ${\mathcal {EL}}$ غلاف . وقائع المؤتمر الدولي المشترك التاسع عشر حول الذكاء الاصطناعي. سان فرانسيسكو، كاليفورنيا، الولايات المتحدة الأمريكية: دار نشر مورغان كوفمان. الصفحات 364-369 .
↑ كالفانيزي، دييغو؛ دي جياكومو، جوزيبي؛ ليمبو، دومينيكو؛ لينزيريني، ماوريتسيو؛ روزاتي، ريكاردو (2007). "الاستدلال القابل للتتبع والإجابة الفعالة على الاستعلامات في منطق الوصف: عائلة DL-Lite". مجلة الاستدلال الآلي . 39 (3): 385-429 . doi : 10.1007/s10817-007-9078-X .
↑ غروسوف، بنيامين ن.؛ هوروكس، إيان؛ فولز، رافائيل؛ ديكر، ستيفان (2003). برامج منطق الوصف: دمج برامج المنطق مع منطق الوصف . وقائع المؤتمر الدولي الثاني عشر للويب العالمي. ACM. ص 48-57 .
↑ كروتزش م، رودولف س، هيتزلر ب (2012). "تعقيدات منطق وصف هورن" (ملف PDF) . معاملات ACM في المنطق الحسابي . 14 (1): 1-36 . doi : 10.1145/2422085.2422087 . تاريخ الاسترجاع: 23 سبتمبر 2024 .
1 2 3 4 باتيل-شنايدر، بيتر ف.؛ هوروكس، إيان؛ باتريك ج.، هايز (10 فبراير 2004). "دلالات لغة OWL لعلم الوجود على الويب والتركيب المجرد" . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .
↑ بيشوفير، شون ؛ باتيل-شنايدر، بيتر ف.؛ توري، دانييلي (10 ديسمبر 2003). "لغة OWL لعلم الوجود على الويب: بناء الجملة المجرد الملموس" . جامعة مانشستر . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
↑ موتيك، بوريس ؛ باتيل-شنايدر، بيتر ف.؛ بارسيا، بيجان (27 أكتوبر 2009). "المواصفات الهيكلية للغة OWL 2 لعلم الوجود على الويب وبنية الجملة الوظيفية" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 18 أبريل 2010 .
↑ أ. شوارتز (سبتمبر 2004). "تسجيل نوع الوسائط application/rdf+xml (RFC3870)" . متتبع بيانات IETF . IETF. ص 2. مؤرشف من الأصل في 17 سبتمبر 2013. تم الاطلاع عليه في 15 أكتوبر 2013 .
1 2 باتيل-شنايدر، بيتر ف.؛ موتيك، بوريس (27 أكتوبر 2009). "لغة OWL 2 لعلم الوجود على الويب: ربطها برسوم بيانية RDF" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 18 أبريل 2010 .
↑ موتيك، بوريس؛ بارسيا، بيجان؛ باتيل-شنايدر، بيتر ف. (27 أكتوبر 2009). "تسلسل XML للغة OWL 2 Web Ontology" . لغة OWL 2 Web Ontology . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .
↑ هوريدج، ماثيو ؛ باتيل-شنايدر، بيتر ف. (27 أكتوبر 2009). "لغة OWL 2 لعلم الوجود على الويب: بناء جملة مانشستر" . W3C . W3C . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
↑ هيتزلر، باسكال ؛ كروتزش، ماركوس ؛ بارسيا، بيجان؛ باتيل-شنايدر، بيتر ف.؛ رودولف، سيباستيان (27 أكتوبر 2009). "مقدمة في لغة OWL 2 لعلم الوجود على الويب" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 15 أكتوبر 2013 .
↑ سيكوس، ليزلي ف. (2017). منطق الوصف في الاستدلال متعدد الوسائط . تشام: دار نشر سبرينغر الدولية. doi : 10.1007/978-3-319-54066-5 . ISBN 978-3-319-54066-5. S2CID 3180114 .
↑ براخمان، رونالد ج. (1983)؛ ما هو وما ليس هو "هو نوع من": تحليل للروابط التصنيفية في الشبكات الدلالية ، مجلة IEEE Computer، المجلد 16، العدد 10، الصفحات 30-36
↑ هوروكس، إيان؛ باتيل-شنايدر، بيتر ف. "اختزال الاستلزام في لغة OWL إلى قابلية إرضاء منطق الوصف" (PDF) .
↑ هيتزلر، باسكال ؛ كروتزش، ماركوس؛ رودولف، سيباستيان (25 أغسطس 2009). أسس تقنيات الويب الدلالي . مطبعة CRCPress. ISBN 978-1-4200-9050-5.
↑ ماكغينيس، ديبورا ؛ فان هارميلين، فرانك (10 فبراير 2004). "نظرة عامة على لغة OWL لعلم الوجود على الويب" . توصية اتحاد شبكة الويب العالمية (W3C) بشأن لغة OWL، لغة علم الوجود على الويب . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
↑ هايز، باتريك (10 فبراير 2004). "دلالات RDF" . إطار وصف الموارد . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .
↑ باتيل-شنايدر، بيتر ف.؛ هايز، باتريك؛ هوروكس، إيان (10 فبراير 2004). "دلالات لغة OWL لعلم الوجود على الويب والبنية المجردة، القسم 5: دلالات نظرية النموذج المتوافقة مع RDF" . توصية اتحاد شبكة الويب العالمية (W3C) بشأن لغة OWL، لغة علم الوجود على الويب . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .
↑ مازوتشي، ستيفانو (16 يونيو 2005). "العالم المغلق مقابل العالم المفتوح: أول معركة للويب الدلالي" . مؤرشف من الأصل في 24 يونيو 2009. تم الاطلاع عليه في 27 أبريل 2010 .
↑ فريق العمل الفني التابع لمكتب إدارة العمليات الخارجية. "مسبك مكتب إدارة العمليات الخارجية" . مسبك مكتب إدارة العمليات الخارجية . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "مصفوفة تنزيل OBO" . مؤرشفة من الأصل بتاريخ 22 فبراير 2007.
↑ "المركز الوطني لعلم الوجود الحيوي الطبي - بوابة علم الوجود الحيوي" . www.bioontology.org . مؤرشف من الأصل في 3 يوليو 2007. تم الاطلاع عليه في 17 يناير 2022 .
↑ "نسخة مؤرشفة" . www.ontologyportal.org . مؤرشفة من الأصل بتاريخ 26 يوليو 2004. تم الاطلاع عليها بتاريخ 17 يناير 2022 .{{cite web}}: CS1 maint: archived copy as title ( link )
↑ "موقع مجتمع GBIF: القسم 1: مراجعة لتصنيفات TDWG" . Community.gbif.org . 12 فبراير 2013. تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "PROV-O: أنطولوجيا PROV" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "PROV-DM: نموذج بيانات PROV" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ "Iso/Iec 21838-2:2021" .
↑ "علم الوجود المادي متعدد المنظورات الأساسي (EMMO)" . GitHub . 28 يناير 2022.
↑ "المُتَحَمَّل" . Protege.stanford.edu . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .
↑ نوي، ناتاشا ؛ ريكتور، آلان (12 أبريل 2006). "تعريف العلاقات متعددة الأطراف على الويب الدلالي" . اتحاد شبكة الويب العالمية . تم الاسترجاع في 17 أبريل 2010 .

للمزيد من القراءة

بيشوفير، شون؛ هوروكس، إيان؛ باتيل-شنايدر، بيتر ف. (2021). "دليل تعليمي حول لغة OWL" . مؤرشف من الأصل في 15 يوليو 2017.
فرانكوني، إنريكو (2002). "مقدمة في منطق الوصف" . الجامعة الحرة في بولزانو.
هوروكس، إيان (2010). منطق الوصف: أساس رسمي للغات وأدوات الأنطولوجيا، الجزء 1: اللغات (ملف PDF) . SemTech 2010.
هوروكس، إيان (2010). منطق الوصف: أساس رسمي للغات وأدوات الأنطولوجيا، الجزء 2: الأدوات (ملف PDF) . SemTech 2010.

[1] كنوبلاوخ، هولجر؛ أوبرلي، دانيال؛ تيتلو، فيل؛ والاس، إيفان (9 مارس 2006). "مقدمة في الويب الدلالي لمطوري البرمجيات الموجهة للكائنات" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 19 نوفمبر 2017 .

[2] "نظرة عامة على وثيقة لغة الأنطولوجيا على الويب OWL 2 (الطبعة الثانية)" . W3C . 11 ديسمبر 2012.

[timelinehistory-3] "الجدول الزمني لمعايير W3C الخاصة بـ XML والويب الدلالي" (ملف PDF) . مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 24 أبريل 2013. تم الاطلاع عليه بتاريخ 28 يونيو 2013 .

[4] "OWL" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[5] "طلب تقديم إلى اتحاد شبكة الويب العالمية: لغة OWL 1.1 لعلم الوجود على الويب" . اتحاد شبكة الويب العالمية. 19 ديسمبر 2006.

[w3.org-6] 1 2 "معيار W3C يُسهّل إدارة البيانات وتكاملها" . W3.org. 27 أكتوبر 2009. تم الاطلاع عليه بتاريخ 15 أكتوبر 2013 .

[7] سيرين، إي.؛ بارسيا، ب.؛ غراو، ب.س.؛ كاليانبور، أ.؛ كاتز، ي. (2007). "بيليت: مُستدل عملي بلغة OWL-DL" (ملف PDF) . دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 5 (2): 51-53 . doi : 10.1016/j.websem.2007.03.004 . S2CID 101226. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 27 يونيو 2007.

[8] "RACER - الصفحة الرئيسية" . Racer-systems.com . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[9] تساركوف، د.؛ هوروكس، إ. (2006). "مُستَخرِج منطق الوصف FaCT++: وصف النظام" (ملف PDF) . الاستدلال الآلي . سلسلة محاضرات في علوم الحاسوب. المجلد 4130. الصفحات 292-297 . CiteSeerX 10.1.1.65.2672 . doi : 10.1007/11814771_26 . ISBN 978-3-540-37187-8.

[10] "أرشيف جوجل كود - تخزين طويل الأمد لاستضافة مشاريع جوجل كود" . Code.google.com . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[11] "الصفحة الرئيسية" . برنامج HermiT Reasoner . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[12] بيرنرز-لي، تيم؛ جيمس هندلر؛ أورا لاسيللا (17 مايو 2001). "الويب الدلالي: شكل جديد من محتوى الويب ذي معنى للحواسيب سيُطلق ثورة من الإمكانيات الجديدة" . مجلة ساينتفك أمريكان . 284 (5): 34-43 . doi : 10.1038/scientificamerican0501-34 . مؤرشف من الأصل في 24 أبريل 2013.

[13] جون هيبيلر (13 أبريل 2009). برمجة الويب الدلالي . وايلي. ISBN 978-0-470-41801-7.

[14] سيغاران، توبي؛ إيفانز، كولين؛ تايلور، جيمي (24 يوليو 2009). برمجة الويب الدلالي . دار نشر أورايلي ميديا. رقم ISBN 978-0-596-15381-6.

[book:lacy:owl:c10-15] 1 2 3 لاسي، لي دبليو. (2005). "الفصل 10". OWL: تمثيل المعلومات باستخدام لغة أنطولوجيا الويب . فيكتوريا، كولومبيا البريطانية: دار ترافورد للنشر. ISBN 978-1-4120-3448-7.

[Baader:2005-16] بادر، فرانز ؛ هوروكس، إيان ؛ ساتلر، أولريك (2005). "منطق الوصف كلغات أنطولوجية للويب الدلالي" . في: هوتر، ديتر ؛ ستيفان، فيرنر (محرران). ميكنة الاستدلال الرياضي: مقالات تكريمًا ليورغ هـ. سيكمان بمناسبة عيد ميلاده الستين . هايدلبرغ، ألمانيا: سبرينغر برلين. ISBN 978-3-540-25051-7.

[horrocks-et-al-17] هوروكس، إيان؛ باتيل-شنايدر، بيتر ف.؛ فان هارميلين، فرانك (2003). "من SHIQ وRDF إلى OWL: نشأة لغة أنطولوجيا الويب". دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 1 ( 1 ): 7-26 . CiteSeerX 10.1.1.2.7039 . doi : 10.1016/j.websem.2003.07.001 . S2CID 8277015 .

[semantic_web_activity-18] اتحاد شبكة الويب العالمية (6 فبراير 2010). "نشاط الويب الدلالي لاتحاد شبكة الويب العالمية" . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[metadata.activity-19] 1 2 3 اتحاد شبكة الويب العالمية (23 أغسطس 2002). "بيان نشاط البيانات الوصفية" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 20 أبريل 2010 .

[20] اتحاد شبكة الويب العالمية (23 أغسطس 2002). "لغة وصف مفردات RDF 1.0: مخطط RDF" . لغة وصف مفردات RDF 1.0 . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 20 أبريل 2010 .

[book:lacy:owl:c9-21] لاسي، لي و. (2005). "الفصل 9 - RDFS". OWL: تمثيل المعلومات باستخدام لغة أنطولوجيا الويب . فيكتوريا، كولومبيا البريطانية: دار ترافورد للنشر. ISBN 978-1-4120-3448-7.

[web-ont-22] 1 2 3 4 "مجموعة عمل علم الوجود على الويب (WebOnt) (مغلقة)" . W3C.

[owl1.1-23] باتيل-شنايدر، بيتر ف .؛ هوروكس، إيان (19 ديسمبر 2006). "لغة OWL 1.1 لعلم الوجود على الويب" . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 26 أبريل 2010 .

[grau.2008-24] 1 2 3 غراو، بي سي؛ هوروكس، آي ؛ موتيك، بي؛ بارسيا، بي؛ باتيل-شنايدر، بي إف؛ ساتلر، يو. (2008). "OWL 2: الخطوة التالية لـ OWL" (ملف PDF) . دلالات الويب: العلوم والخدمات والوكلاء على شبكة الويب العالمية . 6 (4): 309-322 . doi : 10.1016/j.websem.2008.05.001 .

[owl2-profiles-25] 1 2 "ملفات تعريف لغة الويب OWL 2 (الطبعة الثانية)" . W3C . 11 ديسمبر 2012.

[26] هيرمان، إيفان . "لماذا OWL وليس WOL؟" . دليل تعليمي حول تقنيات الويب الدلالي . اتحاد شبكة الويب العالمية . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[27] "ردًا على: الاسم: SWOL مقابل WOL" . رسالة تم إرسالها إلى القائمة البريدية W3C webont-wg في 27 ديسمبر 2001 .

[28] إيان هوروكس (2012). "الاستدلال الأنطولوجي: لماذا وكيف" (ملف PDF) . ص 7. تم الاطلاع عليه بتاريخ 28 يناير 2014 .

[29] "OWL: النسخة الأصلية" . 7 يوليو 2003. تم الاطلاع عليه بتاريخ 22 مارس 2020 .

[30] وانغ، تي دي؛ بارسيا، بي؛ هندلر، جيه. (2006). "مسح شامل لمشهد أنطولوجيا الويب". الويب الدلالي - ISWC 2006. سلسلة محاضرات في علوم الحاسوب. المجلد 4273. ص 682. doi : 10.1007/11926078_49 . ISBN 978-3-540-49029-6.

[TRG93-31] غروبر، توم (1993)؛ "نهج ترجمة لمواصفات الأنطولوجيا المحمولة" ، في اكتساب المعرفة ، 5: 199-199

[guide-32] "دليل لغة علم الوجود على الويب OWL" . W3C .

[33] بادر، فرانز؛ براندت، سيباستيان. لوتز، كارستن (2005). دفع ${\mathcal {EL}}$ غلاف . وقائع المؤتمر الدولي المشترك التاسع عشر حول الذكاء الاصطناعي. سان فرانسيسكو، كاليفورنيا، الولايات المتحدة الأمريكية: دار نشر مورغان كوفمان. الصفحات 364-369 .

[34] كالفانيزي، دييغو؛ دي جياكومو، جوزيبي؛ ليمبو، دومينيكو؛ لينزيريني، ماوريتسيو؛ روزاتي، ريكاردو (2007). "الاستدلال القابل للتتبع والإجابة الفعالة على الاستعلامات في منطق الوصف: عائلة DL-Lite". مجلة الاستدلال الآلي . 39 (3): 385-429 . doi : 10.1007/s10817-007-9078-X .

[35] غروسوف، بنيامين ن.؛ هوروكس، إيان؛ فولز، رافائيل؛ ديكر، ستيفان (2003). برامج منطق الوصف: دمج برامج المنطق مع منطق الوصف . وقائع المؤتمر الدولي الثاني عشر للويب العالمي. ACM. ص 48-57 .

[36] كروتزش م، رودولف س، هيتزلر ب (2012). "تعقيدات منطق وصف هورن" (ملف PDF) . معاملات ACM في المنطق الحسابي . 14 (1): 1-36 . doi : 10.1145/2422085.2422087 . تاريخ الاسترجاع: 23 سبتمبر 2024 .

[owl:spec:semantics_and_syntax-37] 1 2 3 4 باتيل-شنايدر، بيتر ف.؛ هوروكس، إيان؛ باتريك ج.، هايز (10 فبراير 2004). "دلالات لغة OWL لعلم الوجود على الويب والتركيب المجرد" . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .

[38] بيشوفير، شون ؛ باتيل-شنايدر، بيتر ف.؛ توري، دانييلي (10 ديسمبر 2003). "لغة OWL لعلم الوجود على الويب: بناء الجملة المجرد الملموس" . جامعة مانشستر . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[owl2:spec:structure-39] موتيك، بوريس ؛ باتيل-شنايدر، بيتر ف.؛ بارسيا، بيجان (27 أكتوبر 2009). "المواصفات الهيكلية للغة OWL 2 لعلم الوجود على الويب وبنية الجملة الوظيفية" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 18 أبريل 2010 .

[40] أ. شوارتز (سبتمبر 2004). "تسجيل نوع الوسائط application/rdf+xml (RFC3870)" . متتبع بيانات IETF . IETF. ص 2. مؤرشف من الأصل في 17 سبتمبر 2013. تم الاطلاع عليه في 15 أكتوبر 2013 .

[owl2:spec:rdf-41] 1 2 باتيل-شنايدر، بيتر ف.؛ موتيك، بوريس (27 أكتوبر 2009). "لغة OWL 2 لعلم الوجود على الويب: ربطها برسوم بيانية RDF" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 18 أبريل 2010 .

[owl2:spec:xml-42] موتيك، بوريس؛ بارسيا، بيجان؛ باتيل-شنايدر، بيتر ف. (27 أكتوبر 2009). "تسلسل XML للغة OWL 2 Web Ontology" . لغة OWL 2 Web Ontology . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .

[ms:note-43] هوريدج، ماثيو ؛ باتيل-شنايدر، بيتر ف. (27 أكتوبر 2009). "لغة OWL 2 لعلم الوجود على الويب: بناء جملة مانشستر" . W3C . W3C . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[owl2.primer-44] هيتزلر، باسكال ؛ كروتزش، ماركوس ؛ بارسيا، بيجان؛ باتيل-شنايدر، بيتر ف.؛ رودولف، سيباستيان (27 أكتوبر 2009). "مقدمة في لغة OWL 2 لعلم الوجود على الويب" . لغة OWL 2 لعلم الوجود على الويب . اتحاد شبكة الويب العالمية . تم الاطلاع عليه في 15 أكتوبر 2013 .

[45] سيكوس، ليزلي ف. (2017). منطق الوصف في الاستدلال متعدد الوسائط . تشام: دار نشر سبرينغر الدولية. doi : 10.1007/978-3-319-54066-5 . ISBN 978-3-319-54066-5. S2CID 3180114 .

[46] براخمان، رونالد ج. (1983)؛ ما هو وما ليس هو "هو نوع من": تحليل للروابط التصنيفية في الشبكات الدلالية ، مجلة IEEE Computer، المجلد 16، العدد 10، الصفحات 30-36

[47] هوروكس، إيان؛ باتيل-شنايدر، بيتر ف. "اختزال الاستلزام في لغة OWL إلى قابلية إرضاء منطق الوصف" (PDF) .

[48] هيتزلر، باسكال ؛ كروتزش، ماركوس؛ رودولف، سيباستيان (25 أغسطس 2009). أسس تقنيات الويب الدلالي . مطبعة CRCPress. ISBN 978-1-4200-9050-5.

[49] ماكغينيس، ديبورا ؛ فان هارميلين، فرانك (10 فبراير 2004). "نظرة عامة على لغة OWL لعلم الوجود على الويب" . توصية اتحاد شبكة الويب العالمية (W3C) بشأن لغة OWL، لغة علم الوجود على الويب . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[50] هايز، باتريك (10 فبراير 2004). "دلالات RDF" . إطار وصف الموارد . اتحاد شبكة الويب العالمية . تم الاسترجاع في 18 أبريل 2010 .

[51] باتيل-شنايدر، بيتر ف.؛ هايز، باتريك؛ هوروكس، إيان (10 فبراير 2004). "دلالات لغة OWL لعلم الوجود على الويب والبنية المجردة، القسم 5: دلالات نظرية النموذج المتوافقة مع RDF" . توصية اتحاد شبكة الويب العالمية (W3C) بشأن لغة OWL، لغة علم الوجود على الويب . تم الاطلاع عليه بتاريخ 18 أبريل 2010 .

[52] مازوتشي، ستيفانو (16 يونيو 2005). "العالم المغلق مقابل العالم المفتوح: أول معركة للويب الدلالي" . مؤرشف من الأصل في 24 يونيو 2009. تم الاطلاع عليه في 27 أبريل 2010 .

[53] فريق العمل الفني التابع لمكتب إدارة العمليات الخارجية. "مسبك مكتب إدارة العمليات الخارجية" . مسبك مكتب إدارة العمليات الخارجية . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[54] "مصفوفة تنزيل OBO" . مؤرشفة من الأصل بتاريخ 22 فبراير 2007.

[55] "المركز الوطني لعلم الوجود الحيوي الطبي - بوابة علم الوجود الحيوي" . www.bioontology.org . مؤرشف من الأصل في 3 يوليو 2007. تم الاطلاع عليه في 17 يناير 2022 .

[56] "نسخة مؤرشفة" . www.ontologyportal.org . مؤرشفة من الأصل بتاريخ 26 يوليو 2004. تم الاطلاع عليها بتاريخ 17 يناير 2022 .{{cite web}}: CS1 maint: archived copy as title ( link )

[57] "موقع مجتمع GBIF: القسم 1: مراجعة لتصنيفات TDWG" . Community.gbif.org . 12 فبراير 2013. تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[58] "PROV-O: أنطولوجيا PROV" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[59] "PROV-DM: نموذج بيانات PROV" . W3.org . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[60] "Iso/Iec 21838-2:2021" .

[61] "علم الوجود المادي متعدد المنظورات الأساسي (EMMO)" . GitHub . 28 يناير 2022.

[62] "المُتَحَمَّل" . Protege.stanford.edu . تم الاطلاع عليه بتاريخ 23 فبراير 2017 .

[63] نوي، ناتاشا ؛ ريكتور، آلان (12 أبريل 2006). "تعريف العلاقات متعددة الأطراف على الويب الدلالي" . اتحاد شبكة الويب العالمية . تم الاسترجاع في 17 أبريل 2010 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

، [ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 22 ]

[ ٢٣ ]

[ ٢٤ ]

[ 25 ]

[ 26 ]

[ 27 ]

[ 28 ]

[ 29 ]

[ 30 ]

[

[ 32 ]

33

[ 34 ]

[ 35 ]

[ 36 ]

[ 38 ]

[ 44 ]

[

[

[ 47 ]

[ 48 ]

[ 49 ]

[ 50 ]

[ 51 ]

[ 52 ]

[ 53 ]

[ 54 ]

[ 55 ]

[ 56 ]

[ 57 ]

[ 58 ]

[ 59 ]

[ 60 ]

[ 61 ]

[ 62 ]

[ 63 ]

اللغة	العربية (RTL)
روابط موسوعية	30 رابطاً
المصدر الأصلي	ويكيبيديا ↗