ontolearn.learners.spell_kit.fitting_alc

Attributes

`TYPE_ENCODING`
`TREE_TEMPLATES`
`TREE_TEMPLATE_LIMIT`
`d_op`
`d_var_names`
`TOP`
`BOT`
`NEG`
`AND`
`OR`
`EX`
`ALL`
`ALC_OP`
`ALC_OP_B`
`X`
`Z`
`V`
`L`
`T`
`NNF`

Classes

`bcolors`
`STreeNode`
`FittingALC`

Functions

`interrupt`(s)
`solver_solve`(solver, timeout)
`all_trees`(→ list[list[tuple[int] \| tuple[int, ...)

Module Contents

ontolearn.learners.spell_kit.fitting_alc.TYPE_ENCODING: bool = True

ontolearn.learners.spell_kit.fitting_alc.TREE_TEMPLATES: bool = True

ontolearn.learners.spell_kit.fitting_alc.TREE_TEMPLATE_LIMIT = 10

class ontolearn.learners.spell_kit.fitting_alc.bcolors[source]

HEADER = '\x1b[95m'

OKBLUE = '\x1b[94m'

OKCYAN = '\x1b[96m'

OKGREEN = '\x1b[92m'

WARNING = '\x1b[93m'

FAIL = '\x1b[91m'

ENDC = '\x1b[0m'

BOLD = '\x1b[1m'

UNDERLINE = '\x1b[4m'

ontolearn.learners.spell_kit.fitting_alc.d_op

ontolearn.learners.spell_kit.fitting_alc.d_var_names

ontolearn.learners.spell_kit.fitting_alc.TOP = 0

ontolearn.learners.spell_kit.fitting_alc.BOT = 1

ontolearn.learners.spell_kit.fitting_alc.NEG = 2

ontolearn.learners.spell_kit.fitting_alc.AND = 3

ontolearn.learners.spell_kit.fitting_alc.OR = 4

ontolearn.learners.spell_kit.fitting_alc.EX = 5

ontolearn.learners.spell_kit.fitting_alc.ALL = 6

ontolearn.learners.spell_kit.fitting_alc.ALC_OP

ontolearn.learners.spell_kit.fitting_alc.ALC_OP_B

ontolearn.learners.spell_kit.fitting_alc.X = 0

ontolearn.learners.spell_kit.fitting_alc.Z = 2

ontolearn.learners.spell_kit.fitting_alc.V = 4

ontolearn.learners.spell_kit.fitting_alc.L = 5

ontolearn.learners.spell_kit.fitting_alc.T = 6

ontolearn.learners.spell_kit.fitting_alc.NNF: bool = False

ontolearn.learners.spell_kit.fitting_alc.interrupt(s)[source]

ontolearn.learners.spell_kit.fitting_alc.solver_solve(solver: pysat.solvers.Glucose4, timeout: float)[source]

class ontolearn.learners.spell_kit.fitting_alc.STreeNode(node, children)[source]

node

children

to_asciitree()[source]

to_string()[source]

classmethod FromDict(dict, root) → STreeNode[source]

class ontolearn.learners.spell_kit.fitting_alc.FittingALC(A: Structure, k: int, P: list[int], N: list[int], op=ALC_OP, cov_p=-1, cov_n=-1, tree_templates=True, type_encoding=True)[source]

tree_templates = True

type_encoding = True

P: list[int]

N: list[int]

A: Structure

sigma: Signature

k

op

op_b

op_r

tree_node_symbols

types

vars

n_op

cov_p

cov_n

solver

max_var = 0

solve()[source]

solve_incr(max_k: int, start_k: int = 1, return_string=False, timeout: float = -1)[source]

cn_types() → set[frozenset[str]][source]

solve_approx(k: int, min_n: int, timeout: float = -1)[source]

solve_approx2(k: int, min_n: int, timeout: float = -1)[source]

solve_incr_approx(max_k: int, start_k: int = 1, min_n: int = 1, timeout: float = -1)[source]

printVariables()[source]

ontolearn.learners.spell_kit.fitting_alc.all_trees(k: int, start: int = 0) → list[list[tuple[int] | tuple[int, int] | tuple[]]][source]