Abstract
通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD 模型,提出了FOOD 模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ 的FOOD 模型的表示与推理,包括:实现了从 FOOD 模型到f-ALCIQ 知识库在结构层和实例层上的转化,即实现了从FOOD 模型到f-ALCIQ TBox 的转化,以及从FOOD 模型相应的数据库实例到f-ALCIQ ABox 的转化;进而,基于转化得到的f-ALCIQ 知识库,研究了如何利用 f-ALCIQ 的推理机制对FOOD 模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ 的模糊描述逻辑推理机(FRsQ 推理机),实现了对FOOD 模型和f-ALCIQ 模糊概念知识的自动推理.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
