کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951408 1441451 2017 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
From description-logic programs to multi-context systems
ترجمه فارسی عنوان
از برنامه های منطق توصیفی به سیستم های چند کانونی
کلمات کلیدی
منطق توصیف، برنامه نویسی منطقی معناشناسی، سیستم های مبتنی بر قانون، ترجمه های رسمی،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The combination of logic program-style rules with other reasoning systems has been a fertile topic of research in the last years, with the proposal of several different systems that achieve this goal. In this work, we look at two of these systems, dl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. We prove that every dl-program can be transformed into a multi-context system in such a way that the different semantics for each paradigm are naturally related. As a consequence, constructions developed for dl-programs can be automatically ported to multi-context systems. In particular, we show how to model default rules over ontologies with the usual semantics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 88, April 2017, Pages 26-44
نویسندگان
, , ,