- Titel
- The Guarded Fragment of Conceptual Graphs
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788317
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 98-10
- Erstveröffentlichung
- 1998
- DOI
- https://doi.org/10.25368/2022.86
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Begriffsgraphen, Subsumtion, Gültigkeit, Exponentialzeit
- Freie Schlagwörter (EN)
- Conceptual graphs, subsumption, validity, exponential time
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788317
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0