`pyirk.builtin_entities`

Module Contents

Classes

`_proposition__CM`	Context manager tailored for mathematical theorems and definitions
`_rule__CM`
`RulePremiseSubScopeCM`	Context Manager for logical subscopes (like OR and AND) in premises

Functions

`add_scope_to_defining_statement`	:param ent: :param scope: :return: None
`_proposition__scope`	This function will be used as a method for proposition-Items. It will return a __proposition__CM instance. (see above). For details see examples
`_rule__scope`	This function will be used as a method for semantic-rule-Items. It will return a __rule__CM instance. (see above). For details see examples and tests.
`_get_statements_for_scope`	Convenience method for scope items to allow easy access to the statements made in that scope
`_get_items_for_scope`	Convenience method for scope items to allow easy access to the items created in that scope
`get_ui_short_representation`	This function returns a string which can be used as a replacement for the label :param self:

Data

`__URI__`
`keymanager`
`R32`
`R1`
`R2`
`R18`
`R22`
`I40`
`R3`
`R4`
`R5`
`R6`
`R7`
`R8`
`R9`
`R10`
`R11`
`R12`
`R13`
`R14`
`R15`
`R16`
`R61`
`R17`
`R19`
`R68`
`R20`
`qff_has_defining_scope`
`R21`
`R23`
`R24`
`R25`
`I1`
`I2`
`I3`
`I4`
`I5`
`I6`
`I7`
`I8`
`I9`
`I10`
`I11`
`I12`
`I13`
`I14`
`I16`
`I15`
`I17`
`I51`
`I52`
`I53`
`I18`
`I19`
`I20`
`I21`
`R26`
`R27`
`I46`
`I22`
`I23`
`I24`
`I25`
`I26`
`I27`
`I28`
`I29`
`I30`
`I31`
`I32`
`R28`
`R29`
`R30`
`R31`
`R33`
`R34`
`proxy_item`
`R35`
`I33`
`R46`
`I42`
`I34`
`I35`
`I36`
`I37`
`I38`
`I39`
`R36`
`R37`
`R67`
`R38`
`R39`
`R40`
`has_index`
`R41`
`R42`
`R43`
`I41`
`I43`
`R44`
`univ_quant`
`R66`
`exis_quant`
`R45`
`R47`
`R48`
`R49`
`R50`
`R51`
`R52`
`R53`
`R54`
`R55`
`R56`
`R57`
`R58`
`R59`
`qff_has_rule_ptg_mode`
`R60`
`R62`
`R63`
`I44`
`R64`
`R65`
`qff_allows_alt_functional_value`
`R69`
`R70`
`R71`
`I45`
`R72`
`R73`
`I47`
`I48`
`R74`
`I49`
`R75`
`R76`
`I50`
`R77`
`R78`
`I54`
`R79`
`R80`
`R81`
`I60`
`I55`
`I61`
`I56`
`I62`
`I57`
`I63`
`I58`
`R82`
`I59`
`R83`
`qf_prevent_duplicate_stms`
`I64`
`I65`
`R85`
`R86`
`I66`
`I000`
`R000`

API

pyirk.builtin_entities.__URI__: None

pyirk.builtin_entities.keymanager: ‘KeyManager(…)’

pyirk.builtin_entities.R32: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R1: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R2: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R18: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R22: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I40: ‘create_builtin_item(…)’

pyirk.builtin_entities.R3: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R4: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R5: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R6: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R7: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R8: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R9: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R10: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R11: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R12: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R13: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R14: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R15: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R16: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R61: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R17: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R19: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R68: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R20: ‘create_builtin_relation(…)’

pyirk.builtin_entities.qff_has_defining_scope: ‘QualifierFactory(…)’

pyirk.builtin_entities.R21: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R23: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R24: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R25: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I1: ‘create_builtin_item(…)’

pyirk.builtin_entities.I2: ‘create_builtin_item(…)’

pyirk.builtin_entities.I3: ‘create_builtin_item(…)’

pyirk.builtin_entities.I4: ‘create_builtin_item(…)’

pyirk.builtin_entities.I5: ‘create_builtin_item(…)’

pyirk.builtin_entities.I6: ‘create_builtin_item(…)’

pyirk.builtin_entities.I7: ‘create_builtin_item(…)’

pyirk.builtin_entities.I8: ‘create_builtin_item(…)’

pyirk.builtin_entities.I9: ‘create_builtin_item(…)’

pyirk.builtin_entities.I10: ‘create_builtin_item(…)’

pyirk.builtin_entities.I11: ‘create_builtin_item(…)’

pyirk.builtin_entities.I12: ‘create_builtin_item(…)’

pyirk.builtin_entities.I13: ‘create_builtin_item(…)’

pyirk.builtin_entities.I14: ‘create_builtin_item(…)’

pyirk.builtin_entities.I16: ‘create_builtin_item(…)’

