(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
Nadeschda Nikitina and Sebastian Rudolph
ISSN
0004−3702
Journal
Artificial Intelligence
Keywords
Ontologies‚ Knowledge representation‚ Automated reasoning‚ Description logics‚ Uniform interpolation‚ Forgetting‚ EL
Number
0
Pages
120 − 140
Volume
215
Year
2014