SEM_APIS.VALIDATE

Format

SEM_APIS.VALIDATE_MODEL(
     models_in    IN SEM_MODELS, 
     criteria_in  IN VARCHAR2 DEFAULT NULL, 
     max_conflict IN NUMBER DEFAULT 100, 
     options      IN VARCHAR2 DEFAULT NULL 
     ) RETURN RDF_LONGVARCHARARRAY;

Note:

This subprogram will be deprecated in a future release. It is recommended that you use the SEM_APIS.VALIDATE_RDF_GRAPH subprogram instead.

Description

Validates one or more models.

Parameters

models_in

One or more model names. Its data type is SEM_MODELS, which has the following definition: TABLE OF VARCHAR2(25)

criteria_in

A comma-delimited string of validation checks to run. If you do not specify this parameter, by default all of the following checks are run:

UNSAT: Find unsatisfiable classes.
EMPTY: Find instances that belong to unsatisfiable classes.
SYNTAX_S: Find triples whose subject is neither URI nor blank node.
SYNTAX_P: Find triples whose predicate is not URI.
SELF_DIF: Find individuals that are different from themselves.
INST: Find individuals that simultaneously belong to two disjoint classes.
SAM_DIF: Find pairs of individuals that are same (owl:sameAs) and different (owl:differentFrom) at the same time.

To specify fewer checks, specify a string with only the checks to be performed. For example, criteria_in => 'UNSAT' causes the validation process to search only for unsatisfiable classes.

max_conflict

The maximum number of conflicts to find before the validation process stops. The default value is 100.

options

(Not currently used. Reserved for Oracle use.).

Usage Notes

This procedure can be used to detect inconsistencies in the original data model. For more information, see Validating OWL Models and Entailments.

This procedure returns a null value if no errors are detected or (if errors are detected) an object of type RDF_LONGVARCHARARRAY, which has the following definition: VARRAY(32767) OF VARCHAR2(4000)

Examples

The following example validates the model named family.

SELECT SEM_APIS.VALIDATE_MODEL(SEM_MODELS('family')) FROM DUAL;