Incoherency Problems in a Combination of Description Logics and Rules
المؤلفون المشاركون
Huang, Shasha
Hao, Jing
Luo, Dang
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-6، 6ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-03-06
دولة النشر
مصر
عدد الصفحات
6
التخصصات الرئيسية
الملخص EN
A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules.
However, it is invalid when incoherency occurs in the knowledge base.
In this paper, we introduce a semi-S5 semantics for hybrid MKNF knowledge bases on the basis of nine-valued lattice, such that it is paraconsistent for incoherent knowledge base.
It is shown that a semi-S5 model can be computed via a fixpoint operator and is in fact a paraconsistent MKNF model when the knowledge base is incoherent.
Moreover, we apply six-valued lattice to hybrid MKNF knowledge bases and present a suspicious semantics to distinguish different trust level information.
At last, we investigate the relationship between suspicious semantics and paraconsistent semantics.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Huang, Shasha& Hao, Jing& Luo, Dang. 2014. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-484422
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Huang, Shasha…[et al.]. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics No. 2014 (2014), pp.1-6.
https://search.emarefa.net/detail/BIM-484422
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Huang, Shasha& Hao, Jing& Luo, Dang. Incoherency Problems in a Combination of Description Logics and Rules. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-484422
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-484422
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر