TBox and ABox reasoning in expressive description logics

摘要: A Description Logic (DL) system is characterized by four fundamental aspects: the set of constructs used in concept and role expressions, kind assertions allowed TBox (assertions on concepts) ABox individuals), inference mechanisms for reasoning both ABox. Most research done last decade made several simplifying assumptions above aspects. However, recent interest DLs exhibited many application areas (databases, software engineering, intelligent access to network, planning, etc.) calls investigating DL systems with full capabilities. The work presented this paper represents a step direction. We present sound, complete, terminating (in worst-case EXPTIME) procedure that solves problem following characteristics: it comes equipped very expressive language, allows most general form assertions, takes into account instance concepts roles