Complexities of Nominal Schemas

From International Center for Computational Logic

Toggle side column
Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
  • KurzfassungAbstract
    In this extended abstract, we review our recent work “Nominal Schemas in Description Logics: Complexities Clarified” presented at KR 2014.
  • Weitere Informationen unter:Other info: Link
  • Projekt:Project: DIAMOND
  • Forschungsgruppe:Research Group: Computational LogicWissensbasierte Systeme
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Complexities of Nominal Schemas},
  booktitle = {Proc. 27th International Workshop on Description Logics (DL'14)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2014},
  month     = {July},
  pages     = {270-273}