com.clarkparsia.stardog.icv
Interface Violation

All Superinterfaces:

Copyable<Violation>

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 & B will be included in the expected statements, but in practice, you only need one of them to resolve the violation.

Since:

0.7

Version:

0.7

Author:

Michael Grove

Method Summary

Graph	getExpectedStatements() Return the explanation of the violation, e.g.
Graph	getViolatingStatements() Return the set of statements which make up the violation.

Methods inherited from interface com.clarkparsia.common.base.Copyable

copy

Method Detail

getViolatingStatements

Graph getViolatingStatements()

Return the set of statements which make up the violation. These are statements that are in the database that contribute to the violation in some way.

Returns:

the violating constraints

getExpectedStatements

Graph getExpectedStatements()

Return the explanation of the violation, e.g. what were the statements we expected in the database, inferred or otherwise, that we did not find.

Returns:

the explanation; the statements missing from the database