@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <https://kb.dev.arxive-eccch.eu/entity/> .
@prefix data: <https://kb.dev.arxive-eccch.eu/wiki/Special:EntityData/> .
@prefix wds: <https://kb.dev.arxive-eccch.eu/entity/statement/> .
@prefix wdref: <https://kb.dev.arxive-eccch.eu/reference/> .
@prefix wdv: <https://kb.dev.arxive-eccch.eu/value/> .
@prefix wdt: <https://kb.dev.arxive-eccch.eu/prop/direct/> .
@prefix wdtn: <https://kb.dev.arxive-eccch.eu/prop/direct-normalized/> .
@prefix p: <https://kb.dev.arxive-eccch.eu/prop/> .
@prefix ps: <https://kb.dev.arxive-eccch.eu/prop/statement/> .
@prefix psv: <https://kb.dev.arxive-eccch.eu/prop/statement/value/> .
@prefix psn: <https://kb.dev.arxive-eccch.eu/prop/statement/value-normalized/> .
@prefix pq: <https://kb.dev.arxive-eccch.eu/prop/qualifier/> .
@prefix pqv: <https://kb.dev.arxive-eccch.eu/prop/qualifier/value/> .
@prefix pqn: <https://kb.dev.arxive-eccch.eu/prop/qualifier/value-normalized/> .
@prefix pr: <https://kb.dev.arxive-eccch.eu/prop/reference/> .
@prefix prv: <https://kb.dev.arxive-eccch.eu/prop/reference/value/> .
@prefix prn: <https://kb.dev.arxive-eccch.eu/prop/reference/value-normalized/> .
@prefix wdno: <https://kb.dev.arxive-eccch.eu/prop/novalue/> .

data:P425 a schema:Dataset ;
	schema:about wd:P425 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2272"^^xsd:integer ;
	schema:dateModified "2026-06-28T15:44:08Z"^^xsd:dateTime ;
	wikibase:statements "6"^^xsd:integer .

wd:P425 a wikibase:Property ;
	wdt:P27 <http://isl.ics.forth.gr/ontology/echoes/HP34i_is_former_proposition_set_of> ;
	wdt:P1 wd:Q57 ;
	wdt:P40 wd:Q150 ;
	wdt:P41 wd:Q152 ;
	wdt:P39 wd:Q165 ;
	wdt:P46 wd:P424 ;
	p:P27 wds:P425-388FCF72-95DC-4C8F-9544-327990CF3641 .

wds:P425-388FCF72-95DC-4C8F-9544-327990CF3641 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P27 <http://isl.ics.forth.gr/ontology/echoes/HP34i_is_former_proposition_set_of> .

wd:P425 p:P1 wds:P425-A698CA19-8AF2-4FCA-B6A4-8B740A188540 .

wds:P425-A698CA19-8AF2-4FCA-B6A4-8B740A188540 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1 wd:Q57 .

wd:P425 p:P40 wds:P425-D185B0A3-A827-43D6-86F0-CE6EE03FCC1B .

wds:P425-D185B0A3-A827-43D6-86F0-CE6EE03FCC1B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P40 wd:Q150 .

wd:P425 p:P41 wds:P425-8FE1C615-2D6D-4BE6-B144-BCCDBB28F824 .

wds:P425-8FE1C615-2D6D-4BE6-B144-BCCDBB28F824 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P41 wd:Q152 .

wd:P425 p:P39 wds:P425-51E6F89A-FF66-433C-A104-317083937791 .

wds:P425-51E6F89A-FF66-433C-A104-317083937791 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P39 wd:Q165 .

wd:P425 p:P46 wds:P425-403BB171-D125-46D8-83A3-AC8B6C469939 .

wds:P425-403BB171-D125-46D8-83A3-AC8B6C469939 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P46 wd:P424 .

