Abstract:Fuzzy spatiotemporal reasoning is extensively used in various application fields such as Geographic Information Systems, Geospatial Artificial Intelligence, and Remote Sensing Systems. However, providing a tractable reasoning mechanism for fuzzy spatiotemporal knowledge is a challenging research problem. Description logics (DLs) are a type of logic-based tractable knowledge representation formalism that allow for describing knowledge structure of an application domain, but they are limited in their ability to express fuzzy spatiotemporal knowledge. To address this limitation, we propose a tractable temporal DL named f - 𝒜ℒ𝒞(𝒮) -LTL, which expands linear temporal logic (LTL) by utilizing fuzzy spatial DL f - 𝒜ℒ𝒞(𝒮) . In this article, we first define the syntax and formal-semantic model of our logic and investigate a tableau rule-based reasoning procedure to verify satisfiability. We further show the correctness and computational complexity of the reasoning procedure and demonstrate a running example of its application. Finally, we implement a prototype reasoning tool that can determine the satisfiability problem. Our case studies show that our logic f - 𝒜ℒ𝒞(𝒮) -LTL is feasible and the prototype reasoning tool actually works. The logic f - 𝒜ℒ𝒞(𝒮) -LTL enables tractable reasoning about the dynamic evolution of fuzzy RCC relations over time.

Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN

Reasoning with Fuzzy Ontologies

Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions

Local Relations Hold Reasoning

Local Relation Mapping Theory of Fuzzy Reasoning

A Fuzzy Extension of ALC with Fuzzy Modifiers

Extended fuzzy ALCN and its tableau algorithm

On Computational Complexity of the Extended Fuzzy Description Logic with Numerical Restriction

New reasoning algorithm based on EFALC

Reasoning technique for extended fuzzy ALCQ

Reasoning with Very Expressive Fuzzy Description Logics

Discrete Tableau Algorithms for FSHI

Distributed Reasoning with Fuzzy Description Logics

Reasoning technique for extended fuzzy description logics

F-$$\Mathcal {ALC}$$(D)-LTL: A Fuzzy Spatio-Temporal Description Logic

Fuzzy Description Logic Based on Vague Sets

A Tractable Temporal Description Logic for Reasoning Fuzzy Spatiotemporal Knowledge

A fuzzy extension of description logic ALCH

Reasoning with a fuzzy description logic based on an axiom system.

A Fuzzy Extension of Description Logic $\mathcal{ALCH}$

Reasoning technique for extended fuzzy script A sign script L sign script C sign script Q sign