- title
- The Guarded Fragment of Conceptual Graphs
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788317
- Series
- LTCS-Report
- multivolume_volume0
- 98-10
- publication_date
- 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.
- Keywords (DE)
- Begriffsgraphen, Subsumtion, Gültigkeit, Exponentialzeit
- Keywords (EN)
- Conceptual graphs, subsumption, validity, exponential time
- Classification (DDC)
- 004
- Classification (RVK)
- ST 136
- university_publisher
- Aachen University of Technology, Aachen
- version
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788317
- Qucosa date of publication
- 20.05.2022
- Document type
- report
- Document language
- English
- licence
CC BY 4.0