Found

The document has moved here.


Apache/2.2.3 (CentOS) Server at tw.rpi.edu Port 80

Instance Data

pmlp:InferenceRule
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
rdfs:subClassOf
-3bd1c33c:1656f442053:-736e
rdf:type owl:Restriction
owl:maxCardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlp:hasContent
rdfs:subClassOf
-3bd1c33c:1656f442053:-736f
rdf:type owl:Restriction
owl:maxCardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlp:hasEnglishDescriptionTemplate

Inlinks


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