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

ÌÓ

ÔÔ

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

×ÖÔØÓÒÄÓ

×´

ľ¼¼¼µ

ÃÝ×ÓÖÖÒÓ

×ÖÔØÓÒÄÓ×

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

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

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

ÄÊ

×

Ò

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

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

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

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

ÄÊØ

ÕÙÖ׺

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

Ð×ØÔ×ÓÖ

Ø

ÑÒظØ

ÁÒØ

×ÓÛØØÖ

Äʸ

ÑÔÓÖØÒØÖÓÖÖ

×ÔØÓÒ

ÓÒÓØÔØÙÖÒÛ

ÝظÒÑÐÝØÝ×ØÓ

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

ÓÐÐÓÛÒ

ÕÙ×ØÓÒ×ÓÒÒ

Äʺ

ØÒÕÙ×

ËÓÑÛ

ÄÊ

ÁÒÔÖØÙÐÖ¸Û

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

Ý×ÓÛÒ×ÓÒÒÓÒ

ÓÛØÓ

ÛÓÖ×ع×

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

ÄÊ×

ÔØØ

ÑÛØ

ÄÊÖ

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

Ý×Ò

×ÓÖØ

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

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

½

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

×Ñ×ØØÄ׸ÒÐÙÒ¸ÓÒÓØÔØÙÖÝظÒÑÐÝØÒÓØÓÒÓݺÃÝ×ÖÙ×ØÓ×ØØØØÖØÒ×ØÓÔÖÓÔÖØ×ÙÒÕÙÐÝÒج×ØÒ×ØÒ×ÓØÖÓÒÔØÓÖÖÐØÓÒ¸ÒÖÓÑÑÓÒÐÝÙ×ÒÓØØ××Ò¸ÒØÑÒÑÒغÌÕÙ×ØÓÒÖ××ÒØ×ÔÔÖ××ÓÐÐÓÛ×ÒÛÝ×ØÓÒ×ØÐÐÚÈ

ÌÁÅ××ÓØÖ×ÓÒÒØÒÕÙ×ËÓÑÛØ×ÙÖÔÖ×¹ÒÐݸÛÒ×ÛÖÔÓ×ØÚÐÝØÓØÕÙ×ØÓÒ¸ÝÐÐÙ×ØÖØÒÒÔÔÖÓØØÐÐÓÛ×Ù×ØÓÒÓÖÔÓÖØÝ×Ò´ÐÑÓ×صÓÖÖºÁÒÔÖØÙÐÖ¸ÛÔØØÖ×ÓÒÒÐÓÖØÑÒ×ÙÛÝØØÖ×ÓÒÒÓÒ×ÑÛØÝ×ÒÓÒÛØØ×ÑÛÓÖ×ع×ÓÑÔÙØØÓÒÐÓÑÔÐÜØÝ×ÓÖØ×ÛØÓÙØÝ׺Ð×Ó¸ØÔÖÓÔÓ×ØÒÕÙÒÖØÐÝÒÓÖÔÓÖØÒØÓÔÖ×ÒØÄ×Ý×ØÑ׸×Ù×ØÓÒ×ÖÒ½¾ ºÁÒØÐ×ØÝÖ׸ØÖÚÒ×ÓÑØØÑÔØ×ØÓÝ×ØÓÄ׺ÁÒ ¸Ý×ÖÑÓÐÝÑÒ×Ó×ÔÐÔÖÑØÚÓÒÔØ×ÒÒÜÔÖ××ÚĸÒØ××ÓÛÒØØØ×ÑÒ×ÑÐÐÓÛ××ÓÑÒÖÒÓÒÝ×ØÓÖÖÓÒºÀÓÛÚÖ¸ØÖÛÓØ×ÔÔÖÓ×ØØ×ÚÖÐÒØÖ×ØÒ×ÑÒØÔÖÓÔÖØ×ÓÝ×ÖÒÓØÖÔÖ×ÒØÒØÒÓÛÐ׺ÁÒ¿ ¸ÑÓÖܹÔÖ××ÚÑÒ×Ñ×ÔÖÓÔÓ×ÓÖÑÓÐÒÝ×ÒÙÒØÓÒÐÔÒÒ׸Ò×ÓÙÒÒÓÑÔÐØÒÖÒ×Ý×ØÑÓÖÖ×ÓÒÒÓÒ×Ù

