Second-level Ontology Based On Mutually-inversistic Logic
Hong Bao · Microcomputer Information · 2008
Compared to classical logic,mutually-inversistic logic eliminates quantifiers. It solves the problem of expressiveness vs in-tractability to certain extent. So it can reason logic theories simply. Mutually-inversistic logic classifies propositions. The expression and semantic retrieval of logic theories are based on meta-knowledge. So they are advanced to a higher level compared to original ontology. Ontology based on mutually-inversistic logic is called second-level Ontology. The best virtual of second-level Ontology is that it can realize the expression and retrieval of logic theories. Second-level Ontology extends the function of current ontology. The principle and implementation are discussed in the paper.