风蛍月缓缓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
ÑÔÐØÓÒÓÝ××ÖØÓÒÖÓÑÝÌÓÜ×ÓÐÚÒ´ÔÓ××ÐÝÜÔÓÒÒØеÒÙÑÖÓØ×Ø׸ÛÖØ×Ø´µÒÓÒ××Ø×ÒÖØÐÝÚ
ÖÝÒÐÐÝ××ÖØÓÒ×ÒØ×Ø׬ÐØÝÓØÒÓÛÐ×´µºÆÓØØ´µ×ÔÓÐÝÒÓÑÐÒØ×ÞÓºÄÊÌÄÃÃÄÊÄÃÄÃÌ
Ã
ÖÙ×ØÓÒÚÓÐÚ×ÓÒÒ
ÒØØ×ÞÓ
ÓÒÐÙ×ÓÒ×ÏÚ×ÓÛÒÓÛØÓÝ×ØÓ¸ÛÐ×ØÐÐÖØÒÒØÔÓ××ÐØÝÓÖ×ÓÒÒÓÚÖ×Ñ×ÒÈÌÁźÏÐÚØØØÔÔÖÓÔÖ×ÒØÒØ×ÔÔÖÒÜØÒÒ×ÚÖÐÛÝ׺ÓÖÜÑÔиÓÙÖØÒÕÙÒÖØÐÝÔÔÐØÓØ×ÛÖØÒÓÛÐ×ÓÒØÒ×ÒÓܸÓÖØÓØ×ÛÖ×Ù×Ò×ØÓºÅÓÖÓÚÖ¸ÛÖÖÛÓÖÒÓÒØÓÐÐÓÛÒÜØÒ×ÓÒ×´µÙ×ÒÒÒÒ×ÔÝÒÝ׸ÒØ×ÔÖØÓ¿ ¸´µÙÒØÓÒÐÔÒÒ×ÓÒÖÐØÓÒ׸´µÕÙÖÝÓÒØÒÑÒØÒÕÙÖÝÒ×ÛÖÒÙ×ÒÚÛ×ÒØÔÖ×ÒÓÓØÝÓÒ×ØÖÒØ׸ÒÙÒØÓÒÐÔÒÒ׺ÄÊÄÊÄÊÄÊ
ÊÖÒ×½ ºØҸ˺ָÒ˺ºÆÚغÓÒÔØÙÐØ××Ò¸ÒÒØØݹÊÐØÓÒ×ÔÔÔÖÓºÒÑÒÒÙÑÑÒ×ÈÙкӺ¸ÅÒÐÓÈÖ¸ÐÓÖÒ¸½¾º¾ ºÓÖº×ÖÔØÓÒÐÓ×ÒØÑÒÑÒغÁÌÖÒ׺ÓÒÃÒÓÛйÒØÒÒÖÒ¸´µ½ß¾¸½º¿ ºÓÖÒººÏÐкÒÙÒÕÙÒ××ÓÒ×ØÖÒØ×ØÓ×ÖÔØÓÒÐÓ×´ÔÖÐÑÒÖÝÖÔÓÖصºÁÒÈÖÓºÓØØÁÒغÓÒºÓÒÙØÚÒÇعÇÖÒØØ××´Çdzµ¸Ô×ß½¼¾¸½º ºÐÚÒ׸ºÓÑÓ¸ÒźÄÒÞÖÒºËØÖÙØÙÖÓØ×ÅÓ¹ÐÒÒÖ×ÓÒÒºÁÒÈÖÓºÓØØÁÒغÓÒºÓÒÙØÚÒÇعÇÖÒØØ××´Çdzµ¸ÚÓÐÙѽ¼½¿ÓÄØÙÖÆÓØ×ÒÓÑÔÙØÖËÒ¸Ô×¾¾ß¾ºËÔÖÒÖ¹ÎÖи½º ºÐÚÒ׸ºÓÑÓ¸ÒźÄÒÞÖÒºÓÒÙÒØÚÕÙÖÝÓÒ¹ØÒÑÒØÒ×ÖÔØÓÒÄÓ×ÛØÒ¹ÖÝÖÐØÓÒ׺ÁÒÈÖÓºÓؽ×ÖÔØÓÒÄÓÏÓÖ×ÓԴijµ¸Ô×߸½º ºÐÚÒ׸ºÓÑÓ¸ÒźÄÒÞÖÒºÇÒØÐØÝÓÕÙÖÝÓÒØÒÑÒØÙÒÖÓÒ×ØÖÒØ׺ÁÒÈÖÓºÓؽØÅËÁÌ
