کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663265 | 1345243 | 2007 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Disjunctive logic programming with types and objects: The DLV+ system
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The paper presents DLV+, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, update, browse, query, and reason on knowledge bases. Two strong points of the system are the powerful type-checking mechanism and the advanced interface for visual querying.DLV+ is already used for the development of knowledge based applications for information extraction and text classification.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 5, Issue 3, September 2007, Pages 545–573
Journal: Journal of Applied Logic - Volume 5, Issue 3, September 2007, Pages 545–573
نویسندگان
Francesco Ricca, Nicola Leone,