A paper titled “Combining DRA and CYC into a Network Friendly Calculus” has been accepted for full paper publication at the 20th European Conference on Artificial Intelligence (ECAI 2012). In the paper the author, Malumbo Chipofya, describes two families of binary qualitative spatial calculi and some ternary calculi defined over them. The motivation was to find a calculus to represent relations among edges in plane embedded networks such as networks of streets. Below is an abstract of the paper:
“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.”
ECAI “is the premier forum for presenting Artificial Intelligence results in Europe”. ECAI 2012 will take place in Montpellier, France from 27th to 31st August, 2012.