Category:Pmlj:NodeSet

From Inference Web

Jump to: navigation, search

direct description

more description

-239a690b:120db8a3dcf:-7fd1

Pages in category "Pmlj:NodeSet"

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

E

Facts about Pmlj:NodeSetRDF feed
Imported fromThis property is a special property in this wiki.pmlj:NodeSet (pmlj)  +
Member ofHttp://inference-web.org/2.0/pml-justification.owl  +
Rdf:typeOwl:Class  +
Rdfs:commentA node set hosts a conclusion and a set of A node set hosts a conclusion and a set of alternative inference steps each of which can justify the conclusion. The term ``node set is chosen because a node set captures a set of nodes (with inference steps) from one or many proof trees deriving the same conclusion. The URI of a node set is its unique identifier, and every node set has exactly one URI. r, and every node set has exactly one URI.
Rdfs:labelNode Set
Rdfs:subClassOfPmlj:JustificationElement  +
TagOwl:Class  +
Personal tools
Navigation