From a935e408fb926ec612eccb5186174a1ea363b659 Mon Sep 17 00:00:00 2001 From: Vedran Kasalica Date: Thu, 15 Aug 2024 12:52:49 +0200 Subject: [PATCH] Clarify CNF syntax --- docs/developers/developers.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/developers/developers.rst b/docs/developers/developers.rst index 39d9902..779fb9c 100644 --- a/docs/developers/developers.rst +++ b/docs/developers/developers.rst @@ -21,10 +21,10 @@ Upon execution, the file will be created in the given path, and the user can ins -http://edamontology.org/halvade_somatic(Tool1) empty(Out1.2) ... -The first constraint encodes that in case ``Artic`` is used as a first tool (Tool1), the 3rd output of the first tool (Out1.2) is empty, because the tool ``Artic`` has only 2 outputs. The second constraint specifies that in case ``Comet``is used the first input (In0.0) must be of type ``Data`` and format ``TSV``, with just a default ``APE_label`` (data can be labelled to create more strict constraints). The third and fourth constraints specify that in case ``halvade_somatic`` is used, the 2nd (Out1.1) and 3rd (Out1.2) outputs of the first tool must be empty, because the tool ``halvade_somatic`` has only one output. +The first constraint encodes that in case ``Artic`` (tool name is Artic, ``http://edamontology.org/`` is the ontology prefix) is used as the first tool (Tool1), the 3rd output of the first tool (Out1.2) is empty, because the tool ``Artic`` has only 2 outputs. The second constraint specifies that in case ``Comet``is used as the first tool, its first input (In0.0) must be of type ``Data`` and format ``TSV``, with just a default ``APE_label`` (data can be labelled to create more strict constraints). The third and fourth constraints specify that in case ``halvade_somatic`` is used (as the first tool), the 2nd (Out1.1) and 3rd (Out1.2) outputs of the first tool must be empty, because the tool ``halvade_somatic`` has only one output. The indexing of the tools and tool inputs and outputs is visualized in the following figure. Note that the element out\ :sub:`X`\ :sup:`Y` in the figure is encoded as ``OutX.Y`` in CNF: .. image:: SLTLx_structure.png -The initial ``Out`` data instances (Out0.0,...,Out0.k-1) are the workflow inputs (can be seen as "outputs of the environment") and the last ``In`` data instances (In0.0,...,In0.k-1) are the workflow outputs (can be seen as "inputs used by the following environment"). Indexes start from 0. The latest implementation (APE v2.3) was described in the Chapter 4 of `PhD thesis (V. Kasalica) `_. \ No newline at end of file +The initial ``Out`` data instances (``Out0.0``, ..., ``Out0.k-1``) are the workflow inputs (can be seen as "outputs of the environment") and the last ``In`` data instances (``In0.0``, ..., ``In0.k-1``) are the workflow outputs (can be seen as "inputs used by the following environment"). Indexes start from 0. The latest implementation (APE v2) was described in the Chapter 4 of `PhD thesis (V. Kasalica) `_. \ No newline at end of file