Category:Pmlj:InferenceStep

From Inference Web

Jump to: navigation, search

direct description

more description

-239a690b:120db8a3dcf:-7fcf

Pages in category "Pmlj:InferenceStep"

The following 4 pages are in this category, out of 4 total.

E

Facts about Pmlj:InferenceStepRDF feed
Imported fromThis property is a special property in this wiki.pmlj:InferenceStep (pmlj)  +
Member ofHttp://inference-web.org/2.0/pml-justification.owl  +
Rdf:typeOwl:Class  +
Rdfs:commentAn inference step represents a justificati An inference step represents a justification for the conclusion of the corresponding node set. Instances of inference step are usually anonymous as part of node set. For this reason, inference steps usually have no URIs. Moreover, an application should treat node set and its inference steps in whole. node set and its inference steps in whole.
Rdfs:labelInference Step
Rdfs:subClassOfPmlj:JustificationElement  +
TagOwl:Class  +
Personal tools
Navigation