SEM_APIS.VALIDATE_ENTAILMENT

Format

SEM_APIS.VALIDATE_ENTAILMENT(
     models_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;

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

Description

Validates entailments (rules indexes) that can be used to perform OWL or RDFS inferencing for 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)

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 semantic network. (See Table: network_owner and network_name Parameters.)

network_name

Name of the semantic network. (See Table: network_owner and network_name Parameters.)

Usage Notes

This procedure can be used to detect inconsistencies in the original entailment. 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 entailment, use the SEM_APIS.CREATE_ENTAILMENT procedure.

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

Examples

For an example of this procedure, see Example: Validating an Inferred Graph in Validating OWL Models and Entailments.