The Guarded Fragment of Conceptual Graphs

Authors:
Baader F.;Molitor R.;Tobies S.
Affiliations:
-;-;-
Venue:
The Guarded Fragment of Conceptual Graphs
Year:
1998

Citing 0
Cited 2

A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Boolean formulas of simple conceptual graphs SGBF

GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conceptual graphs (CGs) are an expressive and intuitive formalism, which plays an important role in the area of knowledge representation. Due to their expressiveness, most interesting problems for CGs are inherently undecidable. We identify the syntactically defined guarded fragment of CGs, for which both subsumption and validity is decidable in deterministic exponential time.