wd:P425 rdfs:label "is former proposition set of"@en ;
	skos:prefLabel "is former proposition set of"@en ;
	schema:name "is former proposition set of"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P425 ;
	wikibase:claim p:P425 ;
	wikibase:statementProperty ps:P425 ;
	wikibase:statementValue psv:P425 ;
	wikibase:qualifier pq:P425 ;
	wikibase:qualifierValue pqv:P425 ;
	wikibase:reference pr:P425 ;
	wikibase:referenceValue prv:P425 ;
	wikibase:novalue wdno:P425 .

p:P425 a owl:ObjectProperty .

psv:P425 a owl:ObjectProperty .

pqv:P425 a owl:ObjectProperty .

prv:P425 a owl:ObjectProperty .

wdt:P425 a owl:ObjectProperty .

ps:P425 a owl:ObjectProperty .

pq:P425 a owl:ObjectProperty .

pr:P425 a owl:ObjectProperty .

wdno:P425 a owl:Class ;
	owl:complementOf _:832c47122f89aba4b794fa32d7d31e99 .

_:832c47122f89aba4b794fa32d7d31e99 a owl:Restriction ;
	owl:onProperty wdt:P425 ;
	owl:someValuesFrom owl:Thing .

wd:P27 a wikibase:Property ;
	rdfs:label "URI"@en ;
	skos:prefLabel "URI"@en ;
	schema:name "URI"@en ;
	schema:description "The URI of the entity."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P27 ;
	wikibase:claim p:P27 ;
	wikibase:statementProperty ps:P27 ;
	wikibase:statementValue psv:P27 ;
	wikibase:qualifier pq:P27 ;
	wikibase:qualifierValue pqv:P27 ;
	wikibase:reference pr:P27 ;
	wikibase:referenceValue prv:P27 ;
	wikibase:novalue wdno:P27 .

p:P27 a owl:ObjectProperty .

psv:P27 a owl:ObjectProperty .

pqv:P27 a owl:ObjectProperty .

prv:P27 a owl:ObjectProperty .

wdt:P27 a owl:ObjectProperty .

ps:P27 a owl:ObjectProperty .

pq:P27 a owl:ObjectProperty .

pr:P27 a owl:ObjectProperty .

wdno:P27 a owl:Class ;
	owl:complementOf _:404becc5aa3ce80ccff9624ca1c68acc .

_:404becc5aa3ce80ccff9624ca1c68acc a owl:Restriction ;
	owl:onProperty wdt:P27 ;
	owl:someValuesFrom owl:Thing .

wd:Q57 a wikibase:Item ;
	rdfs:label "Ontology Property"@en ;
	skos:prefLabel "Ontology Property"@en ;
	schema:name "Ontology Property"@en ;
	schema:description "A super-class to represent ontology properties."@en .

wd:P1 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "type to which this subject corresponds/belongs. Different from P279 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1 ;
	wikibase:claim p:P1 ;
	wikibase:statementProperty ps:P1 ;
	wikibase:statementValue psv:P1 ;
	wikibase:qualifier pq:P1 ;
	wikibase:qualifierValue pqv:P1 ;
	wikibase:reference pr:P1 ;
	wikibase:referenceValue prv:P1 ;
	wikibase:novalue wdno:P1 .

p:P1 a owl:ObjectProperty .

psv:P1 a owl:ObjectProperty .

pqv:P1 a owl:ObjectProperty .

prv:P1 a owl:ObjectProperty .

wdt:P1 a owl:ObjectProperty .

ps:P1 a owl:ObjectProperty .

pq:P1 a owl:ObjectProperty .

pr:P1 a owl:ObjectProperty .

wdno:P1 a owl:Class ;
	owl:complementOf _:b96ec5135b6832e1d84209d72460276b .

_:b96ec5135b6832e1d84209d72460276b a owl:Restriction ;
	owl:onProperty wdt:P1 ;
	owl:someValuesFrom owl:Thing .

