Anzeige
Erschienen in:
2016 | OriginalPaper | Buchkapitel
A Tableau-Based Forgetting in ALCQ
verfasst von : Hong Fang, Xiaowang Zhang
Erschienen in: Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data
Verlag: Springer Singapore
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
Forgetting is a useful tool for tailoring ontologies by reducing the number of concepts and roles. The issue of forgetting for general ontologies in more expressive description logics, such as \(\mathcal {ALCQ}\) and \(\mathcal {SHIQ}\), is largely unexplored. In this paper, we develop a decidable, sound, and complete tableau-based algorithm to implement the forgetting-based reasoning. Our tableau algorithm is technically feasibly extended to explore the forgetting in more expressive ontology languages.