资源论文Forgetting Concept and Role Symbols in ALCOIHµ+(O, u)-Ontologies

Forgetting Concept and Role Symbols in ALCOIHµ+(O, u)-Ontologies

2019-11-22 | |  65 |   44 |   0
Abstract Forgetting is a non-standard reasoning problem concerned with creating restricted views for ontologies relative to subsets of their initial signatures while preserving all logical consequences up to the symbols in the restricted views. In this paper, we present an Ackermann-based approach for forgetting of concept and role symbols in ontologies expressible in the description logic ALCOIHµ+ (O, u). The method is one of only few approaches that can eliminate role symbols, that can handle role inverse, ABox statements, and is the only approach so far providing support for forgetting in description logics with nominals. Despite the inherent difficulty of forgetting for this level of expressivity, performance results with a prototypical implementation have shown very good success rates on real-world ontologies.

上一篇:Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus

下一篇:The Complexity of Learning Acyclic CP-Nets

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...