ÓÒ×ØÖÒØ××ÔÖ×ÒغÀÓÛÚÖ¸ØÄÓÒ×ÖÒ¿ ×ÐÑØÒÜÔÖ××ÚÒ×׺ÁÒÔÖØÙÐÖ¸ÒØÖÒÙÑÖÖ×ØÖØÓÒ׸ÒÓÖÒÖÐÒÐÙ×ÓÒÜÓÑ׸ÒÓÖÒ¹ÚÖ×ÖÓÐ×ÖØÒÒØÓ

ÓÙÒظÒØÖÓÖÙ×ÙÐÔÖÓÔÖØ×ÓØ××Ñ×ÒÒÓØÖÔÖ×ÒغÌÔÖÓÔÓ×ÐÔÖ×ÒØÒØ×ÔÔÖÙÐÐÝÔ¹ØÙÖ×Ø×ÑÒØ×ÓÝ×ÒÒÜÔÖ××ÚĸҸØÖÓÖ¸ØÓÚÖÓÑ×ÐÐØÐÑØØÓÒ×ÓØÔÖÚÓÙ×ÔÔÖÓ׺ÌÔÔÖ×ÓÖÒÞ×ÓÐÐÓÛ׺ÁÒËØÓÒ¾¸ÛÖÐÐØĺÁÒËØÓÒ¿¸ÛÐÐÙ×ØÖØØÑÒ×ÑÓÖ×ÔÝÒÝÓÒ×ØÖÒØ×ÒÒÓÛÐ×׺ÁÒËØÓÒ¸Û×ÖÓÛÛÒÜØÒØÖ×ÓÒ¹ÒØÒÕÙÒÓÖÖØÓØÝÓÒ×ØÖÒØ×ÒØÓ

ÓÙÒغÒÐÐݸËØÓÒÓÒÐÙ×ØÔÔÖÝÔÓÒØÒÓÙØÙØÙÖÛÓÖÑÒØÜØÒÒØÖ×ÙÐØ×ÔÖ×ÒØÖºÄÊÄÊÄÊÄÊÄÊÄÊÄÊÄÊ

¾×ÖÔØÓÒÄÓÄÊÏÓÙ×ÓÒØ×ÖÔØÓÒÄÓÒØÖÓÙÒ ºËÙÄ×ÐØÓÔØÙÖÖØÚÖØÝÓØÑÓÐ×ÛØÑÒÝÓÖÑ×ÓÓÒ×ØÖÒØ׸ ºÌ×ÐÑÒØ×ÓÖÓÒÔØ×´ÙÒÖÝÖÐØÓÒ×µ¸ÒÒ¹ÖÝÖÐØÓÒ׺Ï××ÙÑØÓÐÛجÒØ×ØÓØÓÑÖÐØÓÒ×ÒØÓÑ

ÓÒÔØ׸ÒÓØÝÈÒ¸Ö×ÔØÚÐݺÏÙ×ÊØÓÒÓØÖØÖÖÝÖÐØÓÒ×´ÓÚÒÖØÝØÛÒ¾ÒÒÑܵ¸ÒØÓÒ

ÓØÖØÖÖÝÓÒÔØ׸Ö×ÔØÚÐÝÙÐØÄÊÄÊ

¾

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

Á

´°Òµ´Êµ´Ê½Ê¾µÙÙ

È

ÒÁÁÁÁ

´¡µÒÁÁ

ؾÁ

Ò

Á

ÁÁ

½

´µ´½¾µ½¾´° ʵ¡ØÊØ ´° ʵ¡ ØÊ½Ø ÙÖ½ËÑÒØÖÙÐ×Óִȸʸʽ¸ÒÁÁ

Á

¡¡¡

ʽ

Á

ÒÁÁ

Ò

ÊʾÁÁ

Ò

Ø

¾

Á

Á

Ò

Á

Á

Á

¾

Á

¾

Á

º

Á

¾

Á

¾

Á

ÄÊ

ʾ

ÚÖØÝÒµ

