![](/images/graphics-bg.png)
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
المؤلفون المشاركون
Yang, Shihan
Tan, Hongyan
Wu, Jinzhao
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-04-15
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically.
Therefore, the semantic consistency is indispensable precondition for building a correct ontology.
In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology, which could extract a domain ontology from structured and semistructured data sources semiautomatically.
The method translates the middle model into the Kripke structure, and consistency assertions into CTL formulae, so a consistency checking problem is promoted to a global model checking.
Moreover, the feasibility and correctness of the transformation is proved, and case studies are provided.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Yang, Shihan& Tan, Hongyan& Wu, Jinzhao. 2014. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-452466
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Yang, Shihan…[et al.]. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics No. 2014 (2014), pp.1-11.
https://search.emarefa.net/detail/BIM-452466
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Yang, Shihan& Tan, Hongyan& Wu, Jinzhao. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-452466
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-452466
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)