wd:Q150 a wikibase:Item ;
	rdfs:label "HDT v1.1 (DRAFT) (February, 2026) including references to CIDOC-CRM v7.1.3, CRMdig v5.0, LRMoo v1.0 and Narrative  Ontology v2.0"@en ;
	skos:prefLabel "HDT v1.1 (DRAFT) (February, 2026) including references to CIDOC-CRM v7.1.3, CRMdig v5.0, LRMoo v1.0 and Narrative  Ontology v2.0"@en ;
	schema:name "HDT v1.1 (DRAFT) (February, 2026) including references to CIDOC-CRM v7.1.3, CRMdig v5.0, LRMoo v1.0 and Narrative  Ontology v2.0"@en ;
	schema:description "HDT v1.1 (DRAFT) (February, 2026) including references to CIDOC-CRM v7.1.3, CRMdig v5.0, LRMoo v1.0 and Narrative Ontology v2.0"@en .

wd:P40 a wikibase:Property ;
	rdfs:label "is defined by"@en ;
	skos:prefLabel "is defined by"@en ;
	schema:name "is defined by"@en ;
	schema:description "The ontology resource that defines this entity."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P40 ;
	wikibase:claim p:P40 ;
	wikibase:statementProperty ps:P40 ;
	wikibase:statementValue psv:P40 ;
	wikibase:qualifier pq:P40 ;
	wikibase:qualifierValue pqv:P40 ;
	wikibase:reference pr:P40 ;
	wikibase:referenceValue prv:P40 ;
	wikibase:novalue wdno:P40 .

p:P40 a owl:ObjectProperty .

psv:P40 a owl:ObjectProperty .

pqv:P40 a owl:ObjectProperty .

prv:P40 a owl:ObjectProperty .

wdt:P40 a owl:ObjectProperty .

ps:P40 a owl:ObjectProperty .

pq:P40 a owl:ObjectProperty .

pr:P40 a owl:ObjectProperty .

wdno:P40 a owl:Class ;
	owl:complementOf _:af152a90b603ad009005e8ccb4e19421 .

_:af152a90b603ad009005e8ccb4e19421 a owl:Restriction ;
	owl:onProperty wdt:P40 ;
	owl:someValuesFrom owl:Thing .

wd:Q152 a wikibase:Item ;
	rdfs:label "Heritage Digital Twin"@en ;
	skos:prefLabel "Heritage Digital Twin"@en ;
	schema:name "Heritage Digital Twin"@en ;
	schema:description "The class comprises collections of sets of formal propositions more or less directly related to an instance of HC1 Heritage Entity that are documented as single units and serve as topic of discourse about the latter. Characteristically, the collected sets"@en .

wd:P41 a wikibase:Property ;
	rdfs:label "property range"@en ;
	skos:prefLabel "property range"@en ;
	schema:name "property range"@en ;
	schema:description "The range of a property."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P41 ;
	wikibase:claim p:P41 ;
	wikibase:statementProperty ps:P41 ;
	wikibase:statementValue psv:P41 ;
	wikibase:qualifier pq:P41 ;
	wikibase:qualifierValue pqv:P41 ;
	wikibase:reference pr:P41 ;
	wikibase:referenceValue prv:P41 ;
	wikibase:novalue wdno:P41 .

p:P41 a owl:ObjectProperty .

psv:P41 a owl:ObjectProperty .

pqv:P41 a owl:ObjectProperty .

prv:P41 a owl:ObjectProperty .

wdt:P41 a owl:ObjectProperty .

ps:P41 a owl:ObjectProperty .

pq:P41 a owl:ObjectProperty .

pr:P41 a owl:ObjectProperty .

wdno:P41 a owl:Class ;
	owl:complementOf _:94e14e895f1c1a86bcf157599941bde8 .

_:94e14e895f1c1a86bcf157599941bde8 a owl:Restriction ;
	owl:onProperty wdt:P41 ;
	owl:someValuesFrom owl:Thing .

wd:Q165 a wikibase:Item ;
	rdfs:label "Heritage Proposition Set"@en ;
	skos:prefLabel "Heritage Proposition Set"@en ;
	schema:name "Heritage Proposition Set"@en ;
	schema:description "The class comprises content units defined as sets of propositions that are formally encoded in a knowledge representation language. The identity of an instance of HC16 Heritage Proposition Set depends on the total of contained propositions, regardless of"@en .

