Combining DRA and CYC into a network friendly calculus

M. Chipofya*

*Corresponding author for this work

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

3 Citations (Scopus)
78 Downloads (Pure)


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 publicationProceedings ECAI 2012
Subtitle of host publication20th European Conference on Artificial Intelligence
EditorsP. Frasconi, F. Heintz, P. Lucas
PublisherIOS Press
Number of pages6
ISBN (Electronic)978-1-61499-098-7
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


  • ITC-CV


Dive into the research topics of 'Combining DRA and CYC into a network friendly calculus'. Together they form a unique fingerprint.

Cite this