کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
406586 | 678097 | 2014 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
ExpTime tableaux with global state caching for the description logic SHIO
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: ExpTime tableaux with global state caching for the description logic SHIO ExpTime tableaux with global state caching for the description logic SHIO](/preview/png/406586.png)
چکیده انگلیسی
We give the first ExpTime (complexity-optimal) tableau decision procedure for checking satisfiability of a knowledge base in the description logic SHIOSHIO, which extends the basic description logic ALCALC with transitive roles, hierarchies of roles, inverse roles and nominals. Our procedure exploits global state caching and does not use blind (analytic) cuts.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Neurocomputing - Volume 146, 25 December 2014, Pages 249–263
Journal: Neurocomputing - Volume 146, 25 December 2014, Pages 249–263
نویسندگان
Linh Anh Nguyen,