wd:P39 a wikibase:Property ;
	rdfs:label "property domain"@en ;
	skos:prefLabel "property domain"@en ;
	schema:name "property domain"@en ;
	schema:description "The domain of an property."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P39 ;
	wikibase:claim p:P39 ;
	wikibase:statementProperty ps:P39 ;
	wikibase:statementValue psv:P39 ;
	wikibase:qualifier pq:P39 ;
	wikibase:qualifierValue pqv:P39 ;
	wikibase:reference pr:P39 ;
	wikibase:referenceValue prv:P39 ;
	wikibase:novalue wdno:P39 .

p:P39 a owl:ObjectProperty .

psv:P39 a owl:ObjectProperty .

pqv:P39 a owl:ObjectProperty .

prv:P39 a owl:ObjectProperty .

wdt:P39 a owl:ObjectProperty .

ps:P39 a owl:ObjectProperty .

pq:P39 a owl:ObjectProperty .

pr:P39 a owl:ObjectProperty .

wdno:P39 a owl:Class ;
	owl:complementOf _:64a0d1d5067866f3277eeb170e90e00b .

_:64a0d1d5067866f3277eeb170e90e00b a owl:Restriction ;
	owl:onProperty wdt:P39 ;
	owl:someValuesFrom owl:Thing .

wd:P424 a wikibase:Property ;
	rdfs:label "contained"@en ;
	skos:prefLabel "contained"@en ;
	schema:name "contained"@en ;
	schema:description "This property associates an instance of HC2 Heritage Digital Twin with an instance of HC16 Heritage Proposition Set that constituted a former, now no more valid part of its content. This property is necessary to maintain referential integrity for scholarl"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P424 ;
	wikibase:claim p:P424 ;
	wikibase:statementProperty ps:P424 ;
	wikibase:statementValue psv:P424 ;
	wikibase:qualifier pq:P424 ;
	wikibase:qualifierValue pqv:P424 ;
	wikibase:reference pr:P424 ;
	wikibase:referenceValue prv:P424 ;
	wikibase:novalue wdno:P424 .

p:P424 a owl:ObjectProperty .

psv:P424 a owl:ObjectProperty .

pqv:P424 a owl:ObjectProperty .

prv:P424 a owl:ObjectProperty .

wdt:P424 a owl:ObjectProperty .

ps:P424 a owl:ObjectProperty .

pq:P424 a owl:ObjectProperty .

pr:P424 a owl:ObjectProperty .

wdno:P424 a owl:Class ;
	owl:complementOf _:c1e3d6d4669373d684a46d8aca2450da .

_:c1e3d6d4669373d684a46d8aca2450da a owl:Restriction ;
	owl:onProperty wdt:P424 ;
	owl:someValuesFrom owl:Thing .

wd:P46 a wikibase:Property ;
	rdfs:label "inverse property"@en ;
	skos:prefLabel "inverse property"@en ;
	schema:name "inverse property"@en ;
	schema:description "The inverse of this property."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseProperty> ;
	wikibase:directClaim wdt:P46 ;
	wikibase:claim p:P46 ;
	wikibase:statementProperty ps:P46 ;
	wikibase:statementValue psv:P46 ;
	wikibase:qualifier pq:P46 ;
	wikibase:qualifierValue pqv:P46 ;
	wikibase:reference pr:P46 ;
	wikibase:referenceValue prv:P46 ;
	wikibase:novalue wdno:P46 .

p:P46 a owl:ObjectProperty .

psv:P46 a owl:ObjectProperty .

pqv:P46 a owl:ObjectProperty .

prv:P46 a owl:ObjectProperty .

wdt:P46 a owl:ObjectProperty .

ps:P46 a owl:ObjectProperty .

pq:P46 a owl:ObjectProperty .

pr:P46 a owl:ObjectProperty .

wdno:P46 a owl:Class ;
	owl:complementOf _:c0d583e59254fb832b23993ee6089325 .

_:c0d583e59254fb832b23993ee6089325 a owl:Restriction ;
	owl:onProperty wdt:P46 ;
	owl:someValuesFrom owl:Thing .
