FuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning. The fuzzyDL system includes a reasoner for fuzzy SHIF with concrete fuzzy concepts (ALC augmented with transitive roles, a role hierarchy, inverse, reflexive, symmetric roles, functional roles, and explicit definition of fuzzy sets). There is also a Protege plug-in that supports Fuzzy OWL2, to build fuzzy ontologies.

References in zbMATH (referenced in 27 articles )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Wang, Hui; Elzinga, Cees H.; Lin, Zhiwei; Vincent, Jordan: Quantifying sequential subsumption (2019)
  2. Farnadi, Golnoosh; Bach, Stephen H.; Moens, Marie-Francine; Getoor, Lise; De Cock, Martine: Soft quantification in statistical relational learning (2017)
  3. Straccia, Umberto; Bobillo, Fernando: From fuzzy to annotated semantic web languages (2017)
  4. Armengol, Eva; Dellunde, Pilar; García-Cerdaña, Àngel: On similarity in fuzzy description logics (2016)
  5. Bobillo, Fernando; Straccia, Umberto: Optimising fuzzy description logic reasoners with general concept inclusion absorption (2016)
  6. Borgwardt, Stefan; Peñaloza, Rafael: Reasoning in fuzzy description logics using automata (2016)
  7. Farnadi, Golnoosh; Bach, Stephen H.; Blondeel, Marjon; Moens, Marie-Francine; Getoor, Lise; De Cock, Martine: Statistical relational learning with soft quantifiers (2016)
  8. Vidal, Amanda: MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (2016)
  9. Borgwardt, Stefan; Distel, Felix; Peñaloza, Rafael: The limits of decidability in fuzzy description logics with general concept inclusions (2015)
  10. Straccia, Umberto: All about fuzzy description logics and applications (2015)
  11. Straccia, Umberto: Foundations of fuzzy logic and semantic web languages (2014)
  12. Cerami, Marco; Straccia, Umberto: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm (2013)
  13. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  14. Pérez, I. J.; Wikström, R.; Mezei, J.; Carlsson, C.; Herrera-Viedma, E.: A new consensus model for group decision making using fuzzy ontology (2013) ioport
  15. Viroli, Mirko: On competitive self-composition in pervasive services (2013) ioport
  16. Wu, Yining: Transforming fuzzy description logic (\mathcalALC_\mathcalFL) into classical description logic (\mathcalALCH) (2013)
  17. Bobillo, Fernando; Straccia, Umberto: Generalized fuzzy rough description logics (2012)
  18. Zhang, Fu; Ma, Z. M.; Yan, Li; Wang, Yu: A description logic approach for representing and reasoning on fuzzy object-oriented database models (2012)
  19. Bobillo, Fernando; Bou, Félix; Straccia, Umberto: On the failure of the finite model property in some fuzzy description logics (2011)
  20. Bobillo, Fernando; Straccia, Umberto: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic (\mathcalSROIQ) (2011)

1 2 next