A Decidable Very Expressive Description Logic for Databases
Published on Nov 28, 2017876 Views
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