pyirk.builtin_entities.add_scope_to_defining_statement(ent: pyirk._builtin.statement_utils.Entity, scope: pyirk._builtin.statement_utils.Item) → None

:param ent: :param scope: :return: None

The motivation for this function is a usage pattern like:

with I3007.scope("setting") as cm:
    cm.new_var(sys=p.instance_of(I5948["dynamical system"]))
)

ideally the instance_of function would notice that it was called from within a python-context which defines a scope item. But this seems hardly achievable in a clean way. Thus, this function is called after p.instance_of, inside cm.new_var(…).

class pyirk.builtin_entities._proposition__CM(itm: pyirk.core.Item, namespace: dict, scope: pyirk.core.Item, parent_scope_cm=None)

Bases: pyirk._builtin.scopes.AbstractMathRelatedScopeCM

Context manager tailored for mathematical theorems and definitions

Initialization

valid_subscope_types: None

universally_quantified() → pyirk._builtin.scopes.ScopingCM: Create a new subscope of type “UNIV_QUANT”, which can hold arbitrary statements. That subscope will contain another subscope (“CONDITION”) whose statements are considered as universally quantified condition-statements.

existentially_quantified() → pyirk._builtin.scopes.ScopingCM: Create a new subscope of type “EXIS_QUANT”, which can hold arbitrary statements. That subscope will contain another subscope (“CONDITION”) whose statements are considered as existentially quantified condition-statements.

pyirk.builtin_entities._proposition__scope(self: pyirk._builtin.statement_utils.Item, scope_name: str)

This function will be used as a method for proposition-Items. It will return a __proposition__CM instance. (see above). For details see examples

:param self: :param scope_name: :return:

class pyirk.builtin_entities._rule__CM(*args, **kwargs)

Bases: pyirk._builtin.scopes.AbstractMathRelatedScopeCM

valid_subscope_types: None

property anchor_item_counter: For subscopes we want to use the counter of the parent scope

uses_external_entities(*args): Specifies that some external entities will be used inside the rule (to which this scope belongs)

set_sparql(sparql_src: str): Define the WHERE-part of a sparql SELECT-query

new_variable_literal(name): Create an instance of I44[“variable literal”] to represent a literal.inside a rule. Variable means that the literal can have a different value for each match. Because this item takes a special role it is marked with a qualifier.

new_rel_var(name): Create an instance of I40[“general relation”] to represent a relation inside a rule. Because this item takes a special role it is marked with a qualifier.

new_rel(sub: pyirk._builtin.statement_utils.Entity, pred: pyirk._builtin.statement_utils.Entity, obj: pyirk._builtin.statement_utils.Entity, qualifiers=None, overwrite=False) → pyirk._builtin.statement_utils.Statement

_get_new_anchor_item(name)

new_condition_func(func: callable, *args, anchor_item=None): Add an existing function that will be called to a graph-match. Only if it evaluates True, the premise is considered to be fulfilled. This helps to model conditions on literals

new_consequent_func(func: callable, *args, anchor_item=None): Add an existing function that should be called in the assertion-part of a semantic rule

NOT()

OR(): Register a subscope for OR-connected statements

AND()

class pyirk.builtin_entities.RulePremiseSubScopeCM(*args, **kwargs)

Bases: pyirk.builtin_entities._rule__CM

Context Manager for logical subscopes (like OR and AND) in premises

Initialization

AND(): Register a subscope for AND-connected statements

pyirk.builtin_entities._rule__scope(self: pyirk._builtin.statement_utils.Item, scope_name: str)

This function will be used as a method for semantic-rule-Items. It will return a __rule__CM instance. (see above). For details see examples and tests.

:param self: :param scope_name: :return:

pyirk.builtin_entities._get_statements_for_scope(self): Convenience method for scope items to allow easy access to the statements made in that scope

pyirk.builtin_entities._get_items_for_scope(self): Convenience method for scope items to allow easy access to the items created in that scope

pyirk.builtin_entities.I15: ‘create_builtin_item(…)’

pyirk.builtin_entities.I17: ‘create_builtin_item(…)’

pyirk.builtin_entities.I51: ‘create_builtin_item(…)’

pyirk.builtin_entities.I52: ‘create_builtin_item(…)’

pyirk.builtin_entities.I53: ‘create_builtin_item(…)’

pyirk.builtin_entities.I18: ‘create_builtin_item(…)’

pyirk.builtin_entities.get_ui_short_representation(self) → str

This function returns a string which can be used as a replacement for the label :param self:

:return: mathjax-ready LaTeX source code

pyirk.builtin_entities.I19: ‘create_builtin_item(…)’

pyirk.builtin_entities.I20: ‘create_builtin_item(…)’

pyirk.builtin_entities.I21: ‘create_builtin_item(…)’

pyirk.builtin_entities.R26: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R27: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I46: ‘create_builtin_item(…)’

pyirk.builtin_entities.I22: ‘create_builtin_item(…)’

