Positive Subsumption in Fuzzy EL with General t-norms

From International Center for Computational Logic

Toggle side column

Positive Subsumption in Fuzzy EL with General t-norms

Stefan BorgwardtStefan Borgwardt,  Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-norms
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 789-795, 2013. AAAI Press
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BoPe-IJCAI13,
  address = {Beijing, China},
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)},
  editor = {Francesca {Rossi}},
  pages = {789--795},
  publisher = {AAAI Press},
  title = {Positive Subsumption in Fuzzy $\mathcal{EL}$ with General t-norms},
  year = {2013},
}