Combining DRA and CYC into a network friendly calculus

Malumbo Chipofya*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration
PublisherIOS Press
Number of pages6
ISBN (Print)9781614990970
Publication statusPublished - 2012
Externally publishedYes
Event20th European Conference on Artificial Intelligence, ECAI 2012 - Montpellier, France
Duration: 27 Aug 201231 Aug 2012

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389


Conference20th European Conference on Artificial Intelligence, ECAI 2012

Cite this