Metric Temporal Description Logics with Interval-Rigid Names

Franz BaaderFranz Baader, Stefan BorgwardtStefan Borgwardt, Patrick KoopmannPatrick Koopmann, Ana OzakiAna Ozaki, Veronika ThostVeronika Thost

Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), to appear

Details
Bibtex

Projekt:Project: Cfaed, HAEC, HAEC B02
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{BBKOT2017,
  author    = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana
               Ozaki and Veronika Thost},
  title     = {Metric Temporal Description Logics with Interval-Rigid Names},
  booktitle = {Proceedings of the 11th International Symposium on Frontiers of
               Combining Systems (FroCoS'17)},
  year      = {2017}
}