基于描述邏輯的本體的保守擴充理論、模塊抽取理論、通用模塊構(gòu)建理論及其相關算法是本體工程中本體構(gòu)建、本體融合及重構(gòu)的核心理論與工具．國際上該領域已有Lutz等人使用形式構(gòu)模方法證明了ALC的保守擴充判定算法復雜度是二階時間指數(shù)的，而輕量級的系統(tǒng)εL的算法復雜度是一階時間指數(shù)的．但當前文獻中的形式構(gòu)模方法思路復雜，難以把握，幾乎不能在實用的工程層面上實現(xiàn)．提出一種面向輕量級的描述邏輯系統(tǒng)家族（DL-Lite family）的統(tǒng)一的二階線性推理機制，并給出該推理機制的完備性證明．該方法直觀，思路清晰，從而在工程中容易實現(xiàn)．同時，該方法對εL，F(xiàn)Lo，***，vL等DL-Lite冢族的所有系統(tǒng)都有效，在該線序推理系統(tǒng)下，可以根據(jù)“空間換時間”的原則，設計和實現(xiàn)關于保守擴充判定的圖推理機制，其復雜性（相對于空間的大小）是多項式的．
?