Reasoning within extended fuzzy description logic

Knowledge-Based Systems

Volumn 22, Issue 1, 2009, Pages 28-37

  Lu, Jianjiang ^a   Li, Yanhui ^b   Zhou, Bo ^a   Kang, Dazhou ^b  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SOUTHEAST UNIVERSITY   (China)

Author keywords

Description logic; Fuzzy; Knowledge representation; Semantic web; Tableau algorithm

Indexed keywords

ATOMIC PHYSICS; ATOMS; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; SEMANTICS;

ATOMIC ROLES; CUT SETS; DESCRIPTION LOGIC; DESCRIPTION LOGICS; DO-MAINS; EXPRESSIVE POWERS; EXTENDED FUZZY DESCRIPTION LOGICS; FUZZY; FUZZY CONCEPTS; FUZZY DESCRIPTION LOGICS; FUZZY INFORMATIONS; FUZZY KNOWLEDGE REPRESENTATIONS; KNOWLEDGE BASE; LOGIC SYSTEMS; REASONING TASKS; TABLEAU ALGORITHM; TABLEAU ALGORITHMS;

DATA DESCRIPTION;

EID: 56649095922     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2008.04.010     Document Type: Article

References (30)

1. Baader F., Calvanese D., and McGuinness D.L. The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press
2. Athanasiadis T., Mylonas P., Avrithis Y., and Kollias S. Semantic image segmentation and object labeling. IEEE Transactions on Circuits and Systems for Video Technology 17 3 (2007) 298-312
3. C. Meghini, F. Sebastiani, U. Straccia, Reasoning about the form and content for multimedia objects, in: Proceedings of the AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio, 1997, pp. 89-94.
4. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
5. Nebel B. Computational complexity of terminological reasoning in BACK. Artificial Intelligence 34 (1988) 371-383
6. Zadeh L.A. Fuzzy sets. Information and Control 8 3 (1965) 338-353
7. M. Buchheit, F.M. Donini, A. Schaerf, Decidable reasoning in terminological knowledge representation systems, in: Proceedings of the 13th International Joint Conference on Artificial Intelligence, 1993, pp. 704-709.
8. Baader F., and Sattler U. An overview of tableau algorithms for description logics. Studia Logica 69 1 (2001) 5-40
9. Walter J.S. Relationship between nondeterministic and deterministic tape complexities. Journal of Computer and System Science 4 (1970) 77-192
10. F. Baader, B. Hollunder, A terminological knowledge representation system with complete inference algorithm, in: Proceedings of the Workshop on Processing Declarative Knowledge, 1991, pp. 67-86.
11. J. Heinsohn, Probabilistic description logics, in: Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence, 1994, pp. 311-318.
12. M. Jaeger, Probabilistic reasoning in terminological logics, in: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 305-316.
13. R. Giugno, T. Lukasiewicz, A probabilistic extension of shoq(d) for probabilistic ontologies in the Semantic Web, in: Proceedings of the European Conference on Logics in Artificial Intelligence, 2002, pp. 23-26.
14. J. Yen, Generalizing term subsumption languages to fuzzy logic, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991, pp. 472-477.
15. U. Straccia, Transforming fuzzy description logics into classical description logics, in: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, 2004, pp. 385-399.
16. S. Hölldobler, S. Hans-Peter, D.K. Tran, A fuzzy description logic with hedges and concept modifiers, in: Proceedings of the InTech/VJFuzzy, 2002, pp. 25-34.
17. Hölldobler S., Hans-Peter S., and Tran D.K. The fuzzy description logic ALCFH with hedge algebras as concept modifiers. International Journal of Advanced Computational Intelligence and Intelligent Informatics 7 3 (2003) 94-305
18. S. Hölldobler, S. Hans-Peter, D.K. Tran, H.N. Nguyen, The subsumption problem in the fuzzy description logic ALCFH, in: Proceedings of the Tenth International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2004, pp. 243-250.
19. D. Sanchez, G. Tettamanzi, Generalizing quantification in fuzzy description logic, in: Proceedings of the 8th Fuzzy Days in Dortmund, 2004.
20. U. Straccia, Towards a fuzzy description logic for the semantic web, in: Proceedings of the 2nd European Semantic Web Conference, 2005, pp. 167-181.
21. G. Stoilos, G. Stamou, V. Tzouvaras, J. Pan, I. Horrocks, The fuzzy description logic f-SHIN, in: Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web, 2005, pp. 67-76.
22. G. Stoilos, G. Stamou, V. Tzouvaras, J. Pan, I. Horrocks, Fuzzy OWL: uncertainty and the semantic web, in: Proceedings of the First OWL Experiences and Directions Workshop, 2005.
23. G. Stoilos, U. Straccia, G. Stamou, J. Pan, General concept inclusions in fuzzy description logics, in: Proceedings of the 17th International Conference on Artificial Intelligence, 2006, pp. 457-461.
24. Stoilos G., Stamou G., Pan J., Tzouvaras V., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 (2007) 273-320
25. U. Straccia, Description logics with fuzzy concrete domains, in: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, 2005, pp. 559-567.
26. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Discrete tableau algorithms for FSHI, in: Proceedings of the International Workshop on Description Logics, 2006, pp. 39-50.
27. Lu J., Li Y., Zhou B., Kang D., and Zhang Y. Distributed reasoning with fuzzy description logics. Lecture Notes in Computer Science 4487 (2007) 196-203
28. Lu J.-J., Xu B.-W., Li Y.-H., and Kang D.-Z. A family of extended fuzzy description logics. International Journal of Business Intelligence and Data Mining 1 4 (2006) 384-400
29. Lu J., Xu B., Li Y., Kang D., and Wang P. Extended fuzzy ALCN and its tableau algorithm. Lecture Notes in Artificial Intelligence 3613 (2005) 232-242
30. D. Kang, B. Xu, J. Lu, Y. Li, Reasoning for fuzzy description logic with comparison expressions, in: Proceedings of the International Workshop on Description Logics, 2006, pp. 111-118.