# Category:Pmlj:NodeSet

### From Inference Web

## direct description

- [inferred] Category:pmlj:JustificationElement
- [inferred] imported from: pmlj:NodeSet (pmlj)
- [inferred] member of: http://inference-web.org/2.0/pml-justification.owl
- [inferred] tag: Category:owl:Class
- [original] rdf:type: Category:owl:Class
- [original] 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.* - [original] rdfs:label: Node Set
- [original] rdfs:subClassOf: Category:pmlj:JustificationElement
- see aslo MediaWiki:smw_import_pmlj

## more description

### -239a690b:120db8a3dcf:-7fd1

- [original] rdf:type Category:owl:Restriction
- [original] owl:cardinality 1
- [original] owl:onProperty Property:pmlj:hasConclusion

## 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 of | Http://inference-web.org/2.0/pml-justification.owl + |

Rdf:type | Owl:Class + |

Rdfs:comment | A 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:label | Node Set |

Rdfs:subClassOf | Pmlj:JustificationElement + |

Tag | Owl:Class + |