° ʵÛÖÒÓØ×ÓÑÔÓÒÒØÓÖÐØÓÒ¸ºº¸ÒÒØÖØÛÒ½ÒÒÑܸÒÒÓØ×ØÖØÝÓÖÐØÓÒ¸ºº¸ÒÒØÖØÛÒ¾ÒÒÑܸÒÒÓØ×ÒÓÒÒØÚÒØÖºÏÓÒ×ÖÓÒÐÝÓÒÔØ×ÒÖÐØÓÒ×ØØÖÛÐйØÝÔ¸ÛÑÒ×ØØ´µÓÒÐÝÖÐØÓÒ×ÓØ×ÑÖØÝÒÖÓÑÒØÓÓÖÑÜÔÖ××ÓÒ×ÓØÝÔʽʾ´ÛÒÖØØÖØÝÒµ¸Ò´µÒÛÒÚÖÒÓØ×ÓÑÔÓÒÒØÓÖÐØÓÒÓÖØÝÒºÌÓÜ´ÓÖ×ѵ×ÓÒ×ØØÙØݬÒØ×ØÓÒÐÙ×ÓÒ××Ö¹ØÓÒ׸ÛÖ××ÖØÓÒ×ÓÒÓØÓÖÑ×½½Ù¾ÙÄÊ

ÓÖÒØÓØÓÐÐÓÛÒ×ÝÒØÜÊÈ°ÒÒ

Ê

ʽÙʾ° Ê

´

ʽÚʾÄÊ

½Ú

¾

ÛØʽÒʾÓØ×ÑÖØݺÌ×ÑÒØ×Ó××Ô¬×ÓÐÐÓÛ׺ÒÒØÖÔÖØØÓÒ×ÓÒ×عØÙØÝÒÒØÖÔÖØØÓÒÓÑÒ¡¸ÒÒÒØÖÔÖØØÓÒÙÒØÓÒØØ××Ò×ØÓ

ÓÒÔØ×Ù×ØÓ¡ÒØÓÖÐØÓÒÊÓÖØÝÒÒ×Ù×ØÊÓ´¡µ×ÙØØØÓÒØÓÒ×ÒÙÖ½Ö×Ø׬ºÁÒجÙÖ¸Ø ÒÓØ×عØÓÑÔÓÒÒØÓØÙÔÐغÇ×ÖÚØظØÓÒ×ØÖÙØÓÖÓÒÖÐØÓÒ××Ù×ØÓÜÔÖ×׫ÖÒÓÖÐØÓÒ׸ÒÒÓØØÓÑÔÐÑÒØ ºÒÒØÖÔÖØØÓÒ×Ø׬×Ò××ÖØÓÒʽʾ´Ö×Ôº¸½¾µÊ½Ê¾´Ö×Ôº¸½ÒÒØÖÔÖØØÓÒØØ×Ø׬×ÐÐ××ÖØÓÒ×ÒÌÓܾµº×ÐÐÑÓÐÓºÌÓÜ××Ø׬ÐØ×ÑÓкÖÐØÓÒÁÁ

¡

Á

Á

Á

Á

Á

Á

Ú

Ú

Á

Á

Á

Á

Ì

Ì

¿

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

ÊÌ

´Ö×Ôº¸ÓÒÔص××Ø׬ÐÒÌÓÜÑØ×ÑÓÐ×ÙØØÊ´Ö×Ôº¸µ×ÒÓÒÑÔØݺÒ××ÖØÓÒ«×ÐÓÐÐÝÑÔÐÝÌÓÜÐÐÑÓÐ×Ó×Ø×Ý«ºËØ׬ÐØÝÒÐÓÐÑÔÐØÓÒÒÖÈÌÁŹÓÑÔÐØ ºÁÒظÖÐØÓÒ´Ö×Ôº¸ÓÒÔص×Ø׬ÐØÝÒÐÓÐÑÔÐØÓÒÖÔÓÐÝÒÓÑÐÐÝÖÙÐØÓÓØÖºÌÓÜ×ÒÔØÙÖØ××Ñ×ÜÔÖ××Ò×ÚÖÐØÑÓ¹Ð׸ ºÓÖÜÑÔиÒØØݹÊÐØÓÒ×Ô×Ñ×ÒÖÔÖ×ÒØ

