Keys for free in description logics(19)

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

Ô׽߽¸½º ºÐÚÒ׸ºÓÑӸźÄÒÞÖÒ¸ºÆÖ¸ÒʺÊÓ×غ×ÖÔØÓÒÐÓÖÑÛÓÖÓÖÒÓÖÑØÓÒÒØÖØÓÒºÁÒÈÖÓºÓØØÁÒغÓÒºÓÒÈÖÒÔÐ×ÓÃÒÓÛÐÊÔÖ×ÒØØÓÒÒÊ×ÓÒÒ´Ãʳµ¸Ô׾߽¿¸½º ºÐÚÒ׸ºÓÑӸźÄÒÞÖÒ¸ºÆÖ¸ÒʺÊÓ×غÁÒÓÖ¹ÑØÓÒÒØÖØÓÒÓÒÔØÙÐÑÓÐÒÒÖ×ÓÒÒ×ÙÔÔÓÖغÁÒÈÖÓº

ÓØØÁÒغÓÒºÓÒÓÓÔÖØÚÁÒÓÖÑØÓÒËÝ×ØÑ×´ÓÓÔÁ˳µ¸Ô×¾¼ß¾½¸½º ºÐÚÒ׸źÄÒÞÖÒ¸ÒºÆÖº×ÖÔØÓÒÐÓ×ÓÖÓÒ¹ÔØÙÐØÑÓÐÒºÁÒºÓÑҺ˸ØÓÖ׸ÄÓ×ÓÖØ××ÒÁÒÓÖÑØÓÒËÝ×ØÑ׸Ô×¾¾ß¾ºÃÐÙÛÖÑÈÙ¹Ð×Ö¸½º½¼ ºÐÚÒ׸źÄÒÞÖÒ¸ÒºÆÖºÍÒÝÒÐ××¹×ÖÔÖ×Ò¹ØØÓÒÓÖÑÐ×Ñ׺ºÓÖجÐÁÒØÐÐÒÊ×Ö¸½½½ß¾¼¸½º½½ ÁºÀÓÖÖÓ×ÒͺËØØÐÖº×ÖÔØÓÒÐÓÛØØÖÒ×ØÚÒÒÚÖ×ÖÓÐ×ÒÖÓÐÖÖ׺ºÓÄÓÒÓÑÔÙØØÓÒ¸´¿µ¿ß½¼¸½º½¾ ÁºÀÓÖÖÓ׸ͺËØØÐָ˺Ì××Ö׸Ò˺ÌÓ׺ÉÙÖÝÓÒØÒÑÒØÙ×ÒÄÊÓܺÌÒÐÊÔÓÖØÄÌ˹ÊÔÓÖع½¸ÊÏÌÀÒ¸½º½¿ ̺ÃÖ¸ººÄÚݸºËÚ¸ÒºËÖÚ×ØÚºÌÁÒÓÖÑØÓÒÅÒÓкÁÒÈÖÓÒ×ÓØÁ½ËÔÖÒËÝÑÔºÓÒÁÒÓÖÑØÓÒØÖÒÖÓÑÀØÖÓÒÓÙ׸×ØÖÙØÒÚÖÓÑÒØ׸Ô×ß½¸½º

ËÁÅÇ

ËÁ

ÊÌËÝÑÔºÓÒÈÖÒÔÐ×Ó

Ø

×ËÝ×ØÑ×´ÈÇ˳µ¸

½¼