Methods in org.mindswap.pellet that return Clash |
static Clash |
Clash.atomic(Node node,
DependencySet depends)
|
static Clash |
Clash.atomic(Node node,
DependencySet depends,
aterm.ATermAppl c)
|
static Clash |
Clash.bottomProperty(Node node,
DependencySet depends,
aterm.ATermAppl p)
|
Clash |
Clash.copyTo(ABox abox)
|
static Clash |
Clash.disjointProps(Node node,
DependencySet depends)
|
static Clash |
Clash.disjointProps(Node node,
DependencySet depends,
aterm.ATermAppl p1,
aterm.ATermAppl p2)
|
static Clash |
Clash.emptyDatatype(Node node,
DependencySet depends)
|
static Clash |
Clash.emptyDatatype(Node node,
DependencySet depends,
aterm.ATermAppl[] datatypes)
|
static Clash |
Clash.functionalCardinality(Node node,
DependencySet depends)
|
static Clash |
Clash.functionalCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r)
|
Clash |
ABox.getClash()
|
Clash |
ABox.getLastClash()
|
static Clash |
Clash.invalidLiteral(Node node,
DependencySet depends)
|
static Clash |
Clash.invalidLiteral(Node node,
DependencySet depends,
aterm.ATermAppl value)
|
static Clash |
Clash.maxCardinality(Node node,
DependencySet depends)
|
static Clash |
Clash.maxCardinality(Node node,
DependencySet depends,
aterm.ATermAppl r,
int n)
|
static Clash |
Clash.minMax(Node node,
DependencySet depends)
|
static Clash |
Clash.missingDatatype(Node node,
DependencySet depends)
|
static Clash |
Clash.missingDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
|
static Clash |
Clash.nominal(Node node,
DependencySet depends)
|
static Clash |
Clash.nominal(Node node,
DependencySet depends,
aterm.ATermAppl other)
|
static Clash |
Clash.unexplained(Node node,
DependencySet depends)
|
static Clash |
Clash.unexplained(Node node,
DependencySet depends,
java.lang.String msg)
|
static Clash |
Clash.valueDatatype(Node node,
DependencySet depends)
|
static Clash |
Clash.valueDatatype(Node node,
DependencySet depends,
aterm.ATermAppl value,
aterm.ATermAppl datatype)
|