The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy descriptionlogic.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
2
A descriptionlogic theory support ontology based on fuzzy interval was proposed.
结合本体理论,提出了基于模糊区间的本体描述逻辑理论。
3
Descriptionlogic is a formal language for representing knowledge and it is a decidable subset of first-order logic.