Skip to Main Content
This paper focused on ontology reasoning and conflict detection based on description logic. It presented the formal definition of forest disease and pest diagnosis ontology, which can reveal the clear hierarchy structure of knowledge. SWRL rules are built from the ontology that can have application in the reasoning of forest disease and pest diagnosis system. And ontology conflict detections of individual consistency checking and relation consistency checking are proposed and designed in this paper. The reasoning process is also designed, and can provide reference information in other domain applications.