A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference.
业务ontology已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。
2
A computer can reason about statements in these formal languages automatically using logical inference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
3
In the eyes of many, pragmatic inference has often been seen as a subject that defies formal characterizations and is describable only in non-formal, sometimes metaphorical terms.