风蛍月缓缓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
´½° ʵËÑÐÖÐݸØÝ××ÖØÓÒÓÒÓÒÔØ´° ʵÛÖÊ×ÒÖÝÖÐØÓÒ¸×ÕÙÚÐÒØØÓØ××ÖØÓÒ´½° ´Ê°µµÛÖ¾½¸Ò½¾ºÀÒ¸ÒØÓÐÐÓÛÒ¸ÛØÓÙØÐÓ××ÓÒÖÐØݸÛÛÐÐÒÓØÓÒ×ÖÝ××ÖØÓÒ×ÓØÓÚÓÖѺϬÖ×ØÓÙ×ÓÒÚÖÝÒÛØÖÒÒÐÙ×ÓÒ××ÖØÓÒ´ÛÓ×ÒÓØÒÚÓÐÚÝ×µ×ÐÓÐÐÝÑÔÐÝÝÌÓܺÄØÌÓܸÛÖ×Ø×ØÓÒÐÙ×ÓÒ××ÖØÓÒ×ÒÒ×Ø×ØÝÓÝ××ÖØÓÒ×ÒºÚ
×ÕÙÚÐÒØØÓØ
ÄÊ
××ÖØÓÒ
Ý
ÄÊ
Ú
Ù
ÄÊ
Ì
Ä
Ã
ÄÊ
Ä
Ì
Ã
Ì
ĽÚľ
Ì
ÓÖѾ
ÒÓÒÐÝصºÄ
ÄÊ
ÌÓÜÌÄÃÐÓÐÐÝÑÔÐ×ÒÒÐÙ×ÓÒ××ÖØÓÒÄÐÓÐÐÝÑÔÐ׼ھºÝÙÄÃ
Ï×ÓÛØØØÓÒÔØ´Ö×Ôº¸ÖÐØÓҵĽľ××Ø׬ÐÒ«Ø××Ø׬ÐÒºÌÖÚкÁØ×ÔÓ××ÐØÓ×ÓÛØØ×ØØÖ¹ÑÓÐÔÖÓÔÖØÝ ¸ºº¸ÌÓÜÑØ×ÑÓÐ×Ø×ÝÒÓÒÔظØÐ×ÓÑØ×ÑÓÐ×Ø×ÝÒØÓÒÔØÛ×Ø×ØÖÙØÙÖÓØÖ¸ÓÒ×ÖÒÖ¬ØÙÔÐ××ÒÓ׺ÇÒ×ÙÑÓÐ×Ý××ÖØÓÒ×ÐÛÝ××Ø׬ºÇ×ÖÚØØÝ××ÖØÓÒ×Ø
ØÖÕÙÚÐÒØØÓÒÙÑÖÖ×ØÖØÓÒ×ÖÐØÛØÖØÐÝÒºÌÓÖѾ×ÓÛ×ØØÝ××ÖØÓÒ×ÓÒÓØÒØÖØÛØÒÐÙ×ÓÒ××Ö¹ØÓÒ׺ÏÓÒ×ÖÒÓÛÐÓÐÑÔÐØÓÒÓÝ××ÖØÓÒ׺ÌÓØ×ÒÛÒØÖÓÙÒÖÐÞÓÖÑÓÓܺÏÑÙ×ÓËÓÐÑÓÒ×ØÒØ×´×¹ÓÒ×ØÒØ×µºÁÒØÙØÚÐݸ׹ÓÒ×ØÒØÒÓØ×ÒÒÚÙÐÒÒÒØÖÔÖعØÓÒ¸Ò×ÙÛÝØØ«ÖÒØ×¹ÓÒ×ØÒØ×ÑÝÒÓØØ×ÑÒÚÙк´ÒÖÐÞµÓÜ×ÓÒ×ØØÙØݬÒØ×ØÓ××ÖØÓÒ×ÓØÓÐÐÓÛÒØÝÔ״ܵʴصÜÝÖ×ÛÖÜÒÝÖ×¹ÓÒ×ØÒØ׸Ø×ØÙÔÐÓ×¹ÓÒ×ØÒØ×ÓØ×ÑÖØÝ×ØØÓʸÒÖÒ×ÖØÛÓØÙÔÐ×Ó×¹ÓÒ×ØÒØ×ÓØ×ÑÖØݺÌÒÓØÓÒÓÒØÖÔÖØØÓÒ×ÜØÒ×Ó×ØÓ××ÒØÓ×¹ÓÒ×ØÒØÜÒÒÚÙÐÜ¡ºÒÒØÖÔÖØØÓÒ×Ø׬״ܸܵÈÖÓÓ´×´µÄÊÄÊÄÊÄÊÁ
