کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662958 | 1345214 | 2014 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal Ontologies and Coherent Spaces
ترجمه فارسی عنوان
هستی شناسی رسمی و فضاهای منسجم
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
هستی شناسی؛ منطق خطی؛ فضاهای منسجم
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
The paper contains a short summary – oriented by a logical point of view – of a joint work on Formal Ontologies. We shall show how Formal Ontologies correspond to Coherent Spaces, and operations on Formal Ontologies correspond to operations on corresponding Coherent Spaces. So, we are offering a new way to establish the semantics of Formal Ontologies. Surely, we are giving a contribution towards a geometrical treatment of Formal Ontologies (as decidable organizations of digital data).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 1, March 2014, Pages 67–74
Journal: Journal of Applied Logic - Volume 12, Issue 1, March 2014, Pages 67–74
نویسندگان
V. Michele Abrusci, Christophe Fouqueré, Marco Romano,