The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Flexible Ontology Reasoning Architecture for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
FRESG: A Kind of Fuzzy Description Logic Reasoner
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
An OWL Ontology for Fuzzy OWL 2
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
International Journal of Approximate Reasoning
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hi-index | 0.00 |
To satisfy the need of representing and reasoning with fuzzy knowledge and fuzzy data information in the context of the Semantic Web, an expressive fuzzy Description Logic (DL) named f-SROIQ(G) is proposed in this paper. The fuzzy DL f-SROIQ(G) can support not only the representation and reasoning of complex fuzzy OWL 2 concept knowledge, but also fuzzy data information with customized fuzzy data types and predicates. Briefly, the paper makes the following main contributions: (i) we propose a new fuzzy DL f-SROIQ(G), and define its syntax, semantics and knowledge bases. (ii) we propose a tableau algorithm for deciding the reasoning problems of f-SROIQ(G). The work is a step forward in the direction of fuzzy DLs, the representation and reasoning capabilities of f-SROIQ(G) go beyond the existing fuzzy DLs, and it may lay a theoretical foundation for the representation and reasoning of fuzzy data information in the Semantic Web.