TY - GEN
T1 - Combining DRA and CYC into a network friendly calculus
AU - Chipofya, Malumbo
PY - 2012
Y1 - 2012
N2 - Qualitative spatial reasoning is usually performed using spatial calculi specially designed to represent certain aspects of spatial knowledge. However most calculi must be adapted for use in applications where additional constraints are at play. This paper combines the DRA and CYC algebras into a new calculus for reasoning within network structures. In the process we prove some interesting results about some properties of the standard operations, converse and composition, for versions of CYC and DRA.
AB - Qualitative spatial reasoning is usually performed using spatial calculi specially designed to represent certain aspects of spatial knowledge. However most calculi must be adapted for use in applications where additional constraints are at play. This paper combines the DRA and CYC algebras into a new calculus for reasoning within network structures. In the process we prove some interesting results about some properties of the standard operations, converse and composition, for versions of CYC and DRA.
UR - http://www.scopus.com/inward/record.url?scp=84878786615&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-098-7-234
DO - 10.3233/978-1-61499-098-7-234
M3 - Conference contribution
AN - SCOPUS:84878786615
SN - 9781614990970
T3 - Frontiers in Artificial Intelligence and Applications
SP - 234
EP - 239
BT - ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration
PB - IOS Press
T2 - 20th European Conference on Artificial Intelligence, ECAI 2012
Y2 - 27 August 2012 through 31 August 2012
ER -