资源分类
》 资源 》论文》Description Logics over Lattices with Multi-Valued Ontologies Stefan Borgwardt and Rafael Pen?aloza

Description Logics over Lattices with Multi-Valued Ontologies Stefan Borgwardt and Rafael Pen?aloza

2019-11-12 | |  53 |   30 |   0
Abstract Uncertainty is unavoidable when modeling most application domains. In medicine, for example, symptoms (such as pain, dizziness, or nausea) are always subjective, and hence imprecise and incomparable. Additionally, concepts and their relationships may be inexpressible in a crisp, clear-cut manner. We extend the description logic ALC with multi-valued semantics based on lattices that can handle uncertainty on concepts as well as on the axioms of the ontology. We introduce reasoning methods for this logic w.r.t. general concept inclusions and show that the complexity of reasoning is not increased by this new semantics.

上一篇：On the Complexity of EL with Defeasible Inclusions? Piero A. Bonatti Marco Faella Luigi Sauro

下一篇：Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete Fe?lix Bou Marco Cerami and Francesc Esteva

用户评价
全部评价

热门资源

  • 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...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

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