이상 에서 나타낸 바 와 같이 , 쿼리 공식 화기 ( 40 ) 는 데이터베이스 들 ( 60 ) 로부터 정보 를 추출 하 기 위하 여 , 상기 지식 검색 엔진 ( 50 ) 에 쿼리 들 을 제공 한다 . 일 실시 예 에 있 어서 , 시스템 엘리먼트 의 머신 표현 은 쿼리 를 생성 하 기 위하 여 사용 되 는 핵심 엘리먼트 들 의 소스 로서 사용 된다 . 상기 쿼리 공식 화기 ( 40 ) 에 의하 여 이루어지 는 동작 들 의 종류 는 도 1 및 도 2 에 도시 된 문제 분석 도구 들 을 참조 한 예제 에 의하 여 보여질 수 있 다 .