CLKR Files

The main file type in CLKR is the .cl-format which is used for knowledge bases. Each .cl-file ocntains a propositional signature and a knowldege base or a list of knowledge bases over that signature.

The .clq-format is used for storing queries to a knowledge base. Queries are represented as conditionals and they must use the same signature as the corresponding knowledge base.

A problem set consists of a set of knowledge bases and a set of queries over the same signature.

A collection in CLKR contains a set of .cl-files or a set of .clq-files that belong together.

Each .cl-file and each .clq-file has a standardized file header, and each collection has a standardized README-file as described in the following.

(1) .cl-File Header:

/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : $FileName, e.g. all_kb_ab_ANF_1-500000.cl
* Type       : KB
* Domain     : $Domain, e.g. all KBs over {a,b} in ANF
* Date       : $YYYY-MM-DD
* Version    : v1.0
* 
* Details    : Signature size        : $NumberOfVariables
*              #Knowledge Bases      : $Amount  //only for file with more than one KB
*              #Conditionals per KB  : $MinNumberOfConds - $MaxNumberOfConds    // omit max number if equal to min number
* 
* Refs       : $References, e.g. [BHS23] Beierle, Haldimann, Schwarzer (2023), Observational Equivalence... (DOI: )
*
* Comments   : $Comments-about-normalforms-signature-etc
*
****************************************************************/

Explanation:

The first block contains information regarding the file itself. It consists of the filename, the type of elements contained in the file (knowledge base), the contextual domain, a date, and the version of CLKR in which the file was entered into CLKR.
The second block contains more details regarding the file's contents. This includes the size of the underlying signature, the number of knowledge bases in the file, and the range of the number of conditionals in the knowledge bases in the file.
Following these two blocks is a list of references to literature regarding, e.g., the creation of the knowledge bases or the definition of normal forms.
The comments field may contain any additional information regarding the knowledge base.

(2) .clq-File Header:

/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : $FileName
* Type       : Queries
* Domain     : $Domain, e.g. Randomly Generated
* Date       : $YYYY-MM-DD
* Version    : v1.0
*
* Signature  : $signature
* KB         : $Path/to/file
* 
* Details    : Signature size        : $NumberOfVariables
*              #Queries              : $NumberOfConds
* 
* Refs       : $References, e.g. [BHS23] Beierle, Haldimann, Schwarzer (2023), Observational Equivalence... (DOI: )
*
* Comments   : $Comments-about-normalforms-signature-etc
****************************************************************/

Explanation:

The first block contains information regarding the file itself. It consists of the filename, the type of elements contained in the file (query conditional), the contextual domain, a date, and the version of CLKR in which the file was entered into CLKR.
The second block contains the underlying signature and a list of paths to knowledge bases using the same signature which together with these query conditionals form a problem set.
The third block includes the size of the underlying signature, and the number of query conditionals in the file.
Following these three blocks is a list of references to literature regarding, e.g., the creation of the query conditionals.
The comments field may contain any additional information regarding the query conditionals.

(3) Collection README:

/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : all_kb_ab_ANF
* Domain     : $Domain, e.g. all KBs over {a,b} in ANF
* Type       : $KB / Queries / ...
* Date       : $YYYY-MM-DD
* Version    : v1.0
* 
* Files in collection   : $NamePattern, e.g. all_kb_ab_ANF_<*>.cl
* #Files in collection  : $Amount
* #KBs in collection    : $Amount
* Conds/KB in collection: $MinNumberOfConds - $MaxNumberOfConds
* 
* Refs       : $References, e.g. [BHS23] Beierle, Haldimann, Schwarzer (2023), Observational Equivalence... (DOI: )
* 
* Comments   : $Comments-about-normalforms-signature-etc
*
****************************************************************/

Explanation:

The first block contains general information about the collection. It consists of the collection's name, the contextual domain, the type of elements contained in the collection (knowledge bases or query conditionals), a date, and the version of CLKR in which the collection was entered or extended.
The second block contains more details regarding the collection's contents. This includes a name pattern that all files in the collection match, the number of files in the collection and the number of elements in the collection. For a collection of knowledge bases, the range of the number of conditionals in the knowledge bases is given.
Following these two blocks is a list of references to literature regarding, e.g., the origin of the collection.
The comments field may contain any additional information regarding the collection.