Managing uncertainty and vagueness in description logics, logic programs and description logic programs

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

Volumn 5224 LNCS, Issue , 2008, Pages 54-103

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; LOGIC PROGRAMMING; SEMANTIC WEB;

BASIC CONCEPTS; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; LOGIC PROGRAMS; MANAGING UNCERTAINTY; REPRESENTATION LANGUAGES; SEMANTIC WEB ONTOLOGIES;

DATA DESCRIPTION;

EID: 57949087763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85658-0_2     Document Type: Conference Paper

References (286)

1. Agarwal, S., Lamparter, S.: Smart: A semantic matchmaking portal for electronic markets. In: CEC 2005: Proceedings of the Seventh IEEE International Conference on E-Commerce Technology (CEC 2005), pp. 405-408. IEEE Computer Society Press, Washington (2005)
2. Alsinet, T., Godo, L.: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. International Journal of Intelligent Systems 17(9), 887-924 (2002)
3. Alsinet, T., Godo, L., Sandri, S.: On the semantics and automated deduction fo PLFC, a logic of possibilistic uncertainty and fuzzyness. In: Proceedings of the 15th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1999) (1999)
4. Alsinet, T., Godo, L.G.L.: A complete calcultis for possibilistic logic programming with fuzzy propositional variables with fuzzy propositional variables. In: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence (UAI 2000), pp. 1-10. Morgan Kaufmann, San Francisco (2000)
5. Amarger, S., Dubois, D., Prade, H.: Constraint propagation with imprecise conditional probabilities. In: Proceedings UAI 1991. pp. 26-34. Morgan Kaufmann. San Francisco (1991)
6. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory. Implementation, and Applications. Cambridge University Press. Cambridge (2003)
7. Baldwin, J.F.: Evidential support of logic programming. Fuzzy Sets and Systems 24(1). 1-26(1987)
8. Baldwin, J.F.: A theory of mass assignments for artificial intelligence. In: Driankov, D., L. Ralescu, A., Eklund, P.W. (eds.) IJCAI-WS 1991. LNCS. vol. 833, pp. 22-34. Springer. Heidelberg (1994)
9. Baldwin. J.F., Martin, T.P., Pilsworth, B.W.: Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Research Studies Press Ltd (1995)
10. Baldwin, J.F., Martin. T.P., Pilsworth, B.W.: Applications of fuzzy computation: Knowledge based systems: Knowledge representation. In: Ruspini, E.H., Bonnissone, P., Pedrycz, W. (eds.) Handbook of Fuzzy Computing. IOP Publishing (1998)
11. Baral, C. Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI). vol. 2923. pp. 21-33. Springer. Heidelberg (2003)
12. Bobillo, F. Delgado, M., Gómez-Romero, J.: A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: Proceedings of the 2th Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006) (November 2006)
13. Bobillo, F. Straccia, U.: A fuzzy description logic with product t-norm. In: Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2007). pp. 652-657. IEEE Computer Society Press. Los Alamitos (2007)
14. Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: 2008 International Conference on Fuzzy Systems (FUZZ 2008). pp. 923-930. IEEE Computer Society Press. Los Alamitos (2008)
15. Bobillo, F. Straccia, U.: Towards a crisp representation of fuzzy description logics under Lukasiewicz semantics. In: An. A., Matwin. S., Raś. Z.W., Ślézak. D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI). vol. 4994. pp. 309-318. Springer. Heidelberg (2008)
16. Bonatti, P., Tettamanzi, A.: Some complexity results on fuzzy description logics. In: Di Gesu, V., Masulli, F., Petrosino, A. (eds.) WILF 2003. LNCS (LNAI). vol. 2955. Springer. Heidelberg (2006)
17. Boole, G.: An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities. Walton and Maberley. London (1854); (reprint: Dover Publications. New York, 1958)
18. Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proceedings of AAAI 1984. 4th Conference of the American Association for Artificial Intelligence. Austin. TX. pp. 34-37 (1984): [a] An extended version appears as [133]
19. Bueno, F. Cabeza,D.,Carro, M., Hermenegildo. M., López- García,P.,Puebla,G.: The Ciao prolog system. Reference manual. Technical Report CLIPS3/97.1. School of Computer Science. Technical University of Madrid (UPM) (1997), http://www.cliplab.org/Software/Ciao/
20. Calmet, Lukasiewicz,T. Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl,V., Niemelä. I. (eds.) ICLP 2007. LNCS. vol. 4670. pp. 428-429. Springer, Heidelberg (2007)
21. Cali, A.,Lukasiewicz, T.,Predoiu, L.,Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representting ontology mappings. In: Hartmann, S., KemIsberner, G. (eds.) FoIKS 2008. LNCS. vol. 4932, pp. 178-198. Springer. Heidelberg (2008)
22. Calmet, J., Lu, J., Rodriguez, M., Schü, J.: Signed formula logic programming: operational semantics and applications. In: Michalewicz. M., Raś, Z.W. (eds.) ISMIS 1996. LNCS. vol. 1079, pp. 202-211. Springer, Berlin ( 1996)
23. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati. R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005). AAAI Press, Menlo Park (2005)
24. Cao, T.H.: Annotated fuzzy logic programs. Fuzzy Sets and Systems 113(2), 277-298 (2000)
25. Carlos, C., Guillermo, S., Teresa. A., Lluis, G.: A logic programming framework for possibilistic argumentation with vague knowledge. In: Proceedings of the 20th Annual Conference on Uncertainty in Artificial Intelligence (UAI 2004), Arlington. Virginia, pp. 76-84. AUAI Press (2004)
26. Chang, K.C.-C., won Hwang, S.: Minimal probing: Supporting expensive predicates for top-k queries. In: SIGMOD Conference (2002)
27. Chortaras, A., Stamou, G.B., Stafylopatis, A.: Integrated query answering with weighted fuzzy rules. In: Mellouli. K. (ed.) ECSQARU 2007. LNCS (LNAI). vol. 4724, pp. 767-778. Springer, Heidelberg (2007)
28. da Costa, P.C.G.: Bayesian semantics for the Semantic Web. PhD thesis, George Mason University. Fairfax, VA, USA (2005)
29. da Costa, P.C.G., Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proceedings FOIS 2006. pp. 237-249. IOS Press, Amsterdam (2006)
30. da Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A Bayesian ontology language for the Semantic Web. In: Proceedings URSW 2005, pp. 23-33 (2005)
31. Damásio, C., Medina, J., Ojeda-Aciego. M.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic (to appear 2006)
32. Damásio, C., Medina. M., Ojeda-Aciego. J.: A tabulation procedure for first-order residuated logic programs. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006) (2006)
33. Damásio, C., Medina. M., Ojeda-Aciego. J.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic 7(5), 435-458 (2007)
34. Damásio, C.V., Medina, J., Ojeda Aciego, M.: Sorted multi-adjoint logic programs: Termination results and applications. In: Alferes, J.J., Leite. J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 252-265. Springer. Heidelberg (2004)
35. Damásio, C.V., Medina, J., Ojeda Aciego, M.: A tabulation proof procedure for residuated logic programming. In: Proceedings of the 6th European Conference on Artificial Intelligence (ECAI 2004) (2004)
36. Damásio, C.V., Medina. J., Ojeda Aciego, M.: Termination results for sorted multi-adjoint logic programs. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 1879-1886(2004)
37. Damásio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 241-320. Kluwer Academic Publishers, Dordrecht (1998)
38. Damásio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173. Springer. Heidelberg (2001)
39. Damásio, CV. Pereira. L.M.: Monotonic and residuated logic programs. In: Benferhat. S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 748-759. Springer, Heidelberg (2001)
40. Damásio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. Studia Logica 72(1), 113-138 (2002)
41. Damásio, C.V., Pereira. L.M.: Sorted monotonic logic programs and their embeddings. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004). pp. 807-814 (2004)
42. d' Aquin, M., Lieber, J., Napoli, A.: Towards a semantic portal for oncology using a description logic with fuzzy concrete domains. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, pp. 379-393. Elsevier, Amsterdam (2006)
43. Dazhou Kang, J.L.: Baowen Xu and Y. Li. Reasoning for a fuzzy description logic with comparison expressions. In: Proceeedings of the International Workshop on Description Logics (DL 2006). CEUR (2006)
44. Dekhtyar, A., Dekhtyar, M.I.: Possible worlds semantics for probabilistic logic programs. In: Demoen, B., Lifschitz, V (eds.) ICLP 2004. LNCS. vol. 3132. pp. 137-148. Springer. Heidelberg (2004)
45. Dekhtyar, A., Dekhtyar, M.I.: Revisiting the semantics of interval probabilistic logic programs. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662. pp. 330-342. Springer. Heidelberg (2005)
46. Dekhtyar, A., Dekhtyar, M.I., Subrahmanian, V.S.: Temporal probabilistic logic programs. In: Schreye, D.D. (ed.) Logic Programming: The 1999 International Conference, Las Cruces. New Mexico, USA, November 29 - December 4, 1999, pp. 109-123 (1999)
47. Dekhtyar, A., Subrahmanian, V.: Hybrid probabilistic programs. Journal of Logic Programming 43(3), 187-250 (2000)
48. Dekhtyar, M.I., Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs: Algorithms and complexity. In: Laskey, K.B., Prade, H. (eds.) Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI 1999), January 30, 1999, pp. 160-169. Morgan Kaufmann, San Francisco ( 1999)
49. Denecker. M., Marek, V., Truszczyński, M.: Approximations, stable operators, wellfounded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artifical Intelligence, pp. 127-144. Kluwer Academic Publishers, Dordrecht (2000)
50. Denecker, M., Marek, VW., Truszczyński, M.: Uniform semantic treatment of default and autoepistemic logics. In: Cohn. A., Giunchiglia, F., Selman, B. (eds.) Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 74-84. Morgan Kaufmann. San Francisco (2000)
51. Denecker, M., Marek. V.W., Truszczyński, M.: Ultimate approximations. Technical Report CW 320, Katholieke Iniversiteit Leuven (September 2001)
52. Denecker, M., Marek. V.W., Truszczyński. M.: Ultimate approximations in nonmonotonic knowledge representation systems. In: Fensel, D., Giunchiglia, F., McGuinness. D., Williams. M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 8th International Conference, pp. 177-188. Morgan Kaufmann. San Francisco (2002)
53. Denecker, M., Pelov. N., Bruynooghe, M.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237. Springer, Heidelberg (2001 )
54. Ding, Z., Peng. Y.: A probabilistic extension to ontology language OWL. In: Proceedings of the 37th Hawaii International Conference on Systems Sciences. IEEE. Los Alamitos (2004)
55. Ding, Z., Peng, Y., Pan, R.: BayesOWL: Uncertainty modeling in Semantic Web ontologies. In: Ma, Z. (ed.) Soft Computing in Ontologies and Semantic Web. Studies in Fuzziness and Soft Computing, vol. 204. Springer, Heidelberg (2006)
56. Dubois, D., Foulloy, L., Mauris, G., Prade, H.: Probability-possibility transformations, triangular fuzzy sets, and probabilistic inequalities. Reliable Computing 10(4). 273-297 (2004)
57. Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Proc. of the 8th Int. Conf. on Logic Programming (ICLP 1991), pp. 581-595. MIT Press, Cambridge (1991)
58. Dubois, D., Mengin. J., Prade, H.: Possibilistic uncertainty and fuzzy features in description logic, a preliminary discussion. In: Sanchez, E. (ed.) Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, Amsterdam (2006)
59. Dubois, D., Prade, H.: Possibilistic logic. In: Gabbay, D.M., Hogger, C.J. (eds.) Handbook of Logic in Artificial Intelligence, vol. 3, pp. 439-513. Clarendon Press, Oxford (1986)
60. Dubois, D., Prade, H.: On fuzzy syllogisms. Computational Intelligence 4(2), 171-179 (1988)
61. Dubois, D., Prade. H.: When upper probabilities are possibility measures. Fuzzy Sets and Systems 49, 65-74 (1992)
62. Dubois, D., Prade, H.: Can we enforce full compositionality in uncertainty calculi? In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 1994). pp. 149-154. AAAI Press, Menlo Park (1994)
63. Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence 32(1-4), 35-66 (2001)
64. Dubois, D., Prade. H., Godo, L., de Màntaras, R.L.: Qualitative reasoning with imprecise probabilities. J. Intell. Inf. Syst. 2, 319-363 (1993)
65. Dubois, D., Prade, H., Touscas, J.-M.: Inference with imprecise numerical quantifiers. In: Ras, Z.W., Zemankova, M. (eds.) Intelligent Systems, ch. 3, pp. 53-72. Ellis Horwood (1990)
66. Dürig, M., Studer, T.: Probabilistic ABox reasoning: Preliminary results. In: Proceedings DL 2005. pp. 104-111 (2005)
67. Ebrahim, R.: Fuzzy logic programming. Fuzzy Sets and Systems 117(2), 215-230 (2001)
68. Eiter, T., Ianni, G., Schindlauer. R., Tompits, H.: Nonmonotonic description logic programs: Implementation and experiments. In: Baader, F. Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol. 3452, pp. 511-527. Springer, Heidelberg (2005)
69. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 90-96. Professional Book Center (2005)
70. Eiter, T., Ianni, G., Schindlauer. R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS. vol. 4011, pp. 273-287. Springer, Heidelberg (2006)
71. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press, Menlo Park (2004)
72. Eiter, T., Lukasiewicz. T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley. H. (eds.) RuleML 2004. LNCS, vol. 3323. pp. 81-97. Springer, Heidelberg (2004)
73. Fagin, R.: Combining fuzzy information: an overview. SIGMOD Rec. 31(2), 109-118 (2002)
74. Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87. 78-128 (1990)
75. Fitting, M.: A Kripke-Kleene-semantics for general logic programs. Journal of Logic Programming 2, 295-312 (1985)
76. Fitting, M.: Pseudo-Boolean valued Prolog. Studia Logica XLVII(2), 85-91 (1987)
77. Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91-116 (1991)
78. Fitting, M.C.: The family of stable models. Journal of Logic Programming 17, 197-225 (1993)
79. Fitting, M.C.: Bilattices are nice things. In: Conference on Self-Reference. Copenhagen. Denmark (2002)
80. Fitting, M.C.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 21(3), 25-51 (2002)
81. Frisch, A.M., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell. 69(1-2), 93-122 (1994)
82. Fuhr, N.: Probabilistic Datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science 51(2), 95-110 (2000)
83. Fukushige, Y.: Representing probabilistic knowledge in the Semantic Web. In: Proceedings of the W3C Workshop on Semantic Web for Life Sciences (2004)
84. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365-386 (1991)
85. Ginsberg, M.L.: Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4, 265-316 (1988)
86. Giugno, R., Lukasiewicz. T: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424. pp. 86-97. Springer, Heidelberg (2002)
87. Grosof, B.N., Horrocks, I., Volz. R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the twelfth international conference on World Wide Web. pp. 48-57. ACM Press, New York (2003)
88. Guller, D.: Procedural semantics for fuzzy disjunctive programs. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 247-261. Springer, Heidelberg (2002)
89. Guller, D.: Semantics for fuzzy disjunctive programs with weak similarity. In: Abraham. A., Koppen, M. (eds.) Hybrid Information Systems, Proceedings of First International Workshop on Hybrid Intelligent Systems. Adelaide. Australia, December 11-12, 2001. Advances in Soft Computing, pp. 285-299. Physica-Verlag (2002)
90. Hadjali, A., Kaci. S., Prade, H.: Database preference queries - a possibilistic logic approach with symbolic priorities. In: Hartmann, S., Kern-Isberner. G. (eds.) FoIKS 2008. LNCS. vol. 4932. Springer. Heidelberg (2008)
91. Hähnle, R.: Uniform notation of tableaux rules for multiple-valued logics. In: Proc. International Symposium on Multiple-Valued Logic, Victoria, pp. 238-245. IEEE Press, Los Alamitos (1991)
92. Hähnle, R.: Many-valued logics and mixed integer programming. Annals of Mathematics and Artificial Intelligence 3,4(12), 231-264 (1994)
93. Hähnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)
94. Hailperin, T.: Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications. Associated University Presses, London, UK (1996)
95. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers. Dordrecht (1998)
96. Hájek, P.: Making fuzzy description logics more expressive. Fuzzy Sets and Systems 154(1), 1-15 (2005)
97. Hájek, P.: What does mathematical fuzzy logic offer to description logic. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, ch. 5, pp. 91-100. Elsevier. Amsterdam (2006)
98. Hansen, P., Jaumard, B., Nguetsé. G.-B.D., de Aragão, M.P.: Models and algorithms for probabilistic and Bayesian logic. In: Proceedings IJCAI 1995. pp. 1862-1868. Morgan Kaufmann, San Francisco (1995)
99. Heinsohn, J.: Probabilistic description logics. In: Proceedings UAI1994. pp. 311-318. Morgan Kaufmann, San Francisco (1994)
100. Hinde, C.: Fuzzy prolog. International Journal Man.-Machine Stud. (24), 569-595 (1986)
101. Holi, M., Hyvönen, E.: A method for modeling uncertainty in Semantic Web taxonomies. In: Proceedings WWW 2004, pp. 296-297. ACM Press, New York (2004)
102. Holi, M., Hyvönen, E.: Modeling degrees of conceptual overlap in Semantic Web ontologies. In: Proceedings URSW 2005, pp. 98-99 (2005)
103. Hölldobler, S., Khang, T.D., Störr. H.-P.: A fuzzy description logic with hedges as concept modifiers. In: Phuong. N.H., Nguyen. H.T., Ho. N.C., Santiprabhob, P. (eds.) Proceedings InTech/VJFuzzy'. Hanoi. Vietnam. Institute of Information Technology. Vietnam Center for Natural Science and Technology. Science and Technics Publishing House, Hanoi, Vietnam, pp. 25-34 (2002)
104. FII ?In: Proceedings of the International Workshop on Description Logics (DL 2005) (2005)
105. FII with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence (2003)
106. FH- In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004) (2004)
107. Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. International Journal of Approximate Reasoning 12, 85-109 (1995)
108. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) (2005)
109. Hung, E., Deng, Y., Subrahmanian. V.S.: TOSS: An extension of TAX with ontologies and similarity queries. In: Proceedings ACM SIGMOD 2004, pp. 719-730. ACM Press, New York (2004)
110. Ilyas, I.F., Aref, W.G., Elmagarmid, A.K.: Supporting top-k join queries in relational databases. In: Proceedings of 29th International Conference on Very Large Data Bases (VLDB 2003), pp. 754-765 (2003)
111. Ishizuka, M., Kanai, N.: Prolog-ELF: incorporating fuzzy logic. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 1985), Los Angeles, CA, pp. 701-703 (1985)
112. Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings KR 1994, pp. 305-316. Morgan Kaufmann, San Francisco (1994)
113. Jaeger, M.: Probabilistic role models and the guarded fragment. In: Proceedings IPMU-2004, pp. 235-242 (2004); Extended version in International Journal of Uncertainty. Fuzziness and Knowledge-Based Systems 14(1), 43-60 (2006)
114. Jaumard, B., Hansen, P., de Aragão, M.P.: Column generation methods for probabilistic logic. ORSA J. Comput. 3, 135-147 (1991)
115. Kaplunova, A., Möller, R.: Probabilistic LCS in a P-Classic Implementation. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany (2007), http://www.sts.tu-harburg.de/tech- reports/papers.html
116. Kern-Isberner, G., Lukasiewicz, T.: Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence 157(1-2), 139-202 (2004)
117. Kersting. K., Raedt, L.D.: Bayesian logic programs. In: Cussens, J., Frisch. A.M. (eds.) ILP Work-in-progress reports. 10th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings. CEUR-WS.org (2000)
118. Kersting, K., Raedt, L.D.: Bayesian logic programming: Theory and tools. In: Getoor, L., Taskar, B. (eds.) An Introduction to Statistical Relational Learning. MIT Press, Cambridge (2005)
119. Khamsi, M., Misane, D.: Disjunctive signed logic programs. Fundamenta Informaticae 32, 349-357 (1996)
120. Khamsi,M., Misane, D.: Fixed point theorems in logic programming. Annals of Mathematics and Artificial Intelligence 21, 231-243 (1997)
121. Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Gyssens, M., Van Gucht, D., Paredaens, J. (eds.) ICDT 1988. LNCS, vol. 326, pp. 102-117. Springer, Heidelberg (1988)
122. Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335-367 (1992)
123. Klawonn, F., Kruse, R.: A Łukasiewicz logic based Prolog. Mathware & Soft Computing 1(1), 5-29 (1994)
124. Klir, G.J., Yuan, B.: Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Inc., Upper Saddle River (1995)
125. Koller, D., Levy, A., Pfeffer, A.: P-Classic: A tractable probabilistic description logic. In: Proceedings AAAI 1997, pp. 390-397. AAAI Press/MIT Press (1997)
126. Kulmann, P., Sandri, S.: An annotaded logic theorem prover for an extended possibilistic logic. Fuzzy Sets and Systems 144, 67-91 (2004)
127. Lakshmanan, L.: An epistemic foundation for logic programming with uncertainty. In: Thiagarajan, P.S. (ed.) FSTTCS 1994. LNCS, vol. 880, pp. 89-100. Springer, Heidelberg (1994)
128. Lakshmanan, L.V., Sadri, F.: Uncertain deductive databases: a hybrid approach. Information Systems 22(8), 483-508 (1997)
129. Lakshmanan, L.V., Shiri, N.: Probabilistic deductive databases. In: Int'l Logic Programming Symposium, pp. 254-268 (1994)
130. Lakshmanan, L.V., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering 13(4), 554-570 (2001)
131. Lakshmanan, L.V.S., Sadri, F.: On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming 1(1), 5-42 (2001)
132. Lehmann, D.: Another perspective on default reasoning. Ann. Math. Artif. Intell. 15(1), 61-82 (1995)
133. Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence 3, 78-93 (1987)
134. Levy, A.Y., Rousset, M.-C.: Combining horn rules and description logics in CARIN. Artificial Intelligence 104, 165-209 (1998)
135. Li, C., Chang, K.C.-C., Ilyas, I.F., Song, S.: RankSQL: query algebra and optimization for relational top-k queries. In: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), pp. 131-142. ACM Press, New York (2005)
136. Li, R., Wen, K., Lu, Z., Sun, X., Wang, Z.: An improved semantic search model based on hybrid fuzzy description logic. In: Workshop on Frontier of Computer Science and Technology (FCST 2006), pp. 139-146. IEEE Press, Los Alamitos (2006)
137. Li, Y., Xu, B., Lu, J., Kang, D., Wang, P.: Extended fuzzy description logic ALCN. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3684, pp. 896902. Springer, Heidelberg (2005)
138. Li, Y., Xu, B., Lu, J., Kang, D.,Wang, P.: A family of extended fuzzy description logics. In: 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), pp. 221-226. IEEE Computer Society Press, Los Alamitos (2005)
139. Liau, C.-J., Yao, Y.Y.: Information retrieval by possibilistic reasoning. In: Mayr, H.C., Lazanský, J., Quirchmayr, G., Vogel, P. (eds.) DEXA 2001. LNCS, vol. 2113, pp. 52-61. Springer, Heidelberg (2001)
140. Liu, O., Tian, Q., Ma, J.: A fuzzy description logic approach to model management in R&D project selection. In: Proceedings of the 8th Pacific Asia Conference on Information Systems (PACIS 2004) (2004)
141. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
142. Loyer, Y., Straccia, U.: Uncertainty and partial non-uniform assumptions in parametric deductive databases. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 271-282. Springer, Heidelberg (2002)
143. Loyer, Y., Straccia, U.: The well-founded semantics in normal logic programs with uncertainty. In: Hu, Z., Rodr?́guez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 152-166. Springer, Heidelberg (2002)
144. Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 541-550. Springer, Heidelberg (2003)
145. Loyer, Y., Straccia, U.: Default knowledge in logic programs with uncertainty. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 466-480. Springer, Heidelberg (2003)
146. Loyer, Y., Straccia, U.: Epistemic foundation of the well-founded semantics over bilattices. In: Fiala, J., Koubek, V., Kratochv'?l, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 513-524. Springer, Heidelberg (2004)
147. Loyer, Y., Straccia, U.: Any-world assumptions in logic programming. Theoretical Computer Science 342(2-3), 351-381 (2005)
148. Loyer, Y., Straccia, U.: Epistemic foundation of stable model semantics. Journal of Theory and Practice of Logic Programming 6, 355-393 (2006)
149. Lu, J., Li, Y., Zhou, B., Kang, D., Zhang, Y.: Distributed reasoning with fuzzy description logics. In: 7th International International Conference on Computational Science, pp. 196-203 (2007)
150. Lu, J.J.: Logic programming with signs and annotations. Journal of Logic and Computation 6(6), 755-778 (1996)
151. Lu, J.J., Calmet, J., Schü, J.: Computing multiple-valued logic programs. Mathware % Soft Computing 2(4), 129-153 (1997)
152. Lukasiewicz, T.: Many-valued first-order logics with probabilistic semantics. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol. 1584, pp. 415-429. Springer, Heidelberg (1999)
153. Lukasiewicz, T.: Probabilistic logic programming. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998), Brighton, England, August 1998, pp. 388-392 (1998) 154. Lukasiewicz, T.: Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Int. J. Approx. Reasoning 21(1), 23-61 (1999) 155. Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 277-289. Springer, Heidelberg (1999)
154. Lukasiewicz, T.: Probabilistic and truth-functional many-valued logic programming. In: The IEEE International Symposium on Multiple-Valued Logic, pp. 236-241 (1999)
155. Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res. 10, 199-241 (1999)
156. Lukasiewicz, T.: Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In: Eiter, T., Faber,W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 336-350. Springer, Heidelberg (2001)
157. Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings UAI 2001, pp. 329-336. Morgan Kaufmann, San Francisco (2001)
158. Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI 2001), pp. 329-336. Morgan Kaufmann Publishers Inc., San Francisco (2001)
159. Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Log. 2(3), 289-339 (2001)
160. Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Transactions on Computational Logic 2(3), 289-339 (2001)
161. Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1-3). 35-88 (2002)
162. Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571. Springer, Heidelberg (2005)
163. Lukasiewicz, T.: Weak nonmonotonic probabilistic logics. Artif. Intell. 168(1-2), 119-161 (2005)
164. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semanticweb. In: Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), pp. 89-96. IEEE Computer Society Press. Los Alamitos (2006)
165. Lukasiewicz, T.: Probabilistic description logics for the Semantic Web. Technical Report INFSYS RR-1843-06-04, Institut für Informationssysteme, Technische Universität Wien (submitted for journal publication) (June 2006)
166. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi. E., Kifer, M.. May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384-398. Springer, Heidelberg (2007)
167. Lukasiewicz, T.: Probabilistic description logic programs. International Journal of Approximate Reasoning 42(2), 288-307 (2007)
168. Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772. pp. 143-156. Springer, Heidelberg (2007)
169. Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence 172(6-7), 852-883 (2008)
170. Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 187-198. Springer, Heidelberg (2007)
171. Lukasiewicz. T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer semantics for the semantic web. In: Marchiori, M.. Pan, J.Z. (eds.) RR 2007. LNCS, vol. 4524, pp. 289-298. Springer, Heidelberg (2007)
172. Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the semantic web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16-30. Springer, Heidelberg (2007)
173. Lukasiewicz, T. Straccia, U.: Uncertainty and vagueness in description logic programs for the semantic web. INFSYS Research Report 1843-07-02, Institut für Informationssysteme. Arbeitsbereich wissensbasierte Systeme, Technische Universität Wien (2007)
174. Lutz, C.: Description logics with concrete domains - a survey. In: Advances in Modal Logics, vol. 4, King's College Publications (2003)
175. Magrez, P., Smets. P.: Fuzzy modus ponens: a new model suitable for applications in knowledge-based systems. International Journal of Intelligent Systems 4, 181-200 (1989)
176. Mailis, T.P., Stoilos, G., Stamou, G.B.: Expressive reasoning with horn rules and fuzzy description logics. In: Marchiori, M., Pan, J.Z., d Marie, CS. (eds.) RR 2007. LNCS, vol. 4524, pp. 43-57. Springer. Heidelberg (2007)
177. Majkic, Z.: Coalgebraic semantics for logic programs. In: 18th Workshop on (Constraint) Logic Programming (W(C)LP 2005), Ulm, Germany (2004)
178. Majkic, Z.: Many-valued intuitionistic implication and inference closure in a bilattice-based logic. In: 35th International Symposium on Multiple-Valued Logic (ISMVL 2005), pp. 214-220 (2005)
179. Majkic. Z.: Truth and knowledge fixpoint semantics for many-valued logic programming. In: 19th Workshop on (Constraint) Logic Programming (W(C)LP 2005), Ulm. Germany, pp. 76-87(2005)
180. Mantay, T., Möller. R.. Kaplunova. A.: Computing Probabilistic Least Common Subsumers in Description Logics. In: Burgard, W., Christaller. T., Cremers. A.B. (eds.) KI1999. LNCS (LNAI). vol. 1701. pp. 89-100. Springer. Heidelberg (1999)
181. Marek. V.W.. Truszczyński. M.: Logic programming with costs. Technical report. University of Kentucky (2000). ftp://al.cs.engr.uky.edu/cs/ manuscripts/Ip-costs.ps
182. Martin. T.P.: Soft computing, logic programming and the semantic web. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004). pp. 815-822 (2004)
183. Martin. T.P.. Baldwin. J.E. Pilsworth. B.W.: The implementation of FProlog -a fuzzy prolog interpreter. Fuzzy Sets Syst. 23(1). 119-129 (1987)
184. Mateis. C.: Extending Disjunctive Logic Programming by t-norms. In: Gelfond. M., Leone. N., Pfeifer. G. (eds.) LPNMR 1999. LNCS (LNAI). vol. 1730. pp. 290-304. Springer. Heidelberg (1999)
185. Mateis. C.: Quantitative disjunctive logic programming: Semantics and computation. AI Communications 13, 225-248 (2000)
186. Medina. J.. Ojeda-Aciego. M.: Multi-adjoint logic programming. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004). pp. 823-830 (2004)
187. Medina. J.. Ojeda-Aciego. M.. Vojtáś. P.: Multi-adjoint Logic Programming with Continuous Semantics. In: Eiter. T.. Faber. W.. Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI). vol. 2173. pp. 351-364. Springer. Heidelberg (2001)
188. Medina. J.. Ojeda-Aciego. M.. Vojtáś. P.: A procedural semantics for multi-adjoint logic programming. In: Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence. Knowledge Extraction. Multi-agent Systems. Logic Programming and Constraint Solving, pp. 290-297. Springer. Heidelberg (2001)
189. Medina. J.. Ojeda-Aciego. M.. Vojtáš. P.: Similarity-based unification: a multi-adjoint approach. Fuzzy sets and systems 1(146). 43-62 (2004)
190. Meghini. C. Sebastiani, F.. Straccia. U.: A model of multimedia information retrieval. Journal of the ACM 48(5). 909-970 (2001)
191. Meghini. C. Sebastiani, E. Straccia. U., Thanos. C.: A model of information retrieval based on a terminological logic. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (ACM SIGIR 1993). Pittsburgh. USA. pp. 298-307 (1993)
192. Mitra, P., Noy. N.F., Jaiswal. A.: OMEN: A probabilistic ontology mapping tool. In: Gil. Y. Motta, E., Benjamins. V.R.. Musen. M.A. (eds.) ISWC 2005. LNCS. vol. 3729. pp. 537-547. Springer, Heidelberg (2005)
193. Motik. B.. Horrocks, I.. Rosati. R.. Sattler. U.: Can OWL and Logic Programming Live Together Happily Ever After? In: Cruz. I.. Decker. S.. Allemang. D.. Preist, C. Schwabe, D.. Mika, P.. Uschold. M.. Aroyo. L.M. (eds.) ISWC 2006. LNCS. vol. 4273, pp. 501-514. Springer. Heidelberg (2006)
194. Motik. B.. Rosati. R.: A Faithful Integration of Description Logics with Logic Programming. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007). Morgan Kaufmann Publishers. San Francisco (2007)
195. Muggleton. S.: Stochastic logic programs. In: De Raedt. L. (ed.) Proceedings of the 5th International Workshop on Inductive Logic Programming, p. 29. Department of Computer Science, Katholieke Universiteit Leuven (1995)
196. Mukaidono, M.: Foundations of fuzzy logic programming. In: Advances in Fuzzy Systems - Application and Theory, vol. 1. World Scientific, Singapore (1996)
197. Mukaidono, M., Shen, Z., Ding, L.: Fundamentals of fuzzy prolog. Int. J. Approx. Reasoning 3(2), 179-193, (1989)
198. Naeth, T.H.: Analysis of the average-case behavior of an inference algorithm for probabilistic description logics. Diplomarbeit, TU Hamburg-Harburg, Germany, (February 2007)
199. Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation 101(2), 150-201, (1993)
200. Ng. R., Subrahmanian, V.: Stable model semantics for probabilistic deductive databases. Information and Computation 110(1), 42-83, (1994)
201. Ngo. L.: Probabilistic disjunctive logic programming. In: Uncertainty in Artificial Intelligence: Proceedings of the Twelfeth Conference (UAI 1996), pp. 397-404. Morgan Kaufmann, San Francisco (1996)
202. Ngo, L., Haddawy, P.: Probabilistic logic programming and bayesian networks. In: Kanchanasut, K., Levy, J.-J. (eds.) ACSC 1995. LNCS, vol. 1023, pp. 286-300. Springer, Heidelberg (1995)
203. Ngo, L., Haddawy. P.: Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science 171(1-2), 147-177 (1997)
204. Nicolas, P., Garcia. L.. Stephan, I.: Possibilistic stable models. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 248-253. Morgan Kaufmann, San Francisco (2005)
205. Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71-88 (1986)
206. Nottelmann. H., Fuhr, N.: Adding probabilities and rules to OWL Lite subsets based on probabilistic Datalog. International Journal of Uncertainty. Fuzziness and Knowledge-Based Systems 14(1), 17-42 (2006)
207. Novák, V.: Which logic is the real fuzzy logic? Fuzzy Sets and Systems, 635-641 (2005)
208. Pan, J.Z., Stamou, G., Stoilos, G., Thomas, E.: Expressive querying over fuzzy dl-lite ontologies. In: 20th International Workshop on Description Logics, Brixen-Bressanone, Italy (2007)
209. Pan. J.Z., Stamou, G., Stoilos, G., Thomas, E., Taylor, S.: Scalable querying service over fuzzy ontologies. In: International World Wide Web Conference (WWW 2008), Beijing (2008)
210. Pan, R., Ding, Z., Yu. Y., Peng, Y.: A Bayesian network approach to ontology mapping. In: Gil, Y., Motta, E., Benjamins. V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729. pp. 563-577. Springer, Heidelberg (2005)
211. Paulik, L.: Best possible answer is computable for fuzzy sld-resolution. In: Hajék, P. (ed.) Gödel 1996: Logical Foundations of Mathematics. Computer Science, and Physics. Lecture Notes in Logic, vol. 6, pp. 257-266. Springer, Heidelberg (1996)
212. Pool, M.. Aikin, J.: KEEPER and Protégé: An elicitation environment for Bayesian inference tools. In: Proceedings of the Workshop on Protégé and Reasoning held at the 7th International Protégé Conference (2004)
213. Poole, D.: Probabilistic horn abduction and bayesian networks. Artificial Intelligence 64(1), 81-129 (1993)
214. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence 94(1-2), 7-56 (1997)
215. 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)
216. 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, Springer, Heidelberg (2007)
217. Qi, G., Pan, J.Z.. Ji. Q.: A possibilistic extension of description logics. In: Proceedings DL 2007 (2007)
218. Ragone, A.. Straccia, U., Bobillo, F.. Noia. T.D., Sciascio, E.D.: Fuzzy description logics for bilateral matchmaking in e-marketplaces. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008) (2008)
219. Ragone. A.. Straccia, U., Noia, T.D., Sciascio, E.D., Donini, F.M.: Vague knowledge bases for matchmaking in p2p e-marketplaces. In: Franconi, E., Kifer. M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519. pp. 414-428. Springer. Heidelberg (2007)
220. Rhodes, P.C., Menani. S.M.: Towards a fuzzy logic programming system: a clausal form fuzzy logic. Knowledge-Based Systems 8(4), 174-182 (1995)
221. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3(1), 61-73, (2005)
222. Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). pp. 68-78. AAAI Press, Menlo Park (2006)
223. Rosati, R.: On the decidability and finite controllability of query processing in databases with incomplete information. In: PODS 2006: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 356-365. ACM Press, New York (2006)
224. Rounds, W.C. Zhang. G.-Q.: Clausal logic and logic programming in algebraic domains. Information and Computation 171, 183-200 (2001)
225. Sanchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logics. In: Proceedings 8th Fuzzy Days in Dortmund, (2004)
226. Sanchez. D., Tettamanzi, A.G.: Reasoning and quantification in fuzzy description logics. In: Bloch, I., Petrosino, A.. Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol. 3849, pp. 81-88. Springer, Heidelberg (2006)
227. Sanchez, D.. Tettamanzi, A.G.: Fuzzy quantification in fuzzy description logics. In: Sanchez, E. (ed.) Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, Amsterdam (2006)
228. Schmidt-Schauß, M.. Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1-26 (1991)
229. Schroeder, M., Schweimeier. R.: Fuzzy argumentation and extended logic programming. In: Proceedings of ECSQARU Workshop Adventures in Argumentation (2001)
230. Schroeder, M., Schweimeier, R.: Arguments and misunderstandings: Fuzzy unification for negotiating agents. In: Proceedings of the ICLP workshop CLIMA 2002. Elsevier, Amsterdam (2002)
231. Schroeder. M., Schweimeier, R.: Fuzzy unification and argumentation for well-founded semantics. In: Van Emde Boas. P.. Pokorny, J.. Bieliková. M.. Štuller. J. (eds.) SOFSEM 2004. LNCS, vol. 2932, pp. 102-121. Springer, Heidelberg (2004)
232. Seipel, D., Minker, J., Ruiz, C.: Model generation and state generation for disjunctive logic programs. Journal of Logic Programming 32(1), 49-69 (1997)
233. Sessa, M.I.: Approximate reasoning by similarity-based sld resolution. Theoretical Computer Science 275, 389-426 (2002)
234. Shapiro, E.Y: Logic programs with uncertainties: A tool for implementing rule-based systems. In: Proceedings of the 8th International Joint Conference on Artificial Intelligence (UCAI 1983), pp. 529-532 (1983)
235. Shen, Z., Ding, L.. Mukaidono. M.: A Theoretical Framework of Fuzzy Prolog Machine. In: Fuzzy Computing, pp. 89-100. Elsevier Science Publishers B.V. Amsterdam (1988)
236. Stoilos, G.. Stamou, G.. Pan. J.: D2.5.6: Fuzzy reasoning extensions. Knowledge Web Technical Report (2007)
237. Stoilos, G., Stamou, G., Pan. J.. Tzouvaras, V. Horrocks, I.: The fuzzy description logic f-SHIN. In: International Workshop on Uncertainty Reasoning For the Semantic (Web 2005) (2005)
238. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrock, I.: A Fuzzy Description Logic for Multimedia Knowledge Representation. In: Proc. of the International Workshop on Multimedia and the Semantic Web (2005)
239. Stoilos, G., Stamou. G.B., Pan, J.Z., Tzouvaras, V., Horrocks. I.: Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30, 273-320 (2007)
240. Stoilos, G., Straccia, U., Stamou, G.. Pan, J.: General concept inclusions in fuzzy description logics. In: Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI 2006), pp. 457-461. IOS Press, Amsterdam (2006)
241. Straccia, U.: A fuzzy description logic. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI 1998). pp. 594-599. AAAI Press, Menlo Park (1998)
242. Straccia, U.: A framework for the retrieval of multimedia objects based on four-valued fuzzy description logics. In: Crestani, F., Pasi, G. (eds.) Soft Computing in Information Retrieval: Techniques and Applications, pp. 332-357. Springer, Heidelberg (2000)
243. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14. 137-166 (2001)
244. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes. J.J.. Leite. J.A. (eds.) JELIA 2004. LNCS (LNAI). vol. 3229, pp. 385-399. Springer, Heidelberg (2004)
245. Straccia, U.: Uncertainty in description logics: a lattice-based approach. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004). pp. 251-258 (2004)
246. Straccia, U.: Description logics with fuzzy concrete domains. In: Bachus, F., Jaakkola, T. (eds.) 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005), Edinburgh. Scotland, pp. 559-567. AUAI Press (2005)
247. Straccia. U.: Fuzzy alc with fuzzy concrete domains. In: Proceeedings of the International Workshop on Description Logics (DL 2005), Edinburgh, Scotland, pp. 96-103 (2005)
248. Straccia, U.: Query answering in normal logic programs under uncertainty. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571. pp. 687-700. Springer, Heidelberg (2005)
249. Straccia. U.: Towards a fuzzy description logic for the semantic web (preliminary report). In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532. pp. 167-181. Springer, Heidelberg (2005)
250. Straccia. U.: Uncertainty management in logic programming: Simple and effective top-down query answering. In: Khosla. R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3682, pp. 753-760. Springer, Heidelberg (2005)
251. Straccia. U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 1212-1219. E.D.K, Paris (2006)
252. Straccia, U.: Answering vague queries in fuzzy dl-lite. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 2238-2245. E.D.K., Paris (2006)
253. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1-16 (2006)
254. Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 4. pp. 73-90. Elsevier, Amsterdam (2006)
255. Straccia, U.: Fuzzy description logic programs. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 1818-1825. E.D.K., Paris (2006)
256. Straccia, U.: Query answering under the any-world assumption for normal logic programs. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation (KR 2006), pp. 329-339. AAAI Press. Menlo Park (2006)
257. Straccia, U.: Towards top-k query answering in deductive databases. In: Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC 2006), pp. 4873-4879. IEEE, Los Alamitos (2006)
258. Straccia, U.: Towards top-k query answering in description logics: the case of DL-Lite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439-451. Springer, Heidelberg (2006)
259. Straccia, U.: Uncertainty and description logic programs over lattices. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 7, pp. 115-133. Elsevier, Amsterdam (2006)
260. Straccia, U.: Reasoning in ł-SHIF: an expressive fuzzy description logic under lukasiewicz semantics. Technical Report TR-2007-10-18, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy (2007)
261. Straccia, U.: A top-down query answering procedure for normal logic programs under the any-world assumption. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724. pp. 115-127. Springer. Heidelberg (2007)
262. Straccia. U.: Towards vague query answering in logic programming for logic-based information retrieval. In: Melin. P., Castillo, O., Aguilar, L.T., Kacprzyk, J., Pedrycz, W. (eds.) IFSA 2007. LNCS (LNAI), vol. 4529, pp. 125-134. Springer, Heidelberg (2007)
263. Straccia. U., Bobillo. F.: Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware & Soft Computing 14(3). 247-259 (2007)
264. Straccia, U., Visco. G.: DLMedia: an ontology mediated multimedia information retrieval system. In: Proceeedings of the International Workshop on Description Logics (DL 2007), Insbruck, Austria, vol. 250. CEUR (2007)
265. Subramanian, V.: On the semantics of quantitative logic programs. In: Proc. 4th IEEE Symp. on Logic Programming, pp. 173-182. IEEE Computer Society Press, Los Alamitos (1987)
266. Thomas, C. Sheth, A.: On the expressiveness of the languages for the Semantic Web - Making a case for "A little more". In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, pp. 3-20. Elsevier, Amsterdam (2006)
267. Tresp, C. Molitor, R.: A description logic for vague knowledge. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998), Brighton, England (August 1998)
268. Turner. H.: Signed logic programs. In: Bruynooghe, M. (ed.) Logic Programming: Proc. of the 1994 International Symposium, pp. 61-75. MIT Press. Cambridge (1994)
269. Udrea, O., Deng, Y., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS. vol. 3760. pp. 1-17. Springer, Heidelberg (2005)
270. Udrea, O., Subrahmanian, VS., Majkic, Z.: Probabilistic rdf. In: Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI 2006: Heuristic Systems Engineering, pp. 172-177. IEEE Systems, Los Alamitos (2006)
271. van Emden. M.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming 4(1). 37-53 (1986)
272. Venetis, T., Stoilos, G.. Stamou, G.. Kollias, S.: f-dlps: Extending description logic programs with fuzzy sets and fuzzy logic. In: IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2007), London (2007)
273. Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B.. Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431-445. Springer, Heidelberg (2004)
274. Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361-370 (2001)
275. Vojtáš, P., Paulik, L.: Soundness and completeness of non-classical extended SLDresolution. In: Herre. H.. Dyckhoff, R., Schroeder-Heister. P. (eds.) ELP 1996. LNCS. vol. 1050, pp. 289-301. Springer, Heidelberg (1996)
276. Vojtáš, P., Vomelelová, M.: Transformation of deductive and inductive tasks between models of logic programming with imperfect information. In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 839-846 (2004)
277. Wagner, G.: Negation in fuzzy and possibilistic logic programs. In: Martin, T., Arcelli, F. (eds.) Logic programming and Soft Computing. Research Studies Press (1998)
278. Weikum. G.. Graupmann, J., Schenkel, R., Theobald, M.: Towards a statistically Semantic Web. In: Atzeni, P., Chu. W., Lu. H., Zhou, S.. Ling, T-W. (eds.) ER 2004. LNCS. vol. 3288, pp. 3-17. Springer, Heidelberg (2004)
279. Wüttrich, B.: Probabilistic knowledge bases. IEEE Transactions on Knowledge and Data Engineering 7(5). 691-698 (1995)
280. Yang, Y. Calmet, J.: OntoBayes: An ontology-driven uncertainty model. In: Proceedings IAWTIC 2005, pp. 457-463. IEEE Press, Los Alamitos (2005)
281. Li. J.L.Y., Xu. B., Kang, D.: Discrete tableau algorithms for shi. In: Proceeedings of the International Workshop on Description Logics (DL 2006). CEUR (2006)
282. Yasui. H., Hamada. Y., Mukaidono, M.: Fuzzy prolog based on lukasiewicz implication and bounded product. IEEE Trans. Fuzzy Systems 2, 949-954 (1995)
283. Yelland, P.M.: An alternative combination of Bayesian networks and description logics. In: Proceedings KR 2000, pp. 225-234. Morgan Kaufmann. San Francisco (2000)
284. Yen, J.: Generalizing term subsumption languages to fuzzy logic. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sydney. Australia, pp. 472-477 (1991)
285. Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338-353 (1965)
286. Zhang, L.. Yu, Y., Zhou, J.. Lin, C., Yang. Y.: An enhanced model for searching in semantic portals. In: WWW 2005: Proceedings of the 14th international conference on World Wide Web. pp. 453-462. ACM Press, New York (2005)