@prefix : <https://ontology.inferal.com/modules/decision/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://ontology.inferal.com/modules/decision/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Decision Ontology OWL addendum"@en ;
    dcterms:description "Optional OWL typing and safe inverse semantics for the Decision Ontology. Deliberation completeness, selection consistency, record completeness, authority, implementation success, and causal sufficiency remain SHACL, profile, or application concerns."@en ;
    dcterms:source : ;
    dcterms:issued "2026-07-13"^^xsd:date ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    rdfs:label "Decision Ontology OWL addendum"@en ;
    rdfs:comment "Adds OWL class and property typing plus the genuine inverse between deliberation generation and decision provenance without equating goals with issues, records with decisions, or anticipated with observed consequences."@en ;
    vann:preferredNamespacePrefix "decision" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/decision/" ;
    owl:versionInfo "0.1.0" .

:Goal a owl:Class .
:Issue a owl:Class .
:Option a owl:Class .
:Criterion a owl:Class .
:Evaluation a owl:Class .
:Deliberation a owl:Class .
:Decision a owl:Class .
:DecisionRecord a owl:Class .
:Rationale a owl:Class .
:ResultingAction a owl:Class .
:Consequence a owl:Class .
:AnticipatedConsequence a owl:Class .
:ObservedConsequence a owl:Class .

:addressesIssue a owl:ObjectProperty .
:pursuesGoal a owl:ObjectProperty .
:considersOption a owl:ObjectProperty .
:hasEvaluation a owl:ObjectProperty .
:evaluatesOption a owl:ObjectProperty .
:appliesCriterion a owl:ObjectProperty .
:basedOnEvidence a owl:ObjectProperty .
:generatedDecision a owl:ObjectProperty ; owl:inverseOf :resultedFromDeliberation .
:resultedFromDeliberation a owl:ObjectProperty .
:selectedOption a owl:ObjectProperty .
:basedOnEvaluation a owl:ObjectProperty .
:recordsDecision a owl:ObjectProperty .
:hasRationale a owl:ObjectProperty .
:supersedesDecision a owl:ObjectProperty .
:anticipatesConsequence a owl:ObjectProperty .
:implementsDecision a owl:ObjectProperty .
:producedConsequence a owl:ObjectProperty .
:correspondsToAnticipation a owl:ObjectProperty .
:informedByConsequence a owl:ObjectProperty .