id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_qb53iyxcmvdwfeqedfthnek7xi	Fernando Bobillo	DeLorean: A reasoner for fuzzy OWL 2	2012	12	.pdf	application/pdf	5282	714	77	optimization (handling superfluous elements before applying crisp reasoning) basic idea is to create some new crisp concepts and roles, representing the !-cuts Mapping fuzzy concepts, roles and axioms. Mapping of concept and role expressions, and reduction of the axioms. the reduction of an ontology can be reused when adding a new axiom. axioms does not introduce new atomic concepts, atomic roles nor a new degree Kleene-Dienes and Gödel implications in the semantics of fuzzy GCIs and RIAs. Table 2 shows some metrics of the crisp ontologies obtained in the reduction Optimizing GCI reductions turns out to be very useful in reducing the number of disjoint concepts, domain, range and functional role axioms: 152 to 19 Combining the optimization of GCI reductions with the definition of crisp concepts and roles reduces the number of new axioms, from 1288 to 390 subclass optimized version because fuzzy roles interpreted as crisp introduce one inverse	./cache/work_qb53iyxcmvdwfeqedfthnek7xi.pdf	./txt/work_qb53iyxcmvdwfeqedfthnek7xi.txt