char | Swish.RDF.RDFParser |
checkInference | Swish.RDF.Rule |
checkProof | Swish.RDF.Proof |
checkStep | Swish.RDF.Proof |
ClassRestriction | |
1 (Type/Class) | Swish.RDF.ClassRestrictionRule |
2 (Data Constructor) | Swish.RDF.ClassRestrictionRule |
ClassRestrictionFn | Swish.RDF.ClassRestrictionRule |
comparePartitions | Swish.RDF.GraphPartition |
composeSequence | Swish.RDF.VarBinding |
containedIn | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
crFunc | Swish.RDF.ClassRestrictionRule |
crName | Swish.RDF.ClassRestrictionRule |