A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Duentsch; Ewa Orłowskay; Hui Wang

doi:10.3233/FI-2016-1430

A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Duentsch, Ewa Orłowskay, Hui Wang

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

In previous work we have presented a class of algebras enhanced with two contact relations representing rough set style approximations of a spatial contact relation. In this paper, we develop a class of relational systems which is mutually interpretable with that class of algebras, and we consider a relational logic whose semantics is determined by those relational systems. For this relational logic we construct a proof system in the spirit of Rasiowa-Sikorski, and we outline the proofs of its soundness and completeness.

Original language	English
Pages (from-to)	191-206
Number of pages	16
Journal	Fundamenta Informaticae
Volume	148
Issue number	1-2
DOIs	https://doi.org/10.3233/FI-2016-1430
Publication status	Published - 24 Dec 2016
Externally published	Yes

Keywords

Relational Logic
Spatial Contact Relation
Rough Set

Access to Document

10.3233/FI-2016-1430Licence: Unspecified

Cite this

@article{4ad274362aa2498f8c08df1bd3258c4d,

title = "A Relational Logic for Spatial Contact Based on Rough Set Approximation",

abstract = "In previous work we have presented a class of algebras enhanced with two contact relations representing rough set style approximations of a spatial contact relation. In this paper, we develop a class of relational systems which is mutually interpretable with that class of algebras, and we consider a relational logic whose semantics is determined by those relational systems. For this relational logic we construct a proof system in the spirit of Rasiowa-Sikorski, and we outline the proofs of its soundness and completeness.",

keywords = "Relational Logic, Spatial Contact Relation, Rough Set",

author = "Ivo Duentsch and Ewa Or{\l}owskay and Hui Wang",

year = "2016",

month = dec,

day = "24",

doi = "10.3233/FI-2016-1430",

language = "English",

volume = "148",

pages = "191--206",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Sage Publications Ltd",

number = "1-2",

}

TY - JOUR

T1 - A Relational Logic for Spatial Contact Based on Rough Set Approximation

AU - Duentsch, Ivo

AU - Orłowskay, Ewa

AU - Wang, Hui

PY - 2016/12/24

Y1 - 2016/12/24

N2 - In previous work we have presented a class of algebras enhanced with two contact relations representing rough set style approximations of a spatial contact relation. In this paper, we develop a class of relational systems which is mutually interpretable with that class of algebras, and we consider a relational logic whose semantics is determined by those relational systems. For this relational logic we construct a proof system in the spirit of Rasiowa-Sikorski, and we outline the proofs of its soundness and completeness.

AB - In previous work we have presented a class of algebras enhanced with two contact relations representing rough set style approximations of a spatial contact relation. In this paper, we develop a class of relational systems which is mutually interpretable with that class of algebras, and we consider a relational logic whose semantics is determined by those relational systems. For this relational logic we construct a proof system in the spirit of Rasiowa-Sikorski, and we outline the proofs of its soundness and completeness.

KW - Relational Logic

KW - Spatial Contact Relation

KW - Rough Set

U2 - 10.3233/FI-2016-1430

DO - 10.3233/FI-2016-1430

M3 - Article

SN - 0169-2968

VL - 148

SP - 191

EP - 206

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 1-2

ER -

A Relational Logic for Spatial Contact Based on Rough Set Approximation

Abstract

Keywords

Access to Document

Fingerprint

Cite this