ÒÝÑÓÐÒÒØØÝ×ÓÒÔظÒÖÐØÓÒ×Ô×ÖÐØÓҺعØÖÙØ×ÓÒØØ×ÖÒÖÝÖÐØÓÒ׸Ò×ÒйÚÐÙØØÖÙØ×ÖÑÓ¹ÐØÖÓÙØÙ×ÓÒÙÑÖÖ×ØÖØÓÒ׺Ð×Ó¸×ÒÐÝ×ÒÑÓÐØÖÓÙÒÙÑÖÖ×ØÖØÓÒ׸ÛÐÑÙÐØÔÐÝ×´Ý×ÓÒ×ØØÙØÝÑÓÖØÒÓÒØØÖÙصÒÒÓØÖÔÖ×ÒØÒºØØÖÙØ×ÓÖÐØÓÒ×Ô×ÒÑÓÐÒ×ÚÖÐÛÝ׸ÓÖÒ×ØÒØÖÓÙ×Ôдҷ½µ¹ÖÝÖÐØÓÒ׸ÛÖÒ×ØÖØÝÓØÖÐØÓÒ×ÔºÒÐÐݸÒØÖØÝÓÒ×ØÖÒØ××Ù××¹¸ÖÒÐØݸÜ×ØÒ¸ÒØÝÔÒÓÒ×ØÖÒØ×ÖÑÓÐÝÑÒ×ÓÒÐÙ×ÓÒ××ÖØÓÒ׺ÌÌÁÁÁ

Ì

ÄÊ

ÄÊ

ÄÊ

ÄÊ

¿ÃÝ××ÖØÓÒ×ÁÒØ××ØÓÒÛÜØÒÛØÝÓÒ×ØÖÒØ׺ÌÖ×ÙÐØÒĸÐÐÝÓÒ×ØÖÒØ×ØÖÓÙÒÛÒÓ××ÖØÓÒ×ݸÐÐÓÛ×ÓÒØÓÜÔÖ××ÒØÌÓܺÝ××ÖØÓÒÓÒÓÒÔØ×ØÓÖÑ´°½ ʽ° ʵÛÖ×ÓÒÔظÊ×ÖÐØÓÒ¸Ò°ÒÓØ×ÓÒÓÑÔÓÒÒØÓʺÁÒØÙØÚÐݸ×ÙÒ××ÖØÓÒ×ØØ×ØØÒÓØÛÓ«ÖÒØÒ×ØÒ×ÓÖÓÒØÔÖØÔØÓÒØÓʽʺÁÒÓØÖÛÓÖ׸×ÒÒ×ØÒÓØØ×عØÓÑÔÓÒÒØÓØÙÔÐØÓʸÓÖ½¸Ò×ÒÒ×ØÒÓØØ×عØÓÑÔÓÒÒØÓØÙÔÐ×ÓʸÓÖ½¸ÒÓÖ¸ØÖ×ÛØ×ÒÐÐÓÑÔÓÒÒØ׫ÖÒØÖÓѸØÒÒÓÒºÝ××ÖØÓÒÓÒÖÐØÓÒ×ØÓÖÑ´Ê°½°µÛÖÊ×ÖÐØÓÒÒ°½°ÒÓØØÓÑÔÓÒÒØ×ÓÊØØÒØÝØÛÓÐØÙÔкÁÒÓØÖÛÓÖ׸ØÖÒÒÓØØÛÓ«ÖÒØØÙÔÐ×ÒÊØØÖÓÒØÓÑÔÓÒÒØ×°½°ºÏ××Ò×ÑÒØ×ØÓØ×××ÖØÓÒ×ݬÒÒÛÒÒÒØÖÔÖØØÓÒ×Ø׬×ØѺÁÒÔÖØÙÐÖÄÊÄÊ

Ý

¾

¾

Ý

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

¯

ÒÒØÖÔÖØØÓÒ×Ø׬×Ø××ÖØÓÒ´°½ ʽÒÓÒÐÝÓÖÐÐÒÓÖÐÐؽ׽ʽØ×ØØؽ½ Ø ×½½ × Ø × ÓÖ½¸ÒÓÖ

Á

