Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
  • KurzfassungAbstract
    Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) over the DL SROIQ based on finite chains of degrees of truth. To answer such queries, we extend a well-known technique that reduces the fuzzy ontology to a classical one, and use classical DL reasoners as a black box. We improve the complexity of previous reduction techniques for finitely valued fuzzy DLs, which allows us to prove tight complexity results for answering certain kinds of fuzzy CQs. We conclude with an experimental evaluation of a prototype implementation, showing the feasibility of our approach.
  • Projekt:Project: HAEC B02
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{BMPT2016,
  author  = {Stefan Borgwardt and Theofilos Mailis and Rafael Pe{\~{n}}aloza and
             Anni-Yasmin Turhan},
  title   = {Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy
             Ontologies},
  journal = {Journal on Data Semantics},
  volume  = {5},
  number  = {2},
  year    = {2016},
  pages   = {55{\textendash}75},
  doi     = {10.1007/s13740-015-0055-y}
}