The Guarded Fragment of Conceptual Graphs
Franz Baader, Ralf Molitor, Stephan Tobies · 1998
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 de ned guarded fragment of CGs, for which both subsumption and validity is decidable in deterministic exponential time.