کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10320260 | 658375 | 2010 | 49 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Logic-based ontology comparison and module extraction, with an application to DL-Lite
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Logic-based ontology comparison and module extraction, with an application to DL-Lite Logic-based ontology comparison and module extraction, with an application to DL-Lite](/preview/png/10320260.png)
چکیده انگلیسی
Inseparability relations between ontologies are then used to develop a formal framework for (minimal) module extraction. We demonstrate that different types of minimal modules induced by these inseparability relations can be automatically extracted from real-world medium-size DL-Lite ontologies by composing the known tractable syntactic locality-based module extraction algorithm with our non-tractable extraction algorithms and using the multi-engine QBF solver aqme. Finally, we explore the relationship between uniform interpolation (or forgetting) and inseparability.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 174, Issue 15, October 2010, Pages 1093-1141
Journal: Artificial Intelligence - Volume 174, Issue 15, October 2010, Pages 1093-1141
نویسندگان
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev,