The document has moved here.

Apache/2.2.3 (CentOS) Server at Port 80

Instance Data

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
rdf:type owl:Restriction
owl:cardinality 1^^
owl:onProperty pmlj:hasConclusion
rdf:type owl:Restriction
owl:maxCardinality 1^^
owl:onProperty pmlj:isExplanationOf


Source(s) Prefix:Namespace Used Expandable Class(es)