The Application Research of Description Logic in Civil Aviation Domain Ontology
Hong Wang, Siting Gao, Jing Wang · 2011
In order to improve the reasoning ability of Civil Aviation knowledge, this paper describes Civil Aviation domain ontology based on Description Logic, reasons subsumption and consistency of ontology and retrieves individuals. By using the reasoning theories of Description Logic, the hierarchy of concepts is automatically classified and the rationality of ontology is guaranteed.