ALKETge : 유비쿼터스 환경을 위한 지식표현 언어

유비쿼터스에 대한 연구에서 지식표현 시스템은 반드시 필요하다. 최근 Description Logic을 많이 사용하고 있는데, Description Logic은 다양한 단계를 표현할 수 있다. 단계가 높아질수록 표현력이 커지는 반면 추론이 어려워진다. 유비쿼터스 환경에서는 서비스를 하기 위해 지식들의 상하위 관계나 동일 관계 등을 추론하는 능력이 필요한데, Description Logic의 단계 중에 ALCUN의 표현력이면 이에 필요한 지식을 모두 표현할 수 있다. 본 논문에서는 ALCUN의 표현력을 지니는 언어를 제안하였다.