Formal description and model testing of Ontology based on extended order-sorted logic
Tao Xian · 2008
Ontology is a philosophical word.However,with the development of computer semantic network,it is introduced to semantic web field and used to express concepts and the relationship between the concepts.Using the logic to formalize the Ontology and trying to test or reason the Ontology has been the hot point and difficulty.With the method of consulting description logic to express Ontology,to describe Ontology by using the extended order-sorted logic is proposed and then test and infer Ontology after the description.