The Guarded Fragment of Conceptual Graphs

Franz BaaderFranz Baader, R. MolitorR. Molitor, Stephan TobiesStephan Tobies

Datei:BaaderMolitorTobies-LTCS-98-10.ps.gz

Download

Franz Baader, R. Molitor, Stephan Tobies
The Guarded Fragment of Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-10, 1998. LTCS-Report

Details
Bibtex

KurzfassungAbstract
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.
Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ Baader-Molitor-Tobies-LTCS-98a,
  address = {Germany},
  author = {F. {Baader} and R. {Molitor} and S. {Tobies}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
  number = {LTCS-98-10},
  title = {The Guarded Fragment of Conceptual Graphs},
  type = {LTCS-Report},
  year = {1998},
}