Anzeige
Erschienen in:
2016 | OriginalPaper | Buchkapitel
Scalable Reasoning by Abstraction Beyond DL-Lite
verfasst von : Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Erschienen in: Web Reasoning and Rule Systems
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
Abstract
Recently, it has been shown that ontologies with large datasets can be efficiently materialized by a so-called abstraction refinement technique. The technique consists of the abstraction phase, which partitions individuals into equivalence classes, and the refinement phase, which re-partitions individuals based on entailments for the representative individual of each equivalence class. In this paper, we present an abstraction-based approach for materialization in \(\mathrm {DL\text{- }Lite}\), i.e. we show that materialization for \(\mathrm {DL\text{- }Lite}\) does not require the refinement phase. We further show that the approach is sound and complete even when adding disjunctions and nominals to the language. The proposed technique allows not only for faster materialization and classification of the ontologies, but also for efficient consistency checking; a step that is often omitted by practical approaches based on query rewriting. A preliminary empirical evaluation on both real-life and benchmark ontologies demonstrates that the approach can handle ontologies with large datasets efficiently.