التفاصيل البيبلوغرافية
| العنوان: |
A Decidable Very Expressive n-ary Description Logic for Database Applications |
| المؤلفون: |
Artale A., Franconi E., Penaloza R., Sportelli F. |
| المساهمون: |
Flesca S.,Greco S.,Masciari E.,Sacca D., Artale, A, Franconi, E, Penaloza, R, Sportelli, F |
| بيانات النشر: |
CEUR-WS |
| سنة النشر: |
2017 |
| المجموعة: |
Università degli Studi di Milano-Bicocca: BOA (Bicocca Open Archive) |
| مصطلحات موضوعية: |
description logic, database acce |
| الوصف: |
We introduce DLR`, an extension of the n-ary propositionally closed description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies. The logic is equipped with both TBox and ABox axioms forming a DLR` knowledge base (KB). We show how a simple syntactic restriction on the appearance of projections sharing common attributes in the KB makes reasoning in the language decidable with the same computational complexity as DLR. The obtained DLR n-ary description logic is able to encode more thoroughly conceptual data models such as EER, UML, and ORM. |
| نوع الوثيقة: |
conference object |
| اللغة: |
English |
| Relation: |
ispartofbook:25th Italian Symposium on Advanced Database Systems, SEBD 2017; 25th Italian Symposium on Advanced Database Systems, SEBD 2017; volume:2037; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Flesca S.,Greco S.,Masciari E.,Sacca D.; http://hdl.handle.net/10281/303160; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85041432564 |
| الاتاحة: |
http://hdl.handle.net/10281/303160 |
| رقم الانضمام: |
edsbas.8B63820E |
| قاعدة البيانات: |
BASE |