The document has moved here.

Apache/2.2.3 (CentOS) Server at Port 80

Instance Data

rdf:type owl:Class
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. @en
rdfs:label Inference Rule@en
rdfs:subClassOf pmlp:IdentifiedThing
rdf:type owl:Restriction
owl:maxCardinality 1^^
owl:onProperty pmlp:hasContent
rdf:type owl:Restriction
owl:maxCardinality 1^^
owl:onProperty pmlp:hasEnglishDescriptionTemplate


Source(s) Prefix:Namespace Used Expandable Class(es)