Extensionality of the RCC8 Composition Table

Li, S; Ying, M

Extensionality of the RCC8 Composition Table

Li, S

Ying, M

Permalink

Publication Type:: Journal Article
Citation:: Fundamenta Informaticae, 2003, 55 (3-4), pp. 363 - 385
Issue Date:: 2003-06-01

Closed Access

	Filename	Description	Size
	2008004785OK.pdf		226.32 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Li, S https://orcid.org/0000-0002-3332-2546	en_US
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2003-06-01	en_US
dc.identifier.citation	Fundamenta Informaticae, 2003, 55 (3-4), pp. 363 - 385	en_US
dc.identifier.issn	0169-2968	en_US
dc.identifier.uri	http://hdl.handle.net/10453/8916
dc.description.abstract	This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the Egenhofer model is indeed an extensional one for the RCC8 composition table. Moreover this model is the maximal extensional one for the RCC8 composition table in a sense.	en_US
dc.relation.ispartof	Fundamenta Informaticae	en_US
dc.subject.classification	Computation Theory & Mathematics	en_US
dc.title	Extensionality of the RCC8 Composition Table	en_US
dc.type	Journal Article
utslib.citation.volume	3-4	en_US
utslib.citation.volume	55	en_US
utslib.for	0802 Computation Theory and Mathematics	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access
pubs.issue	3-4	en_US
pubs.publication-status	Published	en_US
pubs.volume	55	en_US

Abstract:

This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the Egenhofer model is indeed an extensional one for the RCC8 composition table. Moreover this model is the maximal extensional one for the RCC8 composition table in a sense.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/8916