Matches in LOV for { <http://inference-web.org/2.0/pml-provenance.owl#InferenceRule> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- InferenceRule type Class.
- InferenceRule comment "Inference rules are used to derive conclusions from premises.\nInference Web divides inference rules into three classes: Primitive and Derived and Translation. \nThis is an abstract class without any direct instance. A primitive rule is an atomic rule with respect to an inference engine. An inference engine may support rules that it does not need to further decompose. Since a primitive rule is an inference engine dependent concept, we may find a rule is primitive to one inference engine but not to another engine. For example a `natural deduction reasoner R1 may define Modus Ponens as a primitive rule and another reasoner R2 may register Robinson's resolution rule as a primitive rule. The reasoner R2 may be able to derive a Modus Ponens rule using its primitive resolution rule.".
- InferenceRule label "Inference Rule".
- InferenceRule subClassOf B1c4b4901b29b4356a85fafd57a6ae645.
- InferenceRule subClassOf B565e7216db25da5b29584f4d3ecfdd14.
- InferenceRule subClassOf Be08102ce05573c422138a5eaa357f139.
- InferenceRule subClassOf Bf4464c3eea19bd6bcbb8188db53bf3e7.
- InferenceRule subClassOf IdentifiedThing.