Inconsistency degree computation for possibilistic description logic: An extension of the tableau algorithm

Annual Conference of the North American Fuzzy Information Processing Society - NAFIPS

Volumn , Issue , 2008, Pages

  Lesot, Marie Jeanne ^a   Couchariere, Olivier ^a   Bouchon Meunier, Bernadette ^a   Rogier, Jean Luc ^b  

^a SORBONNE UNIVERSITÉ   (France)

^b THALES COMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANNUAL MEETINGS; DESCRIPTION LOGIC; FUZZY INFORMATION PROCESSING;

DATA DESCRIPTION;

EID: 51149112503     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NAFIPS.2008.4531240     Document Type: Conference Paper

References (9)

1. U. Straccia, "Reasoning within fuzzy description logics," Journal of Artificial Intelligence Research, vol. 14, pp. 137-166, 2001.
2. G. Qi, Z. Pan, and Q. Ji, "Extending description logics with uncertainty reasoning in possibilistic logic," in Proc. of ECSQARU'07, 2007, pp. 828-839.
3. V. Haarslev, H.-I. Pai, and N. Shiri, "Optimizing tableau reasoning in alc extended with uncertainty," in Proc. of the 20th Intern. Workshop on Description Logics, DL'07, vol. 8-10, 2007, pp. 307-314.
4. D. Dubois, J. Lang, and H. Prade, "Possibilistic logic," in Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. J. Hogger, and J. A. Robinson, Eds. Oxford University Press, 1994, pp. 439-513.
5. F. Baader and U. Sattler, "An overview of tableau algorithms for description logics," Studia Logica, vol. 69, no. 1, pp. 5-40, 2001.
6. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, Eds., The Description Logic Handbook Theory, Implementation and Applications. Cambridge University Press, 2003.
7. D. Dubois and H. Prade, "Basic notions of possibility theory," in Handbook of Fuzzy Computation, E. H. Ruspini, P. P. Bonissone, and W. Pedrycz, Eds. IOP Publishing Ltd, 1998.
8. B. Hollunder, "An alternative proof method for possibilistic logic and its application to terminological logics," Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, DFKI Research Report RR-93-01, 1993.
9. V. Haarslev, H.-I. Pai, and N. Shiri, "Completion rules for uncertainty reasoning with the description logic ALC," in Proceedings of the Canadian Semantic Web Working Symposium, ser. Semantic Web and Beyond: Computing for Human Experience, vol. 4. Springer, 2006, pp. 205-225.