Search Results - "Zakharyaschev, M"

The DL-Lite Family and Relations by Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.

“…The recently introduced series of description logics under the common moniker `DL-Lite' has attracted attention of the description logic and semantic web…”
Get full text

A Decidable Extension of SROIQ with Complex Role Chains and Unions by Mosurovic, M., Krdzavac, N., Graves, H., Zakharyaschev, M.

“…We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled…”
Get full text

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity by Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.

“…In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and…”
Get full text

A Logic for Concepts and Similarity by Sheremet, M., Tishkovsky, D., Wolter, F., Zakharyaschev, M.

“…Categorization of objects into classes is currently supported by (at least) two `orthogonal' methods. In logic-based approaches, classifications are defined…”
Get full text

Products of ‘transitive” modal logics by Gabelaia, D., Kurucz, A., Wolter, F., Zakharyaschev, M.

“…We solve a major open problem concerning algorithmic properties of products of 'transitive' modal logics by showing that products and commutators of such…”
Get full text

Decidable and undecidable fragments of first-order branching temporal logics by Hodkinson, I., Wolter, F., Zakharyaschev, M.

“…In this paper we analyze the decision problem for fragments of first-order extensions of branching time temporal logics such as computational tree logics CTL…”
Get full text

On the computational complexity of decidable fragments of first-order linear temporal logics by Hodkinson, I., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.

“…We study the complexity of some fragments of first-order temporal logic over natural numbers time. The one-variable fragment of linear first-order temporal…”
Get full text

On non-local propositional and local one-variable quantified CTL by Bauer, S., Hodkinson, I., Wolter, F., Zakharyaschev, M.

“…We prove decidability of 'non local' propositional CTL*, where truth values of atoms may depend on the branch of evaluation. This result is then used to show…”
Get full text

Temporalising Tractable Description Logics by Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.

“…It is known that for temporal languages, such as first-order LTL, reasoning about constant (time-independent) relations is almost always undecidable. This…”
Get full text

Decidable fragments of first-order temporal logics by Hodkinson, Ian, Wolter, Frank, Zakharyaschev, Michael

“…In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal…”
Get full text

Non-primitive recursive decidability of products of modal logics with expanding domains by Gabelaia, D., Kurucz, A., Wolter, F., Zakharyaschev, M.

“…We show that—unlike products of ‘transitive’ modal logics which are usually undecidable—their ‘expanding domain’ relativisations can be decidable, though not…”
Get full text

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning by Bennett, Brandon, Cohn, Anthony G, Wolter, Frank, Zakharyaschev, Michael

“…In this paper we advocate the use of multi-dimensional modal logics as a framework for knowledge representation and, in particular, for representing…”
Get full text

Axiomatizing the monodic fragment of first-order temporal logic by Wolter, Frank, Zakharyaschev, Michael

“…It is known that even seemingly small fragments of the first-order temporal logic over the natural numbers are not recursively enumerable. In this paper we…”
Get full text

On Dynamic Topological and Metric Logics by Konev, B., Kontchakov, R., Wolter, F., Zakharyaschev, M.

“…We investigate computational properties of propositional logics for dynamical systems. First, we consider logics for dynamic topological systems$\langle…”
Get full text

Willem Blok and Modal Logic by Rautenberg, W., Wolter, F., Zakharyaschev, M.

“…We present our personal view on W. J. Blok's contribution to modal logic…”
Get full text

Decidable fragments of first-order modal logics by Wolter, Frank, Zakharyaschev, Michael

“…The paper considers the set ML1 of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable…”
Get full text

A logic for metric and topology by Wolter, Frank, Zakharyaschev, Michael

“…We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with…”
Get full text

On the Products of Linear Modal Logics by Reynolds, Mark, Zakharyaschev, Michael

“…We study two‐dimensional Cartesian products of modal logics determined by infinite or arbitrarily long finite linear orders and prove a general theorem showing…”
Get full text

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables by Kontchakov, Roman, Kurucz, Agi, Zakharyaschev, Michael

“…We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the…”
Get full text

On Non-local Propositional and Weak Monodic Quantified CTL by Bauer, Sebastian, Hodkinson, Ian, Wolter, Frank, Zakharyaschev, Michael

“…In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional PCTL*, in which…”
Get full text