| | |
- Reason
-
- Because
-
- BecauseOfCommandLine
- BecauseOfData
- BecauseOfExperience
- BecauseBuiltIn
- BecauseOfRule
- BecauseSubexpression
- FormulaReason
-
- BecauseMerge
class Because(Reason) |
| |
For the reason given on the string.
This is a kinda end of the road reason. Try to make a more useful one up! ;-)
A nested reason can also be given.
|
| |
Methods defined here:
- __init__(self, str, because=None)
- explain(self, ko)
- Describe this reason to an RDF store
Returns the value of this reason as interned in the store.
Methods inherited from Reason:
- meIn(self, ko)
- The representation of this object in the formula ko
|
class BecauseBuiltIn(Reason) |
| |
Because the built-in function given concluded so.
A nested reason for running the function can also be given
|
| |
Methods defined here:
- __init__(self, subj, pred, obj, proof)
- explain(self, ko)
- This is just a plain fact - or was at the time.
Methods inherited from Reason:
- meIn(self, ko)
- The representation of this object in the formula ko
|
class BecauseOfData(Because) |
| |
Directly from data in the resource whose URI is the string.
A nested reason can also be given, for why this resource was parsed.
|
| |
- Method resolution order:
- BecauseOfData
- Because
- Reason
Methods defined here:
- __init__(self, source, because=None)
- explain(self, ko)
- Describe this reason to an RDF store
Returns the value of this reason as interned in the store.
Methods inherited from Reason:
- meIn(self, ko)
- The representation of this object in the formula ko
|
class BecauseOfRule(Reason) |
| | |
Methods defined here:
- __init__(self, rule, bindings, evidence, because=None)
- explain(self, ko)
- Describe this reason to an RDF store
Returns the value of this reason as interned in the store.
Methods inherited from Reason:
- meIn(self, ko)
- The representation of this object in the formula ko
|
class FormulaReason(Reason) |
| |
A Formula reason reproduces the information in a formula
but includes reason information. There is a link each way (formula,
collector) with the actual formula. Beware that when a new formula is
interned, the collector must be informed that its identity has changed.
The collector is also informed of each statement added.
|
| |
Methods defined here:
- __init__(self, formula=None)
- explain(self, ko)
- explanation(self, ko=None)
- Produce a justification for this formula into the output formula
Creates an output formula if necessary.
returns it.
(NB: This is different from reason.explain(ko) which returns the reason)
- newStatement(self, s, why)
- setFormula(self, formula)
- Change the address fo the formula when the formula is moved on close()
Methods inherited from Reason:
- meIn(self, ko)
- The representation of this object in the formula ko
|
class Reason |
| |
The Reason class holds a reason for having some information.
Well, its subclasses actually do hold data. This class should not be used itself
to make instances. Reasons may be given to any functions which put data into stores,
is tracking or proof/explanation generation may be required
|
| |
Methods defined here:
- __init__(self)
- explain(self, ko)
- Describe this reason to an RDF store
Returns the value of this object as interned in the store.
- meIn(self, ko)
- The representation of this object in the formula ko
| |