2006 | OriginalPaper | Buchkapitel
Feature Model Based on Description Logics
verfasst von : Shaofeng Fan, Naixiao Zhang
Erschienen in: Knowledge-Based Intelligent Information and Engineering Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Intelligent interactive systems have begun to adopt knowledge and software engineering technologies in an attempt to effective development. Feature models have been widely used in knowledge and software engineering for the reuse purpose. However, due to the lack of a formal semantics of feature models, it is rather difficult to perform rigorous consistency reasoning on them. Without guaranteed consistency of feature models, the quality of interactive systems based on them, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the proposed translation principles, each feature model is formalized into an
$\mathcal{ALCQI}$
knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding
$\mathcal{ALCQI}$
knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER.