描述邏輯及其在自動排課系統(tǒng)中應(yīng)用研究.pdf

1、目前有關(guān)自動排課系統(tǒng)大多是手工或應(yīng)用簡單的管理系統(tǒng)進行排課。局限于傳統(tǒng)思路，系統(tǒng)的通用性和可擴展性較差。而描述邏輯發(fā)展的一個很重要的目的就是要建立起一個人和機器都可以理解的知識系統(tǒng)，這就給了本文一個新的研究思路，運用描述邏輯建立機器理解的知識和規(guī)則，進行自動推理，進而實現(xiàn)系統(tǒng)的智能化和通用化。 本文從如幾個方面來建立基于描述邏輯的自動排課系統(tǒng)。 （1）用描述邏輯的思想來解決排課知識的表示問題。OWL DL是OWL的一個版

2、本，主要利用描述邏輯表現(xiàn)概念之間的關(guān)系，可將類別與實體分開表示。 （2）采用SWRL建立基于規(guī)則的排課算法設(shè)計方案。SWRL是結(jié)合OWL和RuleML以O(shè)WL DL為基礎(chǔ)利用語義的方式定義法則。 （3）OWL DL和SWRL都無法直接在目前的推理引擎中使用，所以本研究采用RACER將OWL DL中實例轉(zhuǎn)化為推理引擎中實例進行推理，確保推理事實之間沒有矛盾的情形。 （4）在法則方面使用XSLT將SWRL轉(zhuǎn)化為推理引