@prefix : <https://ontology.inferal.com/modules/evidence/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@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/evidence/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Evidence Ontology OWL Addendum"@en ;
    dcterms:description "Optional OWL typing for the Evidence Ontology without truth, sufficiency, cardinality, transitivity, equivalence, or disjointness axioms."@en ;
    dcterms:source : ;
    dcterms:issued "2026-07-24"^^xsd:date ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    rdfs:label "Evidence Ontology OWL Addendum"@en ;
    rdfs:comment "Types the portable RDFS vocabulary as OWL classes and object properties while preserving an open-world, non-entailing account of argumentation."@en ;
    vann:preferredNamespacePrefix "ev" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/evidence/" ;
    owl:versionInfo "0.1.0" .

:Claim a owl:Class .
:Argument a owl:Class .
:SupportArgument a owl:Class .
:DefeatingArgument a owl:Class .
:ReasoningBasis a owl:Class .

:hasEvidence a owl:ObjectProperty .
:hasPremise a owl:ObjectProperty .
:hasConclusion a owl:ObjectProperty .
:hasWarrant a owl:ObjectProperty .
:challenges a owl:ObjectProperty .
:rebuts a owl:ObjectProperty .
:undercuts a owl:ObjectProperty .
:undermines a owl:ObjectProperty .