软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2008年
10期
2498-2507
,共10页
康达周%徐宝文%陆建江%李言辉
康達週%徐寶文%陸建江%李言輝
강체주%서보문%륙건강%리언휘
语义Web%知识表示%描述逻辑%模糊%比较%推理
語義Web%知識錶示%描述邏輯%模糊%比較%推理
어의Web%지식표시%묘술라집%모호%비교%추리
语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理.
語義Web模糊知識的錶示和應用常常涉及模糊隸屬度比較,但現有描述邏輯的模糊擴展缺乏描述模糊隸屬度比較的能力.提齣支持模糊隸屬度比較和描述邏輯ALCN(attributive concept description language with complements and number restriction)概唸構造子的擴展模糊描述邏輯FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概唸形式以支持模糊隸屬度比較.給齣FCALCN的推理算法,證明瞭在空TBox約束下FCALCN的推理問題複雜性是多項式空間完全的.FCALCN能夠錶達語義Web上涉及模糊隸屬度比較的複雜模糊知識併實現對它們的推理.
어의Web모호지식적표시화응용상상섭급모호대속도비교,단현유묘술라집적모호확전결핍묘술모호대속도비교적능력.제출지지모호대속도비교화묘술라집ALCN(attributive concept description language with complements and number restriction)개념구조자적확전모호묘술라집FCALCN(fuzzy comparable ALCN).FCALCN인입신적원자개념형식이지지모호대속도비교.급출FCALCN적추리산법,증명료재공TBox약속하FCALCN적추리문제복잡성시다항식공간완전적.FCALCN능구표체어의Web상섭급모호대속도비교적복잡모호지식병실현대타문적추리.