Keys for free in description logics

DLR is an expressive Description Logic (DL) with n-ary relations, particularly suited for modeling database schemas and queries. Although DLR has constituted one of the crucial steps for applying DL technology to data management, there is one important asp

ÌÓ

ÔÔ

ÖÒÈÖÓºÓ¾¼¼¼ÁÒغÏÓÖ×ÓÔÓÒ

×ÖÔØÓÒÄÓ

×´

ľ¼¼¼µ

ÃÝ×ÓÖÖÒÓ

×ÖÔØÓÒÄÓ×

ÐÚÒ׸Ù×ÔÔÓÑÓ¸ÅÙÖÞÓÄÒÞÖÒÔÖØÑÒØÓÁÒÓÖÑØË×ØÑ×ØÍÒÚÖ×ØÊÓÑÄËÔÒÞÎËÐÖ½½¿¸¼¼½ÊÓѸÁØÐÝ

ÐÚÒ׸ÓÑÓ¸ÐÒÞÖÒ׺ÙÒÖÓѽºØ

×ØÖØÔÖØÙÐÖÐÝ×ÙØØÓØ

ÄÊ

×

Ò

ÜÔÖ××ÚÓÖÑÓÖÓÒÓØ

×ÖÔØÓÒÄÓÐÒ×ÓÒØÝ×ØÖÙ××

´ÄµÛØÑ×ÒÔÔÐÝÒ

Ò¹ÖÝÖÐØÓÒ׸ÐØÓÙ×Ñ×ݺÚÄØÒÓÐÓÝØ×ÒÓØÓÒÓÒ×ØÐÐ

ÄÊØ

ÕÙÖ׺

×ÓÒ×ØØÙØÑÒÄ׸ÒÐÙ×ÔÔÖÛ××ÓÒ

Ð×ØÔ×ÓÖ

Ø

ÑÒظØ

ÁÒØ

×ÓÛØØÖ

Äʸ

ÑÔÓÖØÒØÖÓÖÖ

×ÔØÓÒ

ÓÒÓØÔØÙÖÒÛ

ÝظÒÑÐÝØÝ×ØÓ

Ö××ØÈÌÁÅÒ×ÙØ×ÑÝ׺

ÓÐÐÓÛÒ

ÕÙ×ØÓÒ×ÓÒÒ

Äʺ

ØÒÕÙ×

ËÓÑÛ

ÄÊ

ÁÒÔÖØÙÐÖ¸Û

Ò×ÛÖÔÓ×ØÚÐݸÛÝØØÖ

Ý×ÓÛÒ×ÓÒÒÓÒ

ÓÛØÓ

ÛÓÖ×ع×

ÓÑÔÙØØÓÒÐÓÑÔÐÜØÝ

ÄÊ×

ÔØØ

ÑÛØ

ÄÊÖ

Ø×ÙÖÔÖ×ÒÐÝÛ×ÓÒÒ×ÐÓÖØÑÓÒÛØÛØÓÙØ

Ý×Ò

×ÓÖØ

½ÁÒØÖÓÙØÓÒÁÒØÐ×ØÝÖ׸×ÖÔØÓÒÄÓ×´Ä×µÚÒ×Ù

××ÙÐÐÝÔÔÐØÓØÑÒÑÒؽ¼¸¾¸½¿¸ ºÇÒÓØ××ÒÔÔÐÝÒÄ×ØÓØÑÒÑÒØ×ØØØ××Ñ×ÒÜÔÖ×××ÄÒÓÛÐ×׸×ÓØØÄÖ×ÓÒÒØÒÕÙ×ÒÙ×Ò×ÚÖÐÛÝ×ØÓÖ×ÓÒÓÙØØ×ѺÁÒ¸ ¸ÛÒØÖÓÙÚÖÝÜÔÖ××ÚÄÛØÒ¹ÖÝÖÐØÓÒ׸ÐиÒ×ÓÛÓÛØ××Ñ×ÒÔØÙÖÝØ×ÐÓ´×Ð×Ó µºÐ×Ó¸Û¬Ò×ÙØÐÑÒ×Ñ×ÓÖÜÔÖ××ÒÕÙÖ×ÓÚÖ×Ñ׸Ò×ÒØÒÕÙ×ÓÖÖ×ÓÒÒÓÚÖÕÙÖ× ºÆÓØÐݸØÒÚ×ØØÓÒÓÒ×ÐØÓØ×ÒÓÒÛÄ×Ý×ØÑ׫ØÚÐÝÑÔÐÑÒØÒÔÓÛÖÙÐÖ×ÓÒÒØÒÕÙ×½½ ºÐØÓÙØÓÚÑÒØÓÒÛÓÖ×ÒØÖÙÐ×ØÔÓÖÔÔÐÝÒÄØÒÓÐÓÝØÓØÑÒÑÒظØÖ×ÓÒÑÔÓÖØÒØ×ÔØÓØ×ÄÊÄÊÄÊ