Foresight

EON · OWL 2 + SHACL

온톨로지 계약

규제 배제와 해소 기준은 if문이 아니라 shape입니다. 감사 때 이 파일이 증빙입니다.

노드

20

게시 가능

20

차단

0

SHACL 통과

100%

NW

No Wager

금전·포인트·NFT 등 환금성 베팅을 제공하지 않습니다.

NL

No Link

차단 원천으로의 아웃링크를 두지 않습니다.

NS

No Sports

스포츠 결과 마켓은 온톨로지 게시 대상이 아닙니다.

EL

Election Limiter

국내 선거는 공개 UI에서 차단합니다.

IP

Information Purpose

확률은 정보·리스크 분석이며 투자 권유가 아닙니다.

게이트 원장

사건상태메시지
9월 FOMC 기준금리 결정플래그오버라운드 1.5%p — 유동성 비용 범위, 게시는 허용.
10월 FOMC 기준금리 결정플래그오버라운드 -1.0%p — 유동성 비용 범위, 게시는 허용.
2026년 내 연준 최소 1회 인상통과—
9월 또는 10월 인상플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
Clarity Act, 2026년 내 서명·발효통과—
Abstract, 상장 다음날 FDV플래그결과집합 불완전. 합 0.869.
연내 일본은행 추가 인상플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
2026년 미국 경기침체 선언플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
원/달러 1,400원 터치플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
연말 BTC $120,000 상회플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
MiCA Q4 유로 스테이블코인 라이선스플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
4분기 미국 AI 가속기 추가 수출통제플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
TSMC 애리조나 양산, 2026년 이후 지연플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.
9월 말 최고 AI 모델 사업자플래그결과집합 불완전. 합 0.994.
러·우 휴전 합의 시점플래그결과집합 불완전. 합 1.045.
9월 BNB 저점플래그결과집합 불완전. 합 1.360.
10월 1일 BTC 레벨 래더플래그결과집합 불완전. 합 1.790.
10월 1일 ETH 레벨 래더플래그결과집합 불완전. 합 1.870.
9월 SOL 저점플래그결과집합 불완전. 합 1.220.
이번 주 미국 현물 BTC ETF 순유입플래그오버라운드 1.0%p — 유동성 비용 범위, 게시는 허용.

foresight.ttl v0.1

@prefix fg: <https://weai.kr/ont/foresight#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix sh:  <http://www.w3.org/ns/shacl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

fg:Event a owl:Class .
fg:OutcomeSet a owl:Class .
fg:Outcome a owl:Class .
fg:ResolutionCriterion a owl:Class .
fg:ProbabilityQuote a owl:Class .

fg:mutuallyExclusive a owl:DatatypeProperty ;
  rdfs:domain fg:OutcomeSet ; rdfs:range xsd:boolean .
fg:collectivelyExhaustive a owl:DatatypeProperty ;
  rdfs:domain fg:OutcomeSet ; rdfs:range xsd:boolean .
fg:subsumes a owl:ObjectProperty, owl:TransitiveProperty ;
  rdfs:domain fg:Outcome ; rdfs:range fg:Outcome .
fg:impliedProbability a owl:DatatypeProperty ;
  rdfs:domain fg:ProbabilityQuote ; rdfs:range xsd:decimal .

fg:OutcomeSetShape a sh:NodeShape ;
  sh:targetClass fg:OutcomeSet ;
  sh:property [ sh:path fg:hasOutcome ; sh:minCount 2 ] .

fg:EventShape a sh:NodeShape ;
  sh:targetClass fg:Event ;
  sh:property [
    sh:path fg:hasResolutionCriterion ; sh:minCount 1 ;
    sh:message "해소 기준이 없는 이벤트는 게시 불가"
  ] ;
  sh:property [
    sh:path fg:category ;
    sh:not [ sh:in ( fg:Sports fg:DomesticElection ) ] ;
    sh:message "규제 배제 카테고리"
  ] .

fg:Utterance a owl:Class .
fg:Triple a owl:Class .
fg:Agent a owl:Class .
fg:Place a owl:Class .
fg:hasSubject a owl:ObjectProperty ; rdfs:domain fg:Triple ; rdfs:range owl:Thing .
fg:hasPredicate a owl:ObjectProperty ; rdfs:domain fg:Triple .
fg:hasObject a owl:ObjectProperty ; rdfs:domain fg:Triple .
fg:asksProbability a owl:ObjectProperty ; rdfs:comment "dynamic" .
fg:asksWhy a owl:ObjectProperty ; rdfs:comment "semantic" .
fg:navigatesTo a owl:ObjectProperty ; rdfs:comment "kinetic" .
fg:refusesWager a owl:ObjectProperty ; rdfs:comment "semantic" .
fg:asksWatch a owl:ObjectProperty ; rdfs:comment "dynamic" .
fg:asksImpact a owl:ObjectProperty ; rdfs:comment "dynamic" .
fg:asksCoherence a owl:ObjectProperty ; rdfs:comment "dynamic" .
fg:asksNowcast a owl:ObjectProperty ; rdfs:comment "dynamic" .
fg:guides a owl:ObjectProperty ; rdfs:comment "semantic" .
CMC 갭 브리프