Query Answering over Some Extensions of Allen’s Interval Logic

Autor:	Gerald S. Plesniewicz
Rok vydání:	2018
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Theoretical computer science Computer science Computer Science::Logic in Computer Science Interval temporal logic Extension (predicate logic) Rule of inference Fuzzy logic Hardware_LOGICDESIGN
Zdroj:	Advances in Intelligent Systems and Computing ISBN: 9783030018177
DOI:	10.1007/978-3-030-01818-4_36
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::396f8eda35516b7f6deb9a8fac8a21bd https://doi.org/10.1007/978-3-030-01818-4_36 Zobrazit plný text záznamu