Ý

¾

Á

¾

Á

¾

° ʵÊÛÚÁ

¡¡¡

¡¡¡

ÑÔÐ×ÒÓÒÐÝ

¾

¯

ÒÒØÖÔÖØØÓÒ×Ø׬×Ø××ÖØÓÒ´Ê°½ÓÖÐÐØ×ʸÛÚØØؽ ×½ Ø × ÑÔÐ×Á

Ý

¾

Á

°µØ×

ÒÖÐÐݸÒÓÒÔØÙÐØÑÓÐ׸ÒØØÖÙØ´ÓÖÖÐØÓÒ×Ôµ×ÔÖØÓÝÓÖÒÒØØݸØÒÒØØ××ÑØÑÙ×ØØ×ØØ××ÒйÑÒØÓÖÝÔÖØÔØÓÒÒ¸ºº¸Ò×ØÒÓ×ÜØÐÝÓÒ××ÓØ

ÚÐÙÓÖ´×½ µºÌ×ÐÑØØÓÒ×ÒÓØÔÖ×ÒØÒ¸ÓÒÒ¬ÒÒØØÖÙØ´ÓÖ×ØÓØØÖÙØ×µ×ݺÁÒÝÓÒÒØØÝÚÒØØØÖÙØ×ÑÙÐعÚÐÙ¸ÓÖÓÔØÓÒкÇÚÓÙ×Ðݸ×ÒйÚÐÙÓÖÑÒØÓÖÝØØÖÙØ×ÒÑÓÐÒÝÝÑÒ×ÓÒÙÑÖÖ×ØÖØÓÒ׺ËÙÔÔÓ×ØØËØÙÒØÒÍÒÚÖ×ØÝÖÓÒÔØ׸ÒÖÓÐÐÁÒ×ÒÖÝÖÐØÓÒØÛÒËØÙÒØÒÍÒÚÖ×ØݸÒÓ×ÒØØÖÙØÓËØÙ¹ÒØ´ÒÖÝÖÐØÓÒµ××ÓØÒØÓ×ØÙÒØÙÒÕÙÓºËÙÔÔÓ×ØØ×ØÙÒØ×ÙÒÕÙÓÛØÒØÙÒÚÖ×ØÝÒÛ××ÒÖÓÐкËÙ×ØÙØÓÒÒÖÔÖ×ÒØÝØÓÐÐÓÛÒÝÌÓÜÒÖÓÐÐÁÒ´°½ËØÙÒص´°¾ÍÒÚÖ×ØݵӴ°½ËØÙÒص´°¾ËØÖÒµËØÙÒØ´½°½ Óµ´ËØÙÒØ°½ Ó°½ ÒÖÓÐÐÁÒµÆÓØØظÒØÓÒÔØÙÐÑÓÐÒØÖÑÒÓÐÓݸËØÙÒØ×ÛÒØØݸºº¸ÔÖØÓØ×ÒجÖ×ÜØÖÒÐØÖÓÙØÖÐØÓÒ×ÔÒÖÓÐÐÁÒºÄÊÄÊ

ÜÑÔÐ

½

ÄÊ

Ú

Ù

Ú

Ù

Ú

Ý

Ê×ÓÒÒÓÒÄÊÛØÃÝ××ÖØÓÒ×ÏÐÒÓÛÛØØÔÖÓÐÑÓÚÖÝÒÐÓÐÑÔÐØÓÒÒݺÌÓØ×ÒÛ¬Ö×ØÓ×ÖÚØØÝ××ÖØÓÒÓÒÖÐØÓÒÓØÓÖÑ´Ê°µÄÊ

Ý

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

´½° ʵËÑÐÖÐݸØÝ××ÖØÓÒÓÒÓÒÔØ´° ʵÛÖÊ×ÒÖÝÖÐØÓÒ¸×ÕÙÚÐÒØØÓØ××ÖØÓÒ´½° ´Ê°µµÛÖ¾½¸Ò½¾ºÀÒ¸ÒØÓÐÐÓÛÒ¸ÛØÓÙØÐÓ××ÓÒÖÐØݸÛÛÐÐÒÓØÓÒ×ÖÝ××ÖØÓÒ×ÓØÓÚÓÖѺϬÖ×ØÓÙ×ÓÒÚÖÝÒÛØÖÒÒÐÙ×ÓÒ××ÖØÓÒ´ÛÓ×ÒÓØÒÚÓÐÚÝ×µ×ÐÓÐÐÝÑÔÐÝÝÌÓܺÄØÌÓܸÛÖ×Ø×ØÓÒÐÙ×ÓÒ××ÖØÓÒ×ÒÒ×Ø×ØÝÓÝ××ÖØÓÒ×ÒºÚ

