We study a spatial logic for reasoning about labelled directed graphs, and the application of this logic to provide a query language for analysing and manipulating such graphs. We give a graph description using constructs from process algebra. We introduce a spatial logic in order to reason locally about disjoint subgraphs. We extend our logic to provide a query language which preserves the multiset semantics of our graph model. Our approach contrasts with the more traditional set-based semantics found in query languages such as TQL, Strudel and GraphLog. © 2002 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Cardelli, L., Gardner, P., & Ghelli, G. (2002). A spatial logic for querying graphs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2380 LNCS, pp. 597–610). Springer Verlag. https://doi.org/10.1007/3-540-45465-9_51
Mendeley helps you to discover research relevant for your work.