16.53 15.3.4 Perfiles de razonamiento
| Perfil | Semántica | Incluye | Excluye | Materialización | Estado |
|---|---|---|---|---|---|
| RP0-AssertedOnly | Simple RDF graph matching | G1-Asserted G2-Curated |
Todas las consecuencias inferidas | None | Baseline |
| RP1-RDFS | RDF/RDFS entailment | RP0 subClassOf subPropertyOf domain range |
Reglas de dominio Negación como fallo |
Optional separate graph | Baseline |
| RP2-OWL2RL | OWL 2 RL rule-compatible subset | RP1 inversas simetría transitividad declarada equivalencia curada |
Axiomas fuera de OWL 2 RL Equivalencia desde alias |
Recommended separate graph | ProductionRecommended |
| RP3-DomainSafe | Reglas monotónicas y guardadas del dominio de escalada | RP2 reglas INF de dominio aprobadas trazas de prueba |
Reglas no monotónicas Promoción automática de candidatos |
Separate graph with provenance | ProductionRecommended |
| RP4-QueryTime | Caminos SPARQL y joins sin persistir consecuencias | Property paths acotados Subqueries Aggregates |
Mutación del grafo | None | ProductionRecommended |
| RP5-Validation | SHACL y consultas ASK/SELECT de integridad | Shapes diagnósticos quality gates |
Consecuencias de dominio publicables | Validation report only | RequiredForRelease |
| RP6-Experimental12 | RDF/SPARQL/SHACL 1.2 en evaluación | Features explícitamente soportadas por el motor y versionadas | Uso como baseline normativo Resultados sin feature flag |
Isolated experimental graph | Experimental |
| RP7-HumanAdjudicated | Decisiones humanas que pueden promover o retractar aserciones | Curación adjudicación rationale |
Inferencia automática no trazada | Curated graph | AuthoritativeForCuration |
SPARQL 1.1 define consulta sobre RDF y dispone de property paths, agregaciones, subqueries y negación. Las respuestas implícitas dependen del entailment regime y deben declararse de manera explícita [P52-R5, P52-R6].
16.53.1 Perfil recomendado
Producción: RP2-OWL2RL + RP3-DomainSafe + RP5-Validation
Interfaz exploratoria: RP4-QueryTime sobre grafos aprobados
Auditoría: RP0-AssertedOnly
Investigación: RP6-Experimental12 aislado
Curación: RP7-HumanAdjudicatedOWL 2 RL permite una implementación rule-based con propiedades computacionales controladas, pero el perfil concreto del documento y del motor debe probarse; la conformidad sintáctica no sustituye los tests del razonador [P52-R2, P52-R4].