1 |
1
기술 논리 추론 엔진을 포함하는 온톨로지 기반의 지식 베이스 관리 시스템에서 사용자가 정의한 추론 규칙을 적용하는 방법에 있어서,
지식 베이스 검색 언어를 이용하여 작성된 사용자 정의 추론 규칙을 저장하는 단계;
지식 베이스가 변경되었는지 여부에 따라 상기 사용자 정의 추론 규칙의 실행 여부를 판단하는 단계;
상기 실행 여부의 판단에 따라, 상기 저장된 사용자 정의 추론 규칙을 실행하고, 실행 결과를 지식 베이스에 반영하는 단계
를 포함하는, 사용자 정의 추론 규칙 적용 방법
|
2 |
2
청구항 1에 있어서, 상기 기술 논리 추론 엔진은 Tableaux 알고리즘에 기반하는, 사용자 정의 추론 규칙 적용 방법
|
3 |
3
삭제
|
4 |
4
청구항 1 또는 2에 있어서,
상기 사용자 정의 추론 규칙을 실행한 경우 실행 결과가 없으면, 이전에 실행한 동일한 사용자 정의 추론 규칙의 실행에 의한 결과를 지식 베이스로부터 삭제하는 단계를 더 포함하는, 사용자 정의 추론 규칙 적용 방법
|
5 |
5
온톨로지 기반의 지식 베이스,
상기 지식 베이스로부터 기술 논리 추론을 행하는 기술 논리 추론부,
지식 베이스 검색 언어를 이용하여 입력된 사용자 정의 추론 규칙을 지식 베이스에 적용하는 사용자 정의 추론 규칙 관리부를 포함하며,
상기 사용자 정의 추론 규칙 관리부는, 상기 입력된 사용자 정의 추론 규칙을 저장하며, 상기 지식 베이스가 변경된 경우에 상기 저장된 사용자 정의 추론 규칙을 실행하여 실행 결과를 지식 베이스에 반영하고,
상기 기술 논리 추론부는, 사용자가 검색을 행하는 경우에 상기 사용자 정의 추론 규칙의 실행 결과가 반영된 지식 베이스로부터 기술 논리 추론을 행하는, 지식 베이스 관리 시스템
|
6 |
6
청구항 5에 있어서,
상기 기술 논리 추론부는, Tableaux 알고리즘에 기반한 기술 논리 추론 엔진을 포함하는, 지식 베이스 관리 시스템
|
7 |
7
청구항 5 또는 6에 있어서,
상기 사용자 정의 추론 규칙 관리부는, 상기 사용자 정의 추론 규칙을 실행한 경우 실행 결과가 없으면, 이전에 실행한 동일한 사용자 정의 추론 규칙의 실행에 의한 결과를 지식 베이스로부터 삭제하는, 지식 베이스 관리 시스템
|