Decidable Contextualized DLs with Rigid Roles

Stephan BöhmeStephan Böhme, Marcel LippmannMarcel Lippmann

Download

Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{BL2015,
  author    = {Stephan B{\"{o}}hme and Marcel Lippmann},
  title     = {Decidable Contextualized {DLs} with Rigid Roles},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL-2015)},
  series    = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
  year      = {2015}
}