Miscellaneous topics

This section contains examples how to retrieve certain internal information which might be useful for experimenting and development

Retrieve all statements for a certain relation

  • Start pyirk in interactive mode: pyirk -i. To load the OCSE as example content you can use pyirk -l control_theory1.py ct -i from its root directory.

p.ds.relation_statements[p.R64.uri]

  • Example Result:

[S5660(<Item Ia1806["scp__setting"]>, <Relation R64["has scope type"]>, 'SETTING'),
 S7193(<Item Ia2780["scp__premise"]>, <Relation R64["has scope type"]>, 'PREMISE'),
 S4607(<Item Ia9662["scp__assertion"]>, <Relation R64["has scope type"]>, 'ASSERTION'),
 S3253(<Item Ia9112["scp__setting"]>, <Relation R64["has scope type"]>, 'SETTING'),
 S9836(<Item Ia1367["scp__premise"]>, <Relation R64["has scope type"]>, 'PREMISE'),
 S8246(<Item Ia2746["scp__assertion"]>, <Relation R64["has scope type"]>, 'ASSERTION'),
 ...
]

Visualize subclasses of ScopingCM

  • Start pyirk in interactive mode: pyirk -i

p.aux.print_inheritance_tree(p.ScopingCM)

  • Result based on version 0.13.2:

ScopingCM
└── AbstractMathRelatedScopeCM
    ├── ConditionSubScopeCM
        └── QuantifiedSubScopeCM
    ├── _proposition__CM
    └── _rule__CM
        └── RulePremiseSubScopeCM

Practically working with keys

To learn about the different kinds of keys in PyIRK see section Keys.

With a growing module it becomes infeasible to memorize the keys like R1234['is in special relation with'] and it is also time-consuming to type. Solutions:

  • Search in existing code and use copy-paste.

    • Advantage:

      • Simple.

      • Acceptably convenient for smaller modules or small editing tasks.

    • Disadvantage:

      • Too much effort for larger editing jobs.

  • Use fuzzy autocompletion via the VS Code extension irk-fzf:

    • Install the extension from the .vsix-File (see README.md)

    • Use pyirk --load-mod my_mod.py mm -ac to create a file called .ac_candidates.txt.

    • The extension uses the entries in this file to offer auto-complete suggestions when the erk-fzf.search command is triggered (either via the VS code command pallette or via a manually assigned keyboard shortcut (recommended, see README.md).

    • The command erk-fzf.search performs a fuzzy search using the string left of the cursor (and then the user input). It displays fuzzy-matching lines from .ac_candidates.txt. It searches short_keys, labels and descriptions.

How to perform a SPARQL query

Example from test_core.py:Test_04_Core.test_c020__sparql_query2


import pyirk as p
p.ds.rdfgraph = p.rdfstack.create_rdf_triples()

qsrc = f"""
PREFIX : <{p.rdfstack.IRK_URI}>
PREFIX ct: <{mod1.__URI__}#>
SELECT ?s ?o
WHERE {{
    ?s :R16 ct:I7864.
}}
"""
res = p.ds.rdfgraph.query(qsrc)
res2 = p.aux.apply_func_to_table_cells(p.rdfstack.convert_from_rdf_to_pyirk, res)