Possibilistic DL-lite

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8078 LNAI, Issue , 2013, Pages 346-359

  Benferhat, Salem ^a   Bouraoui, Zied ^a  

^a UNIV LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; SEMANTICS;

COMPUTATIONAL COSTS; DESCRIPTION LOGIC; INCOMPLETE INFORMATION; LOW COMPUTATIONAL COMPLEXITY; POSSIBILITY THEORY; POSSIBILITY THEORY FRAMEWORK; QUERY EVALUATION; REASONING PROCESS;

DATA DESCRIPTION;

EID: 84885004165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40381-1_27     Document Type: Conference Paper

References (19)

1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res., JAIR (2009)
2. Baader, F., McGuinness, L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press (2003)
3. Bobillo, F., Straccia, U.: fuzzydl: An expressive fuzzy description logic reasoner. In: FUZZ-IEEE, pp. 923-930. IEEE (2008)
4. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Dl-lite: Tractable description logics for ontologies. In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, AAAI 2005, pp. 602-607. AAAI Press /The MIT Press (2005)
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Reasoning 39(3), 385-429 (2007)
6. Couchariere, O., Lesot, M.-J., Bouchon-Meunier, B.: Consistency checking for extended description logics. In: Proceedings of the 21st International Workshop on Description Logics, DL 2008. Description Logics, vol. 9, pp. 602-607. CEURWS. org /CEUR Workshop Proceedings (2008)
7. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: The Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439-513. Clarendon Press, Oxford (1994)
8. Dubois, D., Mengin, J., Prade, H.: Possibilistic uncertainty and fuzzy features in description logic. a preliminary discussion. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 101-113. Elsevier (2006)
9. Dubois, D., Prade, H.: Possibility theory. Plenum Press, New-York (1988)
10. Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. International Journal of Approximate Reasoning 12(2), 85-109 (1995)
11. Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837-853 (2009)
12. Pan, J.Z., Stamou, G.B., Stoilos, G., Thomas, E.: Expressive querying over fuzzy dllite ontologies. In: Proceedings of the 2007 International Workshop on Description Logics, DL 2007. Description Logics, vol. 250, pp. 602-607. CEUR-WS.org /CEUR Workshop Proceedings (2007)
13. Qi, G., Ji, Q., Pan, J.Z., Du, J.: PossDL-A possibilistic DL reasoner for uncertainty reasoning and inconsistency handling. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 416-420. Springer, Heidelberg (2010)
14. Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst. 26(4), 353-381 (2011)
15. Qi, G., Pan, J.Z.: A tableau algorithm for possibilistic description logic ALC. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 61-75. Springer, Heidelberg (2008)
16. Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828-839. Springer, Heidelberg (2007)
17. Qi, G., Pan, J.Z., Ji, Q.: A possibilistic extension of description logics. In: Proceedings of the 2007 International Workshop on Description Logics, DL 2007, vol. 4724, pp. 602-607. CEUR-WS.org /CEUR Workshop Proceedings (2007)
18. Straccia, U.: A fuzzy description logic. In: Mostow, J., Rich, C. (eds.) AAAI/IAAI, pp. 594-599. AAAI Press /The MIT Press (1998)
19. Straccia, U.: Towards top-k query answering in description logics: The case of dllite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439-451. Springer, Heidelberg (2006)