曲阜师范大学学报(自然科学版)
麯阜師範大學學報(自然科學版)
곡부사범대학학보(자연과학판)
JOURNAL OF QUFU NORMAL UNIVERSITY (NATURAL SCIENCE EDITION)
2006年
1期
63-66
,共4页
描述逻辑%SHIQ%ALC
描述邏輯%SHIQ%ALC
묘술라집%SHIQ%ALC
描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础. 描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心. 该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.
描述邏輯由于有很好的建模和推理特性,已成為語義web本體描述語言的邏輯基礎. 描述邏輯SHIQ是語義web本體描述語言DAML+OIL的邏輯基礎,也是OWL DL的覈心. 該文從邏輯的角度介紹瞭SHIQ的語法、語義、推理問題和推理算法.
묘술라집유우유흔호적건모화추리특성,이성위어의web본체묘술어언적라집기출. 묘술라집SHIQ시어의web본체묘술어언DAML+OIL적라집기출,야시OWL DL적핵심. 해문종라집적각도개소료SHIQ적어법、어의、추리문제화추리산법.