IsaAtom |
IsaAtom.addType(SchemaConcept type) |
static IsaAtom |
IsaAtom.create(Var var,
Var predicateVar,
ConceptId predicateId,
boolean isDirect,
ReasonerQuery parent) |
static IsaAtom |
IsaAtom.create(Var var,
Var predicateVar,
SchemaConcept type,
boolean isDirect,
ReasonerQuery parent) |
static IsaAtom |
IsaAtom.create(Var var,
Var predicateVar,
VarPattern pattern,
ConceptId predicateId,
ReasonerQuery parent) |
IsaAtom |
IsaAtom.inferTypes(ConceptMap sub) |
IsaAtom |
RelationshipAtom.toIsaAtom() |
IsaAtom |
ResourceAtom.toIsaAtom()
NB: this is somewhat ambiguous cause from {$x has resource $r;} we can extract:
- $x isa ???;
- $r isa resource;
We pick the latter as the type information is available.
|