Query Answering over Some Extensions of Allen’s Interval Logic
We have considered a Boolean extension and a fuzzy Boolean extension of Allen’s interval logic. We present, for extended logics, the complete systems of inference rules based on analytic tableaux. The methods of query answering over ontologies and fact bases written un these logics were developed.
KeywordsTemporal logics Fuzzy logics Allen’s interval logic Deduction Query answering
This work was supported by Russian Foundation for Basic Research (project 17-07-01332).
- 1.D’Aggostino, M., Gabbay, D., Hahnle, R., Possega, J. (eds.): Handbook of Tableaux Methods. Kluwer, Dordrecht (1999)Google Scholar
- 7.Ohlbach, H.J.: Relations between fuzzy time intervals. In Proceedings 11th International Symposium on Temporal Representation and Reasoning, pp. 44–51. Tatihou, France (2004)Google Scholar