| pmlp:MethodRule | |
| rdf:type |
owl:Class
|
| rdfs:comment | A method inference rule, uses patterns for premises and its conclusions, and additionally contains a method that must be applied. In addition, the conclusion needs to be a valid output of the method, using the premises. For example, procedural attachment is a common encoding form for method rules.@en |
| rdfs:label | Method Rule@en |
| rdfs:subClassOf | pmlp:InferenceRule |