Index

A

add_annotation_function() (in module pyreason) (in module pyreason.pyreason) add_edge() (Interpretation method), [1] add_fact() (in module pyreason) (in module pyreason.pyreason) add_node() (Interpretation method), [1] add_rule() (in module pyreason) (in module pyreason.pyreason) add_rules_from_file() (in module pyreason) (in module pyreason.pyreason) annotate() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

are_satisfied_edge() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) are_satisfied_node() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) argparser() (in module pyreason.scripts.args) args (in module pyreason.scripts.diffuse) available_labels_edge (Interpretation attribute), [1] (Program attribute), [1] available_labels_node (Interpretation attribute), [1] (Program attribute), [1] average() (in module pyreason.scripts.annotation_functions.annotation_functions) average_lower() (in module pyreason.scripts.annotation_functions.annotation_functions)

B

box_fact() (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type)

box_label() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) box_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) box_world() (in module pyreason.scripts.numba_wrapper.numba_types.world_type)

C

cache_path (in module pyreason) cache_status (in module pyreason) cache_status_path (in module pyreason) check_consistent_edge() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) check_consistent_node() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

clear() (InterpretationDict method) closed() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) compare_numbers_edge_predicate() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) compare_numbers_node_predicate() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) copy() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (InterpretationDict method)

D

delete_edge() (Interpretation method), [1]

delete_node() (Interpretation method), [1]

E

edge_applicable_rule_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

edge_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

F

Fact (class in pyreason) (class in pyreason.scripts.facts.fact) (class in pyreason.scripts.facts.fact_edge) (class in pyreason.scripts.facts.fact_node) fact_type (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) FactModel (class in pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (class in pyreason.scripts.numba_wrapper.numba_types.fact_node_type) facts_to_be_applied_edge_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) facts_to_be_applied_node_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

FactType (class in pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (class in pyreason.scripts.numba_wrapper.numba_types.fact_node_type) Filter (class in pyreason) (class in pyreason.scripts.utils.filter) filter_and_sort_edges() (Filter method), [1] (in module pyreason) (in module pyreason.pyreason) filter_and_sort_nodes() (Filter method), [1] (in module pyreason) (in module pyreason.pyreason) float_to_str() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

G

get_annotation_function() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_bnd() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_bound() (Fact method), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) (in module pyreason.scripts.numba_wrapper.numba_types.world_type) (World method) get_clauses() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) get_component() (Fact method), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) get_delta() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_edge_rule_edge_clause_subset() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_edge_rule_node_clause_subset() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_edges() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_id() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) get_interpretation_dict() (Interpretation method), [1] get_label() (Fact method), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) get_lower() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) get_name() (Fact method), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) get_neigh_criteria() (Rule method) get_node_rule_edge_clause_subset() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

get_node_rule_node_clause_subset() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_qualified_components_edge_clause() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_qualified_components_edge_comparison_clause() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_qualified_components_node_clause() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_qualified_components_node_comparison_clause() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) get_rule_name() (Rule method) get_rule_trace() (in module pyreason) (in module pyreason.pyreason) (Output method), [1] get_rule_type() (Rule method) get_subgraph() (in module pyreason.scripts.utils.visuals) get_target() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_thresholds() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) get_time_lower() (Fact method), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type), [1] (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type), [1] get_time_upper() (Fact method), [1] get_type() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) get_upper() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) get_value() (Label method) get_weights() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) get_world() (World method) graph_path (in module pyreason) GraphmlParser (class in pyreason) (class in pyreason.scripts.utils.graphml_parser)

H

has_changed() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method)

has_key() (InterpretationDict method)

I

impl_fact() (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) impl_label() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) impl_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) impl_world() (in module pyreason.scripts.numba_wrapper.numba_types.world_type), [1] Interpretation (class in pyreason.scripts.interpretation.interpretation) (class in pyreason.scripts.interpretation.interpretation_parallel) InterpretationDict (class in pyreason.scripts.interpretation.interpretation_dict) intersection() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method) Interval (class in pyreason.scripts.interval.interval) interval_contains() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) interval_eq() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) interval_fields (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) interval_ne() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) interval_type (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) IntervalType (class in pyreason.scripts.numba_wrapper.numba_types.interval_type)

