@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix difficulty_band: <https://w3id.org/kmath/difficulty_band/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix problem_type: <https://w3id.org/kmath/problem_type/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skill: <https://w3id.org/kmath/skill/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

problem_type:logarithmic_inequality_solve a math:ProblemType ;
    rdfs:label "로그부등식 풀이"@ko ;
    skos:definition "진수 조건과 밑의 크기에 따른 로그함수의 증가와 감소를 이용하여 로그부등식을 푸는 문항 유형."@ko ;
    skos:editorialNote "2026-09-28 운영 DB 대수 문항의 세부 유형(type_name) '로그부등식1 (기본)', '로그부등식2 (치환)', '로그부등식3 (연립부등식)', '로그부등식4 (해의 조건)' 외 3개에 해당하는 114문항을 근거로 추가했다. 난이도는 DB 난이도 중앙값 2.0을 기준으로 정했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:example "부등식 log₃(x − 2) < 2를 만족시키는 정수 x의 개수를 구하시오."@ko ;
    skos:prefLabel "로그부등식 풀이"@ko ;
    math:difficultyBand difficulty_band:intermediate ;
    math:requiresSkill skill:log_domain_check,
        skill:monotonicity_comparison ;
    math:targets concept:logarithmic_inequality .

