Metric Temporal Description Logics with Interval-Rigid Names
- Franz Baader
- Stefan Borgwardt
- et al.
- 2020
- ACM TOCL
Publications
2 results for Ana Ozaki
Attributed description logics: Reasoning on knowledge graphs
- Markus Krötzsch
- Maximilian Marx
- et al.
- 2018
- IJCAI 2018