pyirk.builtin_entities.I23: ‘create_builtin_item(…)’

pyirk.builtin_entities.I24: ‘create_builtin_item(…)’

pyirk.builtin_entities.I25: ‘create_builtin_item(…)’

pyirk.builtin_entities.I26: ‘create_builtin_item(…)’

pyirk.builtin_entities.I27: ‘create_builtin_item(…)’

pyirk.builtin_entities.I28: ‘create_builtin_item(…)’

pyirk.builtin_entities.I29: ‘create_builtin_item(…)’

pyirk.builtin_entities.I30: ‘create_builtin_item(…)’

pyirk.builtin_entities.I31: ‘create_builtin_item(…)’

pyirk.builtin_entities.I32: ‘create_builtin_item(…)’

pyirk.builtin_entities.R28: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R29: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R30: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R31: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R33: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R34: ‘create_builtin_relation(…)’

pyirk.builtin_entities.proxy_item: ‘QualifierFactory(…)’

pyirk.builtin_entities.R35: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I33: ‘create_builtin_item(…)’

pyirk.builtin_entities.R46: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I42: ‘create_builtin_item(…)’

pyirk.builtin_entities.I34: ‘create_builtin_item(…)’

pyirk.builtin_entities.I35: ‘create_builtin_item(…)’

pyirk.builtin_entities.I36: ‘create_builtin_item(…)’

pyirk.builtin_entities.I37: ‘create_builtin_item(…)’

pyirk.builtin_entities.I38: ‘create_builtin_item(…)’

pyirk.builtin_entities.I39: ‘create_builtin_item(…)’

pyirk.builtin_entities.R36: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R37: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R67: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R38: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R39: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R40: ‘create_builtin_relation(…)’

pyirk.builtin_entities.has_index: ‘QualifierFactory(…)’

pyirk.builtin_entities.R41: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R42: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R43: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I41: ‘create_builtin_item(…)’

pyirk.builtin_entities.I43: ‘create_builtin_item(…)’

pyirk.builtin_entities.R44: ‘create_builtin_relation(…)’

pyirk.builtin_entities.univ_quant: ‘QualifierFactory(…)’

pyirk.builtin_entities.R66: ‘create_builtin_relation(…)’

pyirk.builtin_entities.exis_quant: ‘QualifierFactory(…)’

pyirk.builtin_entities.R45: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R47: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R48: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R49: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R50: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R51: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R52: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R53: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R54: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R55: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R56: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R57: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R58: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R59: ‘create_builtin_relation(…)’

pyirk.builtin_entities.qff_has_rule_ptg_mode: ‘QualifierFactory(…)’

pyirk.builtin_entities.R60: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R62: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R63: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I44: ‘create_builtin_item(…)’

pyirk.builtin_entities.R64: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R65: ‘create_builtin_relation(…)’

pyirk.builtin_entities.qff_allows_alt_functional_value: ‘QualifierFactory(…)’

pyirk.builtin_entities.R69: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R70: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R71: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I45: ‘create_builtin_item(…)’

pyirk.builtin_entities.R72: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R73: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I47: ‘create_builtin_item(…)’

pyirk.builtin_entities.I48: ‘create_builtin_item(…)’

pyirk.builtin_entities.R74: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I49: ‘create_builtin_item(…)’

pyirk.builtin_entities.R75: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R76: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I50: ‘create_builtin_item(…)’

pyirk.builtin_entities.R77: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R78: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I54: ‘create_builtin_item(…)’

pyirk.builtin_entities.R79: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R80: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R81: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I60: ‘create_builtin_item(…)’

pyirk.builtin_entities.I55: ‘create_builtin_item(…)’

pyirk.builtin_entities.I61: ‘create_builtin_item(…)’

pyirk.builtin_entities.I56: ‘create_builtin_item(…)’

pyirk.builtin_entities.I62: ‘create_builtin_item(…)’

pyirk.builtin_entities.I57: ‘create_builtin_item(…)’

pyirk.builtin_entities.I63: ‘create_builtin_item(…)’

pyirk.builtin_entities.I58: ‘create_builtin_item(…)’

pyirk.builtin_entities.R82: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I59: ‘create_builtin_item(…)’

pyirk.builtin_entities.R83: ‘create_builtin_relation(…)’

pyirk.builtin_entities.qf_prevent_duplicate_stms: ‘qff_has_rule_ptg_mode(…)’

pyirk.builtin_entities.I64: ‘create_builtin_item(…)’

pyirk.builtin_entities.I65: ‘create_builtin_item(…)’

pyirk.builtin_entities.R85: ‘create_builtin_relation(…)’

pyirk.builtin_entities.R86: ‘create_builtin_relation(…)’

pyirk.builtin_entities.I66: ‘create_builtin_item(…)’

pyirk.builtin_entities.I000: ‘create_builtin_item(…)’

pyirk.builtin_entities.R000: ‘create_builtin_relation(…)’

pyirk.builtin_entities