资源分类
》 资源 》论文》Positive Subsumption in Fuzzy EL with General t-Norms

Positive Subsumption in Fuzzy EL with General t-Norms

2019-11-11 | |  69 |   50 |   0

Abstract The Description Logic EL is used to formulate several large biomedical ontologies. Fuzzy extensions of EL can express the vagueness inherent in many biomedical concepts. We study the reasoning problem of deciding positive subsumption in fuzzy EL with semantics based on general t-norms. We show that the complexity of this problem depends on the specific t-norm chosen. More precisely, if the t-norm has zero divisors, then the problem is co-NP-hard; otherwise, it can be decided in polynomial time. We also show that the best subsumption degree cannot be computed in polynomial time if the t-norm contains the ?ukasiewicz t-norm.

上一篇：The Markov Assumption: Formalization and Impact Alexander Bochman

下一篇：The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules

用户评价
全部评价

热门资源

  • Learning to learn...

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

  • A Mathematical Mo...

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

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Rating-Boosted La...

    The performance of a recommendation system reli...

  • Hierarchical Task...

    We extend hierarchical task network planning wi...