×ÕÙÚÐÒØØÓØ

ÄÊ

××ÖØÓÒ

Ý

ÄÊ

Ú

Ù

ÄÊ

Ì

Ä

Ã

ÄÊ

Ä

Ì

Ã

Ì

ĽÚľ

Ì

ÓÖѾ

ÒÓÒÐÝصºÄ

ÄÊ

ÌÓÜÌÄÃÐÓÐÐÝÑÔÐ×ÒÒÐÙ×ÓÒ××ÖØÓÒÄÐÓÐÐÝÑÔÐ׼ھºÝÙÄÃ

Ï×ÓÛØØØÓÒÔØ´Ö×Ôº¸ÖÐØÓҵĽľ××Ø׬ÐÒ«Ø××Ø׬ÐÒºÌÖÚкÁØ×ÔÓ××ÐØÓ×ÓÛØØ×ØØÖ¹ÑÓÐÔÖÓÔÖØÝ ¸ºº¸ÌÓÜÑØ×ÑÓÐ×Ø×ÝÒÓÒÔظØÐ×ÓÑØ×ÑÓÐ×Ø×ÝÒØÓÒÔØÛ×Ø×ØÖÙØÙÖÓØÖ¸ÓÒ×ÖÒÖ¬ØÙÔÐ××ÒÓ׺ÇÒ×ÙÑÓÐ×Ý××ÖØÓÒ×ÐÛÝ××Ø׬ºÇ×ÖÚØØÝ××ÖØÓÒ×Ø

ØÖÕÙÚÐÒØØÓÒÙÑÖÖ×ØÖØÓÒ×ÖÐØÛØÖØÐÝÒºÌÓÖѾ×ÓÛ×ØØÝ××ÖØÓÒ×ÓÒÓØÒØÖØÛØÒÐÙ×ÓÒ××Ö¹ØÓÒ׺ÏÓÒ×ÖÒÓÛÐÓÐÑÔÐØÓÒÓÝ××ÖØÓÒ׺ÌÓØ×ÒÛÒØÖÓÙÒÖÐÞÓÖÑÓÓܺÏÑÙ×ÓËÓÐÑÓÒ×ØÒØ×´×¹ÓÒ×ØÒØ×µºÁÒØÙØÚÐݸ׹ÓÒ×ØÒØÒÓØ×ÒÒÚÙÐÒÒÒØÖÔÖعØÓÒ¸Ò×ÙÛÝØØ«ÖÒØ×¹ÓÒ×ØÒØ×ÑÝÒÓØØ×ÑÒÚÙк´ÒÖÐÞµÓÜ×ÓÒ×ØØÙØݬÒØ×ØÓ××ÖØÓÒ×ÓØÓÐÐÓÛÒØÝÔ״ܵʴصÜÝÖ×ÛÖÜÒÝÖ×¹ÓÒ×ØÒØ׸Ø×ØÙÔÐÓ×¹ÓÒ×ØÒØ×ÓØ×ÑÖØÝ×ØØÓʸÒÖÒ×ÖØÛÓØÙÔÐ×Ó×¹ÓÒ×ØÒØ×ÓØ×ÑÖØݺÌÒÓØÓÒÓÒØÖÔÖØØÓÒ×ÜØÒ×Ó×ØÓ××ÒØÓ×¹ÓÒ×ØÒØÜÒÒÚÙÐÜ¡ºÒÒØÖÔÖØØÓÒ×Ø׬״ܸܵÈÖÓÓ´×´µÄÊÄÊÄÊÄÊÁ

¾

Á

Á

¯

Á

¾

Á

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

