<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://s3wiki.yonsei.ac.kr/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T17:22:54+09:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:a case for hardware based demand paging bdf187f5</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Applicability rdf:datatype="http://www.w3.org/2001/XMLSchema#string">향후 CPU/SSD co-design, demand-paged persistent/fast storage에 높고 기존 배포형 시스템에는 낮음.</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">LBA-augmented page table로 I/O-stack 작업을 control plane으로 옮기고, Storage Management Unit이 대부분의 miss에서 CPU가 OS 개입 없이 I/O command를 직접 발행하게 한다. 자원 관리는 OS가 비동기적으로 처리한다.</property:Attempt>
		<property:Author rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Author>
		<property:Confidence rdf:datatype="http://www.w3.org/2001/XMLSchema#string">medium</property:Confidence>
		<property:Context rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Publication scope: international. Lab publication metadata:
1. Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)

Verification level: official_abstract. Sources checked:
https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/
https://doi.org/10.1109/ISCA45697.2020.00093</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T15:04:36Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1281944</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Publication record 1: Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">공개 원문을 확보하지 못해 hardware area/energy, protection·fault corner case와 OS fallback 경로를 검증하지 못했다.
평가는 simulator와 한 종류의 실제 x86/ultra-low-latency SSD 조합이므로 광범위한 CPU·SSD 일반화는 추가 검증이 필요하다.
새 page-table/SMU와 OS 변경이 필요한 architecture proposal이다.

Technical interpretation: storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Case for Hardware-based Demand Paging</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">cycle-level simulator와 ultra-low-latency SSD를 장착한 실제 x86 평가에서 demand-paging latency 37.0% 감소.
FIO random-read 최대 57.1%, NoSQL server 최대 27.3% 성능 향상.
OS 개입 감소의 부수 효과로 user-code IPC 최대 7.0% 증가.</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ultra-low-latency SSD 시대에 page fault latency의 큰 비중이 된 OS kernel I/O stack을 hardware/OS co-design으로 critical path에서 제거할 수 있는가?</property:Question>
		<property:Record_origin rdf:datatype="http://www.w3.org/2001/XMLSchema#string">lab</property:Record_origin>
		<property:Reusable_lesson rdf:datatype="http://www.w3.org/2001/XMLSchema#string">storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.</property:Reusable_lesson>
		<property:Review_state rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Draft</property:Review_state>
		<property:Updated_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:15Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1237847</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:15Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1237847</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a case for hardware based demand paging bdf187f5</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_9c8a793ab3f224eab818ce7f3e6708e4"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_432e609924950ff5072efcb289772731"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_fd68691df587e774ccad0ef48eb696d9"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_2e03cc52b75bfa8627546233b700a272"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_9c8a793ab3f224eab818ce7f3e6708e4">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_d332b55d8f8b46e1</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T15:04:37Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.128206</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a case for hardware based demand paging bdf187f5# 9c8a793ab3f224eab818ce7f3e6708e4</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_432e609924950ff5072efcb289772731">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-bdf187f5</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T05:10:28Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461239.7156019</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging" in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. (* equally contributed)</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_a_case_for_hardware_based_demand_paging_163a61b2. 확인 범위: official_abstract. 확인한 자료: https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/ ; https://doi.org/10.1109/ISCA45697.2020.00093. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">official_abstract</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a case for hardware based demand paging bdf187f5# 432e609924950ff5072efcb289772731</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_fd68691df587e774ccad0ef48eb696d9">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:57:43Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1234144</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_14be20cabf5f566d9050</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_d332b55d8f8b46e1</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">aa2440051ebc5db2e1dee96afca0b21caf09b234070b55e91eae6fedc5075c5b</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a case for hardware based demand paging bdf187f5# fd68691df587e774ccad0ef48eb696d9</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5-23_2e03cc52b75bfa8627546233b700a272">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:15Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1237847</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_b8899f0485499b39d626</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-bdf187f5</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">d3466c9f7bb33f1393d9e6d01a587b880684f4e09545b4886a9731c2a3ed6177</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a case for hardware based demand paging bdf187f5# 2e03cc52b75bfa8627546233b700a272</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Atechnical_review_a_case_for_hardware_based_demand_paging_163a61b2">
		<rdfs:label>Lesson:technical review a case for hardware based demand paging 163a61b2</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Atechnical_review_a_case_for_hardware_based_demand_paging_163a61b2"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Atechnical_review_a_case_for_hardware_based_demand_paging_163a61b2"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Supersedes rdf:resource="&wiki;Lesson-3Aa_case_for_hardware_based_demand_paging_bdf187f5"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">technical review a case for hardware based demand paging 163a61b2</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ASupersedes">
		<rdfs:label>Supersedes</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/속성-3ASupersedes"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/속성-3ASupersedes"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Supersedes</swivt:wikiPageSortKey>
		<swivt:type rdf:resource="http://semantic-mediawiki.org/swivt/1.0#_wpg"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AApplicability" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAttempt" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAuthor" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AConfidence" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AContext" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_overview" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AInterpretation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ALesson_title" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AObservation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AQuestion" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ARecord_origin" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReusable_lesson" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReview_state" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AHas_subobject" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_citation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_kind" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_note" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_basis" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_URL" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_claim_fields" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_coverage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_outcome" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_SHA256" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_identity" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_locator" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_digest" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#type" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>