public interface Violation extends Copyable<Violation>
Interface representing a single constraint violation. The graphs returned encapsulating the different sets of
violating statements are a superset of the actual violation. For example, there could be several statements that
are in the result of getExpectedStatements()
but it could be the case that only one of them is required to
resolve the validation issue. An example is if your IC states that instances of some type C must be subclasses of
either A or B, rdf:type statements for both A and B will be included in the expected statements, but in practice, you
only need one of them to resolve the violation.
Modifier and Type | Method and Description |
---|---|
Set<Statement> |
getExpectedStatements()
Return the explanation of the violation, e.g.
|
Set<Statement> |
getViolatingStatements()
Return the set of statements which make up the violation.
|
Copyright © 2010-2016 Stardog Union. All Rights Reserved.