A Study on Ontology Model Based on Description Logics
WU Jia-chun · Systems Engineering · 2003
Ontology had been originally used in Philosophy,where it indicated the systematic explanation of Existence. Now this term has been used by Artificial Intelligence as an explicit specification of a conceptualization in various areas, such as conceptual modeling, information integration, agent-based system design, and semantic web. Ontology model and ontology checking recently are still under hot discussion. In this paper, we propose a formal model of ontology using Description Logic, and then analyze the checking problems of terminology and instantiation.