Format

SEM_APIS.VALIDATE_INFERRED_GRAPH(
     rdf_graphs_in  IN SEM_MODELS, 
     rulebases_in   IN SEM_RULEBASES, 
     criteria_in    IN VARCHAR2 DEFAULT NULL, 
     max_conflict   IN NUMBER DEFAULT 100, 
     options        IN VARCHAR2 DEFAULT NULL, 
     network_owner  IN VARCHAR2 DEFAULT NULL,
     network_name   IN VARCHAR2 DEFAULT NULL
     ) RETURN RDF_LONGVARCHARARRAY;

Description

Validates inferred graphs (rules indexes) that can be used to perform OWL or RDFS inferencing for one or more RDF graphs.

Parameters

rdf_graphs_in

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

rulebases_in

One or more rulebase names. Its data type is SEM_RULEBASES, which has the following definition: TABLE OF VARCHAR2(25). Rules and rulebases are explained in Inferencing: Rules and Rulebases.

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.).

network_owner

Owner of the RDF network. (See Table 1-2.)

network_name

Name of the RDF network. (See Table 1-2.)

Usage Notes

This procedure can be used to detect inconsistencies in the original inferred graph. 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)

To create an inferred graph, use the SEM_APIS.CREATE_INFERRED_GRAPH procedure.

For information about RDF network types and options, see RDF Networks.

Examples

For an example of this procedure, see Example 3-5 in Validating OWL Models and Entailments.