Description Logics with Fuzzy Concrete Domains
Abstract
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.1410
- arXiv:
- arXiv:1207.1410
- Bibcode:
- 2012arXiv1207.1410S
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science
- E-Print:
- Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)