Ø×Ø׬×ʴܽÜÒµ´Ü½ÜҵʸØ×Ø׬×ÜÝÜݸÒØ×Ø׬×Ö×ÓÖØÐ×ØÓÒÓÑÔÓÒÒظ´Ö µ´× µºÁ×ÌÓܸÒ×ÓÜÓØÓÚÓÖѸØÒ×ÐÐÒÓÛÐ׺ÒÒØÖÔÖØØÓÒ×Ø׬×Ø×Ø׬×ÚÖÝ××ÖØÓÒÒºÁØÓÐÐÓÛ×ÖÓÑØÖ×ÙÐØ×Ò ¸ØØ

ÒÒÓÛÐ×ÓÖ×Ø׬ÐØÝ×ÈÌÁŹÓÑÔÐغÚÒÒÝ××ÖØÓÒÝÌÓÜ´°½ ʽ° ʵ۬ҴµØÓÓÜØØÓÒØÒ״ܵ¸´Ýµ¸ÜÝʴص¸Ê´×µ¸Ûؽ¸ÛÖØÒ×ÖØÙÔÐ×ÛÓ×ÖØÝ×ØØÓÊÛØØ Ü¸× Ý¸ÒØ × ÓÖÓÖÝ××ÖØÓÒÒÓØÓÖÑ´°½ ʽ° ʵØִܵÓִܵ¸ØִݵÓִݵ¸½ÒØÖʴصÓÖʴص¸ÓÖ½×ÙØØØÖØÝÓÊÕÙÐ×ØØÓظ½ÒØÖÊ´×µÓÖÊ´×µ¸ÓÖ½×ÙØØØÖØÝÓÊÕÙÐ×ØØÓ×ÓÖÝ××ÖØÓÒÒÓØÓÖÑ´Ê°½°µØÖʴصÓÖʴص¸ÓÖ½×ÙØØØÖØÝÓÊÕÙÐ×ØØÓظØÖÊ´×µÓÖÊ´×µ¸ÓÖ½×ÙØØØÖØÝÓÊÕÙÐ×ØØÓ׺ËÑÐÖÐݸÚÒÒÝ××ÖØÓÒ´Ê°½°µÛ¬Ò´µØÓÓÜØØÓÒØÒ×ʴص¸Ê´×µ¸Ø׸ÛÖØÒ×ÖØÙÔÐ×ÛÓ×ÖØÝ×ØØÓÊÒ×ÙØØØ × ¸ÓÖ½¯ÁÁ

¾

Á

¯

Á

Á

¯

Á

Á

Ì

ÄÊ

ÄÊ

Ì

ÄÊ

Ì

Ì

ÄÊ

ÄÊ

Ì

Ä

Ã

Ý

Ã

ÄÊ

¯

¯

¾

¯

Ã

Ý

¼

¼

¼

¼

¼

¼

ß

¼

¼

ß

¼

¼

ß

¼

¼

¼

¼

¾

¼

¾

¼

¼

¼

ß

¼

¼

¼

¼

¾

¼

¾

¼

¼

¼

¯

Ã

Ý

¼

¼

¼

ß

¾

ß

¾

Ì

Ä

Ã

Ý

Ã

ÄÊ

¯

¾

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

ÓÖÝ××ÖØÓÒÓØÓÖÑ´Ê°½°µÛÖØÖØÝÓÊÕÙÐ×ØØÓÊØÖʴصÓÖʴص¸ÒØÖÊ´×µÓÖÊ´×µºÆÓØØظÚÒÒ¸ØÖÖÑÒÝ´ØÙÐÐݸÒÜÔÓÒÒØÐÒÙÑÖµ«ÖÒØÓÜ×´µ¸ÓÒÓÖÔÓ××ÐÓÒØØÑ×ÓÚºÁÒØÙ¹ØÚÐݸÒÓÜ´µ×ØÓÐÐÓÛÒØÙÖ×ØÚÓÐØ×ØÝ××ÖØÓÒ¸ØÐÐÓÛ×ØÓÑÑØÐÝÚÖÝÛØÖØÚÓÐØ×Ý××ÖØÓÒÒºÁÒ¸ÓÖÐÐÓØ×ÒØÙÔÐ×ÔÔÖÒÒ´µ¸ÑÑÖ×ÔÓÖÒÓÒ¹ÑÑÖ×ÔÒØÖÐÚÒØÖÐØÓÒ×ÒÓÒÔØ×ÔÔÖÒÒÝ××ÖØÓÒ×ØØÓÙÐÚÓÐØ×ÜÔÐØÐÝ××ÖغÀÒ¸Ø×ÙÆ×ØÓÚÖÝÛØÖØ×ÑÒØ

