MeTeoR: practical reasoning in datalog with metric temporal operators
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing....
| Үндсэн зохиолчид: | , , , |
|---|---|
| Формат: | Conference item |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Association for the Advancement of Artificial Intelligence
2022
|