@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://opda.org.uk/pdtf/hasRegisteredTitle> a owl:ObjectProperty ;
    rdfs:label "has registered title" ;
    skos:definition "Relates a Proprietorship to the RegisteredTitle it is registered against — the HMLR title-register record naming the title arm of the holding, distinct from the Proprietor arm carried by opda:mediates." ;
    rdfs:comment "Proprietorship → RegisteredTitle join: the HMLR title-register record the Proprietorship Relator is registered against (ODR-0006 §Q3 — the Relator mediates Property + Proprietor instances against a RegisteredTitle). Single-domain edge with no never-reasoned commitment, so rdfs:domain opda:Proprietorship + rdfs:range opda:RegisteredTitle are both asserted (Council session-047 Q5 carrier ruling). The Proprietor arm is opda:mediates; the property arm reaches opda:Property via opda:RegisteredTitle opda:identifiesSameProperty." ;
    rdfs:domain <https://opda.org.uk/pdtf/Proprietorship> ;
    rdfs:range <https://opda.org.uk/pdtf/RegisteredTitle> ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0006/section-Q3> .

# one hop — immediate neighbours
<https://opda.org.uk/pdtf/Proprietorship> a owl:Class .