ÓÒØÓÒÓØÝ××ÖØÓÒ×ÚÓÐظÓÒ×ÖÒÖÐØÓÒ×ÒÓÒÔØ×ÔÔÖÒÒØÝ××ÖØÓÒ×ÔÖѹØÚ׺ÌÓÐÐÓÛÒØÓÖÑ×ÓÛ×ØØÝ×ÖÓÖÖÒ¸ÒØ×Ò×ØØÖ×ÓÒÒÒÖÙØÓÖ×ÓÒÒÒÒÓÛÐ×׺ÝÒ¯

Ý

¼

¼

¼

¼

¼

ß

¼

¼

ß

¼

¼

Ã

Ã

Ã

¯

¯

Ã

Ã

ÄÊ

ÄÊ

ÄÊ

Ì

ÄÊÝÌÓÜÌÒÓÒÐÝØÖÜ×Ø×ÓÒÒ×ÙØØØÄÊÒÓÛÐ

ÓÖÑ¿

´Ä

ÄÃ

Ã

×

µØ

Ó×ÒÓØÐÓÐÐÝÑÔÐÝÝ××ÖØÓÒØ×Ø׬×ÐÐÝ××ÖØÓÒ×ÒÃĴõ××Ø׬кÃ

ÈÖÓÓ´×صº××ÙÑØØØÖÜ×Ø×ÓÒ´µØØ×Ø׬×ÐÐÝ××ÖØÓÒ×ÒÒ×ÙØØ´µ××Ø׬кÌÒ¸ÝÜÔÐÓØÒØØÖÑÓÐÔÖÓÔÖØݸÓÒÒ×ÐÝÓÒ×ØÖÙØÑÓÐÓÛÖ×ÚÓÐغ××ÙÑØØÓ×ÒÓØÐÓÐÐÝÑÔÐÝØÝ××ÖØÓÒºÌÒØÖ×ÑÓÐÓÛÖ×ÚÓÐغÙØØÒ×ÙÑÓÐÛÓÙÐÑÓÐÓ´µÓÖ×ÓÑ´µºÏÒÒÓÛ×ØØØØÓÖÑ×ÓÛÒØØÖ×ÓÒÒÓÒÌÓÜÛØÝ××ÖØÓÒ×ÒÓÒÛØØ×ÑÛÓÖ×ع×ÓÑÔÙØØÓÒÐÓÑÔÐÜØÝ×ÓÖØ×ÛØÓÙØÝ׺´ÃÃÄõÌÄÃÌÄÃÃÄÊ

Ì

ÓÑÔÐغ

ÓÖÑ

ËØ׬صº

ÐØÝÒÐÓÐÑÔÐØÓÒÒ

ÄÊ

Ý

Ö

ÈÌÁŹ

ÝÌÓÖѾ¸×Ø׬ÐØÝÓÌÓܸ×Ø׬ÐØÝÓÓÒÔØÓÖÖÐØÓÒÒÌÓܸÒÐÓÐÑÔÐØÓÒÓÒÐÙ×ÓÒ××ÖØÓÒ×ÒÓÖÖ×ÔÓÒÒÔÖÓÐÑ×ÒºÝÌÓÖÑ¿¸ÐÓÐÝÖÙØÓØÈÖÓÓ´×ÄÊÄÊ

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µ¸Ô×߸½º ºÐÚÒ׸ºÓÑÓ¸ÒźÄÒÞÖÒºÇÒØÐØÝÓÕÙÖÝÓÒØÒÑÒØÙÒÖÓÒ×ØÖÒØ׺ÁÒÈÖÓºÓؽØÅËÁÌ

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

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

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

ËÁÅÇ

ËÁ

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

Ø

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

½¼

本文来源：https://www.bwwdw.com/article/mjh4.html