|
pmlj:NodeSet
|
| rdf:type |
owl:Class
|
| rdfs:comment |
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.@en
|
| rdfs:label |
Node Set@en
|
| rdfs:subClassOf |
pmlj:JustificationElement
|
| rdfs:subClassOf |
|
| rdfs:subClassOf |
|
Inlinks