<?xml version="1.0"?>
<!--
SPDX-FileCopyrightText: 2024 Lady <https://www.ladys.computer/about/#lady>
SPDX-License-Identifier: CC0-1.0
-->
<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
<ObjectProperty symmetric="yes">
	<label xml:lang="en">has exact match</label>
	<comment xml:lang="en">
		<p>
			A <ref target="skos:Concept">Concept</ref> which is an exact match for this Concept.
		</p>
		<p>
			This property is disjoint with both <ptr target="skos:broadMatch"/> and <ptr target="skos:relatedMatch"/>.
			Because it is symmetric, it is consequently also disjoint with <ptr target="skos:narrowMatch"/>.
		</p>
		<p>
			<ptr target="(SKOS)"/> defines this property as being transitive; however, honouring this makes it impossible to reason about (in reasonable time) when also preserving the above disjointness relations.
			This ontology ignores the transitivity and maintains the disjointness.
		</p>
	</comment>
	<isDefinedBy>
		<SpecificResource source="(SKOS)" fragment="exactMatch"/>
	</isDefinedBy>
	<subPropertyOf>
		<resource name="skos:closeMatch"/>
	</subPropertyOf>
	<propertyDisjointWith>
		<resource name="skos:broadMatch"/>
	</propertyDisjointWith>
	<propertyDisjointWith>
		<resource name="skos:relatedMatch"/>
	</propertyDisjointWith>
</ObjectProperty>