(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL

Nadeschda NikitinaNadeschda Nikitina, Sebastian RudolphSebastian Rudolph

Nadeschda Nikitina, Sebastian Rudolph
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL
Artif. Intell., 215:120-140, 2014

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{NR2014,
  author  = {Nadeschda Nikitina and Sebastian Rudolph},
  title   = {(Non-)Succinctness of uniform interpolants of general terminologies
             in the description logic {EL}},
  journal = {Artif. Intell.},
  volume  = {215},
  year    = {2014},
  pages   = {120-140}
}