Verification of Subsumption Anomalies in Hybrid Knowledge Bases : A Meta-graph Approach

혼합 지식 기반 내 포함 이상의 검증 메타 그라프적 접근

As object models and hybrid knowledge are increasingly used in current information systems development, Is-a structures need to be more formally defined, and subsequently subsumption related anomalies need to be detected with minimal declaration of meta knowledge. This paper extends a metagraph in the hybrid environments and demonstrates its utilities for detecting such anomalies that can occur from semantics and dynamics unique to the hybrid knowledge and data structure.