Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic

@inproceedings{Brandt2017OntologyBasedDA,
  title={Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic},
  author={Sebastian Brandt and Elem G{\"u}zel Kalayci and Roman Kontchakov and Vladislav Ryzhikov and Guohui Xiao and Michael Zakharyaschev},
  booktitle={AAAI},
  year={2017}
}
We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case MTL is known to be undecidable. Nonrecursive datalogMTL turns out to be PSPACE-complete for combined complexity and in AC for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

67 Citations

020406020172018
Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 22 references

Ontology-based data access with a Horn fragment of metric temporal logic (technical report)

  • S. Brandt, E. Güzel Kalaycı, R. Kontchakov, V. Ryzhikov, G. Xiao, M. Zakharyaschev
  • http://www.inf.unibz.it/~gxiao/AAAI17-MTL-Datalog…
  • 2016
2 Excerpts

Similar Papers

Loading similar papers…