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. We show how a simple syntactic restriction on the appearance of projections sharing common attributes in a DLR+ knowledge base 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.
Alessandro, A., Enrico, F., PENALOZA NYSSEN, R., Francesco, S. (2017). A decidable very expressive description logic for databases. In 16th International Semantic Web Conference, ISWC 2017 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.37-52). Springer Verlag [10.1007/978-3-319-68288-4_3].
A decidable very expressive description logic for databases
Rafael Peñaloza;
2017
Abstract
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. We show how a simple syntactic restriction on the appearance of projections sharing common attributes in a DLR+ knowledge base 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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
