Found

The document has moved here.


Apache/2.2.3 (CentOS) Server at tw.rpi.edu Port 80

Instance Data

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
-3bd1c33c:1656f442053:-7f1e
rdf:type owl:Restriction
owl:cardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlj:hasConclusion
rdfs:subClassOf
-3bd1c33c:1656f442053:-7f1f
rdf:type owl:Restriction
owl:maxCardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlj:isExplanationOf

Inlinks


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