Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting

Ortiz de la Fuente, M.Magdalena; Rudolph, Sebastian; Simkus, Mantas

Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.

Record link:

http://hdl.handle.net/20.500.12708/36760

Title:

Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting

Citation:

Ortiz de la Fuente, M. M., Rudolph, S., & Simkus, M. (2010). Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting (INFSYS RR 1843-10-03). http://hdl.handle.net/20.500.12708/36760

Publication Type:

Report - Research Report

Authors:

Ortiz de la Fuente, M.Magdalena
Rudolph, Sebastian
Simkus, Mantas

Organisational Unit:

E192-03 - Forschungsbereich Knowledge Based Systems

Report No.:

INFSYS RR 1843-10-03

Date (published):

2010

Number of Pages:

Science Branch: