(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
| Main Authors: | , |
|---|---|
| 格式: | Journal article |
| 出版: |
2014
|
| _version_ | 1826298997729394688 |
|---|---|
| author | Nikitina, N Rudolph, S |
| author_facet | Nikitina, N Rudolph, S |
| author_sort | Nikitina, N |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:55:12Z |
| format | Journal article |
| id | oxford-uuid:d65d7569-a53e-47d5-8501-c7483fd172ff |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:55:12Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:d65d7569-a53e-47d5-8501-c7483fd172ff2022-03-27T08:32:57Z(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic ELJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:d65d7569-a53e-47d5-8501-c7483fd172ffDepartment of Computer Science2014Nikitina, NRudolph, S |
| spellingShingle | Nikitina, N Rudolph, S (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title | (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title_full | (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title_fullStr | (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title_full_unstemmed | (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title_short | (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL |
| title_sort | non succinctness of uniform interpolants of general terminologies in the description logic el |
| work_keys_str_mv | AT nikitinan nonsuccinctnessofuniforminterpolantsofgeneralterminologiesinthedescriptionlogicel AT rudolphs nonsuccinctnessofuniforminterpolantsofgeneralterminologiesinthedescriptionlogicel |