The so-called reasoning is to obtain new knowledge or conclusion through various methods, and these knowledge and conclusion satisfy semantics. Its specific tasks can be divided into satisfiability, classification and materialization.
Satisfiability is embodied in ontology or concept. In ontology, the satisfiability of ontology is to check whether an ontology is satisfiable, that is, to check whether the ontology has a model. If the ontology does not, the inconsistency exists. Concept satisficability is to check the satisficability of a concept, that is, to check whether there is a model, so that the interpretation of the concept is not an empty set. ———————————————— Copyright notice: this article is written BY “Pelhans”, a CSDN blogger, under the CC 4.0 BY-SA copyright agreement. Please attach a link to the original source and this notice. The original link: blog.csdn.net/pelhans/art…