Reading a description logic feelings
These days in the study described in logic, studied "The Description Logic Handbook: theory, implementation and applications", benefit. In the learning process, have a feeling that the more strongly swarmed my mind.
Description logic is Ron Brachman 1970 at Harvard University's PhD is developed, and his doctoral thesis laid the basis for description logic. Description Logic and we know there are many similarities between the language information retrieval, in the 70s of last century, information retrieval language is in full swing. Looking back, information retrieval languages and description logic can be said that a pair of two brothers, but why after a lapse of 40 years, information retrieval is a thing of the language, and describe the logic of it is high noon?
After much deliberation, found that information retrieval languages and description logic looks very similar, in fact, the philosophy behind them is different. Philosophy of language information retrieval match is based on the concept of matching words match, the information retrieval language emphasizes vocabulary control, information retrieval language is essentially a controlled language. The description of the philosophy of logic reasoning, that is trying to establish formal description of inference rules, from the formal description of the derivation of the concept of meaning, with the development of computer technology, theory and tools of sound reasoning, description logic glow with youth .
Formal description is based on a controlled basis, but the description logic does not control the vocabulary, but to control rules and structure, so was given a more powerful description ability, which may describe the logic in the Internet Age more have its uses reasons for it.
The above thoughts is just a spark of thought, not very strict also may be completely wrong, write it down for all to critical discussion.
