Deciding inseparability and conservative extensions in the description logic EL
Type of publication: | Article |
Citation: | DBLP:journals/jsc/LutzW10 |
Journal: | J. Symb. Comput. |
Volume: | 45 |
Number: | 2 |
Year: | 2010 |
Pages: | 194-228 |
DOI: | 10.1016/j.jsc.2008.10.007 |
Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-25 16:14:00 +0200}, date-modified={2012-09-25 16:14:00 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|