Reasoning-Supported Interactive Revision of Knowledge Bases

Nadeschda NikitinaNadeschda Nikitina, Sebastian RudolphSebastian Rudolph, Birte GlimmBirte Glimm

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{NRG2011,
  author    = {Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm},
  title     = {Reasoning-Supported Interactive Revision of Knowledge Bases},
  booktitle = {Proceedings of the 24th International Workshop on Description
               Logics (DL2011)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2011}
}