is_immediate_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) (Rule method) is_satisfied() (in module pyreason.scripts.numba_wrapper.numba_types.world_type) (World method) is_satisfied_edge() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) is_satisfied_edge_comparison() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) is_satisfied_node() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) is_satisfied_node_comparison() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) is_static() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method) (Rule method) is_static_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) items() (InterpretationDict method)

K

keys() (InterpretationDict method)

L

Label (class in pyreason.scripts.components.label) label_eq() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) label_hash() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) label_type (in module pyreason.scripts.numba_wrapper.numba_types.label_type) LabelModel (class in pyreason.scripts.numba_wrapper.numba_types.label_type) LabelType (class in pyreason.scripts.numba_wrapper.numba_types.label_type) list_of_edges (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) list_of_nodes (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

load_graph() (GraphmlParser method), [1] (in module pyreason) (in module pyreason.pyreason) load_graphml() (in module pyreason) (in module pyreason.pyreason) load_inconsistent_predicate_list() (in module pyreason) (in module pyreason.pyreason) lower (Interval property)

M

main() (in module pyreason.scripts.diffuse) (in module pyreason.scripts.utils.plotter) make_visuals() (in module pyreason.scripts.utils.visuals) make_world() (World method) maximum() (in module pyreason.scripts.annotation_functions.annotation_functions) minimum() (in module pyreason.scripts.annotation_functions.annotation_functions) module pyreason pyreason.pyreason pyreason.scripts pyreason.scripts.annotation_functions pyreason.scripts.annotation_functions.annotation_functions pyreason.scripts.args pyreason.scripts.components pyreason.scripts.components.label pyreason.scripts.components.world pyreason.scripts.diffuse pyreason.scripts.facts pyreason.scripts.facts.fact pyreason.scripts.facts.fact_edge pyreason.scripts.facts.fact_node pyreason.scripts.interpretation pyreason.scripts.interpretation.interpretation pyreason.scripts.interpretation.interpretation_dict pyreason.scripts.interpretation.interpretation_parallel pyreason.scripts.interval pyreason.scripts.interval.interval pyreason.scripts.numba_wrapper pyreason.scripts.numba_wrapper.numba_types pyreason.scripts.numba_wrapper.numba_types.fact_edge_type pyreason.scripts.numba_wrapper.numba_types.fact_node_type pyreason.scripts.numba_wrapper.numba_types.interval_type pyreason.scripts.numba_wrapper.numba_types.label_type pyreason.scripts.numba_wrapper.numba_types.rule_type pyreason.scripts.numba_wrapper.numba_types.world_type pyreason.scripts.program pyreason.scripts.program.program pyreason.scripts.rules pyreason.scripts.rules.rule pyreason.scripts.rules.rule_internal pyreason.scripts.threshold pyreason.scripts.threshold.threshold pyreason.scripts.utils pyreason.scripts.utils.filter pyreason.scripts.utils.graphml_parser pyreason.scripts.utils.output pyreason.scripts.utils.plotter pyreason.scripts.utils.rule_parser pyreason.scripts.utils.visuals pyreason.scripts.utils.yaml_parser

N

node_applicable_rule_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

node_type (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

O

Output (class in pyreason) (class in pyreason.scripts.utils.output)

P

package_path (in module pyreason) parse_facts() (in module pyreason.scripts.utils.yaml_parser) parse_graph() (GraphmlParser method), [1] parse_graph_attributes() (GraphmlParser method), [1] parse_ipl() (in module pyreason.scripts.utils.yaml_parser) parse_labels() (in module pyreason.scripts.utils.yaml_parser) parse_rule() (in module pyreason.scripts.utils.rule_parser) parse_rules() (in module pyreason.scripts.utils.yaml_parser) pop() (InterpretationDict method) preprocess_fields() (IntervalType method) prev_lower (Interval property) prev_lower() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) prev_upper (Interval property) prev_upper() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) Program (class in pyreason) (class in pyreason.scripts.program.program) pyreason module pyreason.pyreason module pyreason.scripts module pyreason.scripts.annotation_functions module pyreason.scripts.annotation_functions.annotation_functions module pyreason.scripts.args module pyreason.scripts.components module pyreason.scripts.components.label module pyreason.scripts.components.world module pyreason.scripts.diffuse module pyreason.scripts.facts module pyreason.scripts.facts.fact module pyreason.scripts.facts.fact_edge module pyreason.scripts.facts.fact_node module pyreason.scripts.interpretation module pyreason.scripts.interpretation.interpretation module pyreason.scripts.interpretation.interpretation_dict module pyreason.scripts.interpretation.interpretation_parallel module

pyreason.scripts.interval module pyreason.scripts.interval.interval module pyreason.scripts.numba_wrapper module pyreason.scripts.numba_wrapper.numba_types module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type module pyreason.scripts.numba_wrapper.numba_types.fact_node_type module pyreason.scripts.numba_wrapper.numba_types.interval_type module pyreason.scripts.numba_wrapper.numba_types.label_type module pyreason.scripts.numba_wrapper.numba_types.rule_type module pyreason.scripts.numba_wrapper.numba_types.world_type module pyreason.scripts.program module pyreason.scripts.program.program module pyreason.scripts.rules module pyreason.scripts.rules.rule module pyreason.scripts.rules.rule_internal module pyreason.scripts.threshold module pyreason.scripts.threshold.threshold module pyreason.scripts.utils module pyreason.scripts.utils.filter module pyreason.scripts.utils.graphml_parser module pyreason.scripts.utils.output module pyreason.scripts.utils.plotter module pyreason.scripts.utils.rule_parser module pyreason.scripts.utils.visuals module pyreason.scripts.utils.yaml_parser module

Q

quantifier (Threshold attribute), [1]

quantifier_type (Threshold attribute), [1]

R

reason() (in module pyreason) (in module pyreason.pyreason) (Interpretation static method), [1] (Program method), [1] reason_again() (Program method), [1] reset() (in module pyreason) (in module pyreason.pyreason) (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method) reset_rules() (in module pyreason) (in module pyreason.pyreason)

resolve_inconsistency_edge() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) resolve_inconsistency_node() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) Rule (class in pyreason) (class in pyreason.scripts.rules.rule) (class in pyreason.scripts.rules.rule_internal) rule_type (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) RuleModel (class in pyreason.scripts.numba_wrapper.numba_types.rule_type) RuleType (class in pyreason.scripts.numba_wrapper.numba_types.rule_type)

S

save_rule_trace() (in module pyreason) (in module pyreason.pyreason) (Output method), [1] set_lower_upper() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method) set_static() (in module pyreason.scripts.numba_wrapper.numba_types.interval_type) (Interval method) settings (in module pyreason) (in module pyreason.pyreason)

specific_edge_labels (Interpretation attribute), [1] (Program attribute), [1] specific_node_labels (Interpretation attribute), [1] (Program attribute), [1] start_fp() (Interpretation method), [1] static (Interval property) str_to_float() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel) str_to_int() (in module pyreason.scripts.interpretation.interpretation) (in module pyreason.scripts.interpretation.interpretation_parallel)

T

thresh (Threshold attribute), [1] Threshold (class in pyreason) (class in pyreason.scripts.threshold.threshold) to_str() (Interval method) to_tuple() (Threshold method), [1], [2], [3] type_fact() (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type)

type_label() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) type_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) type_world() (in module pyreason.scripts.numba_wrapper.numba_types.world_type), [1] typeof_fact() (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) typeof_label() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) typeof_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type) typeof_world() (in module pyreason.scripts.numba_wrapper.numba_types.world_type)

U

unbox_fact() (in module pyreason.scripts.numba_wrapper.numba_types.fact_edge_type) (in module pyreason.scripts.numba_wrapper.numba_types.fact_node_type) unbox_label() (in module pyreason.scripts.numba_wrapper.numba_types.label_type) unbox_rule() (in module pyreason.scripts.numba_wrapper.numba_types.rule_type)

unbox_world() (in module pyreason.scripts.numba_wrapper.numba_types.world_type) update() (in module pyreason.scripts.numba_wrapper.numba_types.world_type) (InterpretationDict method) (World method) upper (Interval property)

V

values() (InterpretationDict method)

W

World (class in pyreason.scripts.components.world) world (World property)

world_type (in module pyreason.scripts.numba_wrapper.numba_types.world_type) WorldModel (class in pyreason.scripts.numba_wrapper.numba_types.world_type) WorldType (class in pyreason.scripts.numba_wrapper.numba_types.world_type)