Combining DRA and CYC into a network friendly calculus

M. Chipofya

doi:10.3233/978-1-61499-098-7-234

Combining DRA and CYC into a network friendly calculus

M. Chipofya^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

345 Downloads (Pure)

Abstract

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 language	English
Title of host publication	Proceedings ECAI 2012
Subtitle of host publication	20th European Conference on Artificial Intelligence
Editors	P. Frasconi, F. Heintz, P. Lucas
Publisher	IOS
Pages	234-239
Number of pages	6
ISBN (Electronic)	978-1-61499-098-7
ISBN (Print)	9781614990970
DOIs	https://doi.org/10.3233/978-1-61499-098-7-234
Publication status	Published - 2012
Externally published	Yes
Event	20th European Conference on Artificial Intelligence, ECAI 2012 - Montpellier, France Duration: 27 Aug 2012 → 31 Aug 2012 Conference number: 20

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	242
ISSN (Print)	0922-6389

Conference

Conference	20th European Conference on Artificial Intelligence, ECAI 2012
Abbreviated title	ECAI 2012
Country/Territory	France
City	Montpellier
Period	27/08/12 → 31/08/12

Keywords

ITC-CV

Access to Document

10.3233/978-1-61499-098-7-234Licence: CC BY-NC

FAIA242-0234Final published version, 313 KBLicence: CC BY-NC

Cite this

@inproceedings{ba22293f57a947378934d2332fb2bbad,

title = "Combining DRA and CYC into a network friendly calculus",

abstract = "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.",

keywords = "ITC-CV",

author = "M. Chipofya",

year = "2012",

doi = "10.3233/978-1-61499-098-7-234",

language = "English",

isbn = "9781614990970",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS",

pages = "234--239",

editor = "P. Frasconi and F. Heintz and P. Lucas",

booktitle = "Proceedings ECAI 2012",

address = "Netherlands",

note = "20th European Conference on Artificial Intelligence, ECAI 2012, ECAI 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

Chipofya, M 2012, Combining DRA and CYC into a network friendly calculus. in P Frasconi, F Heintz & P Lucas (eds), Proceedings ECAI 2012: 20th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 242, IOS, pp. 234-239, 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27/08/12. https://doi.org/10.3233/978-1-61499-098-7-234

Combining DRA and CYC into a network friendly calculus. / Chipofya, M.
Proceedings ECAI 2012: 20th European Conference on Artificial Intelligence. ed. / P. Frasconi; F. Heintz; P. Lucas. IOS, 2012. p. 234-239 (Frontiers in Artificial Intelligence and Applications; Vol. 242).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Combining DRA and CYC into a network friendly calculus

AU - Chipofya, M.

N1 - Conference code: 20

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.

KW - ITC-CV

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 - Proceedings ECAI 2012

A2 - Frasconi, P.

A2 - Heintz, F.

A2 - Lucas, P.

PB - IOS

T2 - 20th European Conference on Artificial Intelligence, ECAI 2012

Y2 - 27 August 2012 through 31 August 2012

ER -

Combining DRA and CYC into a network friendly calculus

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this