# Category:Pmlp:InferenceRule

### From Inference Web

## direct description

- [inferred] Category:pmlp:IdentifiedThing
- [inferred] imported from: pmlp:InferenceRule (pmlp)
- [inferred] member of: http://inference-web.org/2.0/pml-provenance.owl
- [inferred] tag: Category:owl:Class
- [original] rdf:type: Category:owl:Class
- [original] rdfs:comment: Inference rules are used to derive conclusions from premises. Inference Web divides inference rules into three classes: Primitive and Derived and Translation. This 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.
- [original] rdfs:label: Inference Rule
- [original] rdfs:subClassOf: Category:pmlp:IdentifiedThing
- see aslo MediaWiki:smw_import_pmlp

## more description

### -239a690b:120db8a3dcf:-7fdc

- [original] rdf:type Category:owl:Restriction
- [original] owl:maxCardinality 1
- [original] owl:onProperty Property:pmlp:hasEnglishDescriptionTemplate

## Subcategories

This category has the following 2 subcategories, out of 2 total.

### P

Facts about Pmlp:InferenceRuleRDF feed

Imported fromThis property is a special property in this wiki. | pmlp:InferenceRule (pmlp) + |

Member of | Http://inference-web.org/2.0/pml-provenance.owl + |

Rdf:type | Owl:Class + |

Rdfs:comment | Inference rules are used to derive conclus … Inference rules are used to derive conclusions from premises. Inference Web divides inference rules into three classes: Primitive and Derived and Translation. This 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. rule using its primitive resolution rule. |

Rdfs:label | Inference Rule |

Rdfs:subClassOf | Pmlp:IdentifiedThing + |

Tag | Owl:Class + |