{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T18:50:08Z","timestamp":1770576608490,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":289,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540856566","type":"print"},{"value":"9783540856580","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85658-0_2","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T10:00:43Z","timestamp":1220090443000},"page":"54-103","source":"Crossref","is-referenced-by-count":36,"title":["Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs"],"prefix":"10.1007","author":[{"given":"Umberto","family":"Straccia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"405","volume-title":"CEC 2005: Proceedings of the Seventh IEEE International Conference on E-Commerce Technology (CEC 2005)","author":"S. Agarwal","year":"2005","unstructured":"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\u2013408. IEEE Computer Society Press, Washington (2005)"},{"issue":"9","key":"2_CR2","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1002\/int.10069","volume":"17","author":"T. Alsinet","year":"2002","unstructured":"Alsinet, T., Godo, L.: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. International Journal of Intelligent Systems\u00a017(9), 887\u2013924 (2002)","journal-title":"International Journal of Intelligent Systems"},{"key":"2_CR3","unstructured":"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)"},{"key":"2_CR4","first-page":"1","volume-title":"Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence (UAI 2000)","author":"T. Alsinet","year":"2000","unstructured":"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\u201310. Morgan Kaufmann, San Francisco (2000)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/B978-1-55860-203-8.50007-3","volume-title":"Proceedings UAI 1991","author":"S. Amarger","year":"1991","unstructured":"Amarger, S., Dubois, D., Prade, H.: Constraint propagation with imprecise conditional probabilities. In: Proceedings UAI 1991, pp. 26\u201334. Morgan Kaufmann, San Francisco (1991)"},{"key":"2_CR6","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"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)"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J.F. Baldwin","year":"1987","unstructured":"Baldwin, J.F.: Evidential support of logic programming. Fuzzy Sets and Systems\u00a024(1), 1\u201326 (1987)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-58279-7_16","volume-title":"Fuzzy Logic and Fuzzy Control","author":"J.F. Baldwin","year":"1994","unstructured":"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.\u00a0833, pp. 22\u201334. Springer, Heidelberg (1994)"},{"key":"2_CR9","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Research Studies Press Ltd (1995)"},{"key":"2_CR10","unstructured":"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)"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-24609-1_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2003","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 21\u201333. Springer, Heidelberg (2003)"},{"key":"2_CR12","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: A crisp representation for fuzzy $\\cal 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)"},{"key":"2_CR13","first-page":"652","volume-title":"Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2007)","author":"F. Bobillo","year":"2007","unstructured":"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\u2013657. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"2_CR14","first-page":"923","volume-title":"2008 International Conference on Fuzzy Systems (FUZZ 2008)","author":"F. Bobillo","year":"2008","unstructured":"Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: 2008 International Conference on Fuzzy Systems (FUZZ 2008), pp. 923\u2013930. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"2_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-68123-6_34","volume-title":"Foundations of Intelligent Systems","author":"F. Bobillo","year":"2008","unstructured":"Bobillo, F., Straccia, U.: Towards a crisp representation of fuzzy description logics under \u0141ukasiewicz semantics. In: An, A., Matwin, S., Ra\u015b, Z.W., \u015al\u0119zak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol.\u00a04994, pp. 309\u2013318. Springer, Heidelberg (2008)"},{"key":"2_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/10983652_3","volume-title":"Fuzzy Logic and Applications","author":"P. Bonatti","year":"2006","unstructured":"Bonatti, P., Tettamanzi, A.: Some complexity results on fuzzy description logics. In: Di Ges\u00fa, V., Masulli, F., Petrosino, A. (eds.) WILF 2003. LNCS (LNAI), vol.\u00a02955. Springer, Heidelberg (2006)"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.5962\/bhl.title.29413","volume-title":"An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities","author":"G. Boole","year":"1854","unstructured":"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)"},{"key":"2_CR18","unstructured":"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\u201337 (1984); [a] An extended version appears as [133]"},{"key":"2_CR19","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, 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\/"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-74610-2_30","volume-title":"Logic Programming","author":"A. Cal\u00ec","year":"2007","unstructured":"Cal\u00ec, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 428\u2013429. Springer, Heidelberg (2007)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-77684-0_14","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Cal\u00ec","year":"2008","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representting ontology mappings. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 178\u2013198. Springer, Heidelberg (2008)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-61286-6_145","volume-title":"Foundations of Intelligent Systems","author":"J. Calmet","year":"1996","unstructured":"Calmet, J., Lu, J., Rodriguez, M., Sch\u00fc, J.: Signed formula logic programming: operational semantics and applications. In: Michalewicz, M., Ra\u015b, Z.W. (eds.) ISMIS 1996. LNCS, vol.\u00a01079, pp. 202\u2013211. Springer, Berlin (1996)"},{"key":"2_CR23","volume-title":"Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005)","author":"D. Calvanese","year":"2005","unstructured":"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)"},{"issue":"2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0165-0114(98)00083-9","volume":"113","author":"T.H. Cao","year":"2000","unstructured":"Cao, T.H.: Annotated fuzzy logic programs. Fuzzy Sets and Systems\u00a0113(2), 277\u2013298 (2000)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR25","unstructured":"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\u201384. AUAI Press (2004)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Chang, K.C.-C., won Hwang, S.: Minimal probing: Supporting expensive predicates for top-k queries. In: SIGMOD Conference (2002)","DOI":"10.1145\/564728.564731"},{"key":"2_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1007\/978-3-540-75256-1_67","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A. Chortaras","year":"2007","unstructured":"Chortaras, A., Stamou, G.B., Stafylopatis, A.: Integrated query answering with weighted fuzzy rules. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 767\u2013778. Springer, Heidelberg (2007)"},{"key":"2_CR28","unstructured":"da Costa, P.C.G.: Bayesian semantics for the Semantic Web. PhD thesis, George Mason University, Fairfax, VA, USA (2005)"},{"key":"2_CR29","first-page":"237","volume-title":"Proceedings FOIS 2006","author":"P.C.G. Costa da","year":"2006","unstructured":"da Costa, P.C.G., Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proceedings FOIS 2006, pp. 237\u2013249. IOS Press, Amsterdam (2006)"},{"key":"2_CR30","unstructured":"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\u201333 (2005)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Medina, J., Ojeda-Aciego, M.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic (to appear 2006)","DOI":"10.1016\/j.jal.2006.03.004"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, 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)","DOI":"10.1109\/FUZZY.2006.1681978"},{"issue":"5","key":"2_CR33","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/j.jal.2006.03.004","volume":"7","author":"C. Dam\u00e1sio","year":"2007","unstructured":"Dam\u00e1sio, C., Medina, M., Ojeda-Aciego, J.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic\u00a07(5), 435\u2013458 (2007)","journal-title":"Journal of Applied Logic"},{"key":"2_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-30227-8_23","volume-title":"Logics in Artificial Intelligence","author":"C.V. Dam\u00e1sio","year":"2004","unstructured":"Dam\u00e1sio, 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.\u00a03229, pp. 252\u2013265. Springer, Heidelberg (2004)"},{"key":"2_CR35","unstructured":"Dam\u00e1sio, 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)"},{"key":"2_CR36","unstructured":"Dam\u00e1sio, 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\u20131886 (2004)"},{"key":"2_CR37","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, 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\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"2_CR38","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173. Springer, Heidelberg (2001)"},{"key":"2_CR39","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-44652-4_66","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 748\u2013759. Springer, Heidelberg (2001)"},{"issue":"1","key":"2_CR40","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1020582126389","volume":"72","author":"C.V. Dam\u00e1sio","year":"2002","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. Studia Logica\u00a072(1), 113\u2013138 (2002)","journal-title":"Studia Logica"},{"key":"2_CR41","unstructured":"Dam\u00e1sio, 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\u2013814 (2004)"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/S1574-9576(06)80021-3","volume-title":"Fuzzy Logic and the Semantic Web","author":"M. d\u2019Aquin","year":"2006","unstructured":"d\u2019Aquin, 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\u2013393. Elsevier, Amsterdam (2006)"},{"key":"2_CR43","unstructured":"Dazhou Kang, J.L.: Baowen\u00a0Xu and Y.\u00a0Li. Reasoning for a fuzzy description logic with comparison expressions. In: Proceeedings of the International Workshop on Description Logics (DL 2006). CEUR (2006)"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27775-0_10","volume-title":"Logic Programming","author":"A. Dekhtyar","year":"2004","unstructured":"Dekhtyar, A., Dekhtyar, M.I.: Possible worlds semantics for probabilistic logic programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 137\u2013148. Springer, Heidelberg (2004)"},{"key":"2_CR45","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/11546207_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A. Dekhtyar","year":"2005","unstructured":"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.\u00a03662, pp. 330\u2013342. Springer, Heidelberg (2005)"},{"key":"2_CR46","unstructured":"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\u2013123 (1999)"},{"issue":"3","key":"2_CR47","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A., Subrahmanian, V.: Hybrid probabilistic programs. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"2_CR48","first-page":"160","volume-title":"Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI 1999)","author":"M.I. Dekhtyar","year":"1999","unstructured":"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\u2013169. Morgan Kaufmann, San Francisco (1999)"},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-1-4615-1567-8_6","volume-title":"Logic-Based Artifical Intelligence","author":"M. Denecker","year":"2000","unstructured":"Denecker, M., Marek, V., Truszczy\u0144ski, M.: Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artifical Intelligence, pp. 127\u2013144. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR50","first-page":"74","volume-title":"Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning","author":"M. Denecker","year":"2000","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, 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\u201384. Morgan Kaufmann, San Francisco (2000)"},{"key":"2_CR51","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, M.: Ultimate approximations. Technical Report CW 320, Katholieke Iniversiteit Leuven (September 2001)"},{"key":"2_CR52","first-page":"177","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 8th International Conference","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, 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\u2013188. Morgan Kaufmann, San Francisco (2002)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"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.\u00a02237. Springer, Heidelberg (2001)"},{"key":"2_CR54","volume-title":"Proceedings of the 37th Hawaii International Conference on Systems Sciences","author":"Z. Ding","year":"2004","unstructured":"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)"},{"key":"2_CR55","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33473-6_1","volume-title":"Soft Computing in Ontologies and Semantic Web","author":"Z. Ding","year":"2006","unstructured":"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.\u00a0204. Springer, Heidelberg (2006)"},{"issue":"4","key":"2_CR56","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1023\/B:REOM.0000032115.22510.b5","volume":"10","author":"D. Dubois","year":"2004","unstructured":"Dubois, D., Foulloy, L., Mauris, G., Prade, H.: Probability-possibility transformations, triangular fuzzy sets, and probabilistic inequalities. Reliable Computing\u00a010(4), 273\u2013297 (2004)","journal-title":"Reliable Computing"},{"key":"2_CR57","first-page":"581","volume-title":"Proc. of the 8th Int. Conf. on Logic Programming (ICLP 1991)","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Proc. of the 8th Int. Conf. on Logic Programming (ICLP 1991), pp. 581\u2013595. MIT Press, Cambridge (1991)"},{"key":"2_CR58","volume-title":"Capturing Intelligence: Fuzzy Logic and the Semantic Web","author":"D. Dubois","year":"2006","unstructured":"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)"},{"key":"2_CR59","first-page":"439","volume-title":"Handbook of Logic in Artificial Intelligence","author":"D. Dubois","year":"1986","unstructured":"Dubois, D., Prade, H.: Possibilistic logic. In: Gabbay, D.M., Hogger, C.J. (eds.) Handbook of Logic in Artificial Intelligence, vol.\u00a03, pp. 439\u2013513. Clarendon Press, Oxford (1986)"},{"issue":"2","key":"2_CR60","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1111\/j.1467-8640.1988.tb00120.x","volume":"4","author":"D. Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: On fuzzy syllogisms. Computational Intelligence\u00a04(2), 171\u2013179 (1988)","journal-title":"Computational Intelligence"},{"key":"2_CR61","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0165-0114(92)90110-P","volume":"49","author":"D. Dubois","year":"1992","unstructured":"Dubois, D., Prade, H.: When upper probabilities are possibility measures. Fuzzy Sets and Systems\u00a049, 65\u201374 (1992)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR62","first-page":"149","volume-title":"Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 1994)","author":"D. Dubois","year":"1994","unstructured":"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\u2013154. AAAI Press, Menlo Park (1994)"},{"issue":"1-4","key":"2_CR63","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D. Dubois","year":"2001","unstructured":"Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence\u00a032(1-4), 35\u201366 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR64","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00961659","volume":"2","author":"D. Dubois","year":"1993","unstructured":"Dubois, D., Prade, H., Godo, L., de M\u00e0ntaras, R.L.: Qualitative reasoning with imprecise probabilities. J. Intell. Inf. Syst.\u00a02, 319\u2013363 (1993)","journal-title":"J. Intell. Inf. Syst."},{"key":"2_CR65","unstructured":"Dubois, D., Prade, H., Touscas, J.-M.: Inference with imprecise numerical quantifiers. In: Ras, Z.W., Zemankova, M. (eds.) Intelligent Systems, ch.\u00a03, pp. 53\u201372. Ellis Horwood (1990)"},{"key":"2_CR66","unstructured":"D\u00fcrig, M., Studer, T.: Probabilistic ABox reasoning: Preliminary results. In: Proceedings DL 2005, pp. 104\u2013111 (2005)"},{"issue":"2","key":"2_CR67","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0165-0114(98)00300-5","volume":"117","author":"R. Ebrahim","year":"2001","unstructured":"Ebrahim, R.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0117(2), 215\u2013230 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR68","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/978-3-540-32275-7_34","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Eiter","year":"2005","unstructured":"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.\u00a03452, pp. 511\u2013527. Springer, Heidelberg (2005)"},{"key":"2_CR69","unstructured":"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\u201396. Professional Book Center (2005)"},{"key":"2_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"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.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"2_CR71","volume-title":"Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004)","author":"T. Eiter","year":"2004","unstructured":"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)"},{"key":"2_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"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.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"issue":"2","key":"2_CR73","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/565117.565143","volume":"31","author":"R. Fagin","year":"2002","unstructured":"Fagin, R.: Combining fuzzy information: an overview. SIGMOD Rec.\u00a031(2), 109\u2013118 (2002)","journal-title":"SIGMOD Rec."},{"key":"2_CR74","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput.\u00a087, 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"key":"2_CR75","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene-semantics for general logic programs. Journal of Logic Programming\u00a02, 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"2_CR76","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00370283","volume":"XLVII","author":"M. Fitting","year":"1987","unstructured":"Fitting, M.: Pseudo-Boolean valued Prolog. Studia Logica\u00a0XLVII(2), 85\u201391 (1987)","journal-title":"Studia Logica"},{"key":"2_CR77","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"2_CR78","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M.C. Fitting","year":"1993","unstructured":"Fitting, M.C.: The family of stable models. Journal of Logic Programming\u00a017, 197\u2013225 (1993)","journal-title":"Journal of Logic Programming"},{"key":"2_CR79","unstructured":"Fitting, M.C.: Bilattices are nice things. In: Conference on Self-Reference, Copenhagen, Denmark (2002)"},{"issue":"3","key":"2_CR80","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"21","author":"M.C. Fitting","year":"2002","unstructured":"Fitting, M.C.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science\u00a021(3), 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"2_CR81","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A.M. Frisch","year":"1994","unstructured":"Frisch, A.M., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell.\u00a069(1\u20132), 93\u2013122 (1994)","journal-title":"Artif. Intell."},{"issue":"2","key":"2_CR82","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H","volume":"51","author":"N. Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic Datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science\u00a051(2), 95\u2013110 (2000)","journal-title":"Journal of the American Society for Information Science"},{"key":"2_CR83","unstructured":"Fukushige, Y.: Representing probabilistic knowledge in the Semantic Web. In: Proceedings of the W3C Workshop on Semantic Web for Life Sciences (2004)"},{"issue":"3\/4","key":"2_CR84","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"2_CR85","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"2_CR86","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45757-7_8","volume-title":"Logics in Artificial Intelligence","author":"R. Giugno","year":"2002","unstructured":"Giugno, R., Lukasiewicz, T.: P- $\\mathcal{SHOQ}({\\bf D})$ : A probabilistic extension of $\\mathcal{SHOQ}({\\bf D})$ for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 86\u201397. Springer, Heidelberg (2002)"},{"key":"2_CR87","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the twelfth international conference on World Wide Web","author":"B.N. Grosof","year":"2003","unstructured":"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\u201357. ACM Press, New York (2003)"},{"key":"2_CR88","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-36078-6_17","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Guller","year":"2002","unstructured":"Guller, D.: Procedural semantics for fuzzy disjunctive programs. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 247\u2013261. Springer, Heidelberg (2002)"},{"key":"2_CR89","doi-asserted-by":"crossref","unstructured":"Guller, D.: Semantics for fuzzy disjunctive programs with weak similarity. In: Abraham, A., K\u00f6ppen, 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\u2013299. Physica-Verlag (2002)","DOI":"10.1007\/978-3-7908-1782-9_21"},{"key":"2_CR90","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77684-0_20","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Hadjali","year":"2008","unstructured":"Hadjali, A., Kaci, S., Prade, H.: Database preference queries \u2014 a possibilistic logic approach with symbolic priorities. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932. Springer, Heidelberg (2008)"},{"key":"2_CR91","first-page":"238","volume-title":"Proc. International Symposium on Multiple-Valued Logic, Victoria","author":"R. H\u00e4hnle","year":"1991","unstructured":"H\u00e4hnle, R.: Uniform notation of tableaux rules for multiple-valued logics. In: Proc. International Symposium on Multiple-Valued Logic, Victoria, pp. 238\u2013245. IEEE Press, Los Alamitos (1991)"},{"issue":"12","key":"2_CR92","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01530787","volume":"3,4","author":"R. H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle, R.: Many-valued logics and mixed integer programming. Annals of Mathematics and Artificial Intelligence\u00a03,4(12), 231\u2013264 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR93","volume-title":"Handbook of Philosophical Logic","author":"R. H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)","edition":"2"},{"key":"2_CR94","unstructured":"Hailperin, T.: Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications. Associated University Presses, London, UK (1996)"},{"key":"2_CR95","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"1","key":"2_CR96","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P.: Making fuzzy description logics more expressive. Fuzzy Sets and Systems\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR97","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S1574-9576(06)80007-9","volume-title":"Fuzzy Logic and the Semantic Web, Capturing Intelligence","author":"P. H\u00e1jek","year":"2006","unstructured":"H\u00e1jek, P.: What does mathematical fuzzy logic offer to description logic. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, ch.\u00a05, pp. 91\u2013100. Elsevier, Amsterdam (2006)"},{"key":"2_CR98","first-page":"1862","volume-title":"Proceedings IJCAI 1995","author":"P. Hansen","year":"1995","unstructured":"Hansen, P., Jaumard, B., Nguets\u00e9, G.-B.D., de Arag\u00e3o, M.P.: Models and algorithms for probabilistic and Bayesian logic. In: Proceedings IJCAI 1995, pp. 1862\u20131868. Morgan Kaufmann, San Francisco (1995)"},{"key":"2_CR99","first-page":"311","volume-title":"Proceedings UAI 1994","author":"J. Heinsohn","year":"1994","unstructured":"Heinsohn, J.: Probabilistic description logics. In: Proceedings UAI 1994, pp. 311\u2013318. Morgan Kaufmann, San Francisco (1994)"},{"key":"2_CR100","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/S0020-7373(86)80009-8","volume":"24","author":"C. Hinde","year":"1986","unstructured":"Hinde, C.: Fuzzy prolog. International Journal Man.-Machine Stud.\u00a0(24), 569\u2013595 (1986)","journal-title":"International Journal Man.-Machine Stud."},{"key":"2_CR101","first-page":"296","volume-title":"Proceedings WWW 2004","author":"M. Holi","year":"2004","unstructured":"Holi, M., Hyv\u00f6nen, E.: A method for modeling uncertainty in Semantic Web taxonomies. In: Proceedings WWW 2004, pp. 296\u2013297. ACM Press, New York (2004)"},{"key":"2_CR102","unstructured":"Holi, M., Hyv\u00f6nen, E.: Modeling degrees of conceptual overlap in Semantic Web ontologies. In: Proceedings URSW 2005, pp. 98\u201399 (2005)"},{"key":"2_CR103","unstructured":"H\u00f6lldobler, S., Khang, T.D., St\u00f6rr, 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\u2019, Hanoi, Vietnam, Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam, pp. 25\u201334 (2002)"},{"key":"2_CR104","unstructured":"H\u00f6lldobler, S., Nga, N.H., Khang, T.D.: The fuzzy description logic ALC FH . In: Proceeedings of the International Workshop on Description Logics (DL 2005) (2005)"},{"key":"2_CR105","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: The fuzzy description logic ALC FH with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence (2003)","DOI":"10.20965\/jaciii.2003.p0294"},{"key":"2_CR106","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: The subsumption problem of the fuzzy description logic ALC FH . In: Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2004) (2004)"},{"key":"2_CR107","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0888-613X(94)00015-U","volume":"12","author":"B. Hollunder","year":"1995","unstructured":"Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. International Journal of Approximate Reasoning\u00a012, 85\u2013109 (1995)","journal-title":"International Journal of Approximate Reasoning"},{"key":"2_CR108","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for $\\mathcal{SHOIQ}$ . In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005) (2005)"},{"key":"2_CR109","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1145\/1007568.1007649","volume-title":"Proceedings ACM SIGMOD 2004","author":"E. Hung","year":"2004","unstructured":"Hung, E., Deng, Y., Subrahmanian, V.S.: TOSS: An extension of TAX with ontologies and similarity queries. In: Proceedings ACM SIGMOD 2004, pp. 719\u2013730. ACM Press, New York (2004)"},{"key":"2_CR110","doi-asserted-by":"crossref","unstructured":"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\u2013765 (2003)","DOI":"10.1016\/B978-012722442-8\/50072-0"},{"key":"2_CR111","unstructured":"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\u2013703 (1985)"},{"key":"2_CR112","first-page":"305","volume-title":"Proceedings KR 1994","author":"M. Jaeger","year":"1994","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings KR 1994, pp. 305\u2013316. Morgan Kaufmann, San Francisco (1994)"},{"key":"#cr-split#-2_CR113.1","unstructured":"Jaeger, M.: Probabilistic role models and the guarded fragment. In: Proceedings IPMU-2004, pp. 235-242 (2004)"},{"key":"#cr-split#-2_CR113.2","doi-asserted-by":"crossref","unstructured":"Extended version in International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 43-60 (2006)","DOI":"10.1142\/S0218488506003820"},{"key":"2_CR114","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1287\/ijoc.3.2.135","volume":"3","author":"B. Jaumard","year":"1991","unstructured":"Jaumard, B., Hansen, P., de Arag\u00e3o, M.P.: Column generation methods for probabilistic logic. ORSA J. Comput.\u00a03, 135\u2013147 (1991)","journal-title":"ORSA J. Comput."},{"key":"2_CR115","unstructured":"Kaplunova, A., M\u00f6ller, 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"},{"issue":"1-2","key":"2_CR116","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.artint.2004.04.003","volume":"157","author":"G. Kern-Isberner","year":"2004","unstructured":"Kern-Isberner, G., Lukasiewicz, T.: Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence\u00a0157(1-2), 139\u2013202 (2004)","journal-title":"Artificial Intelligence"},{"key":"2_CR117","unstructured":"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)"},{"key":"2_CR118","volume-title":"An Introduction to Statistical Relational Learning","author":"K. Kersting","year":"2005","unstructured":"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)"},{"key":"2_CR119","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3233\/FI-1997-323409","volume":"32","author":"M. Khamsi","year":"1996","unstructured":"Khamsi, M., Misane, D.: Disjunctive signed logic programs. Fundamenta Informaticae\u00a032, 349\u2013357 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR120","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1018969519807","volume":"21","author":"M. Khamsi","year":"1997","unstructured":"Khamsi, M., Misane, D.: Fixed point theorems in logic programming. Annals of Mathematics and Artificial Intelligence\u00a021, 231\u2013243 (1997)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-50171-1_6","volume-title":"ICDT \u201988","author":"M. Kifer","year":"1988","unstructured":"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.\u00a0326, pp. 102\u2013117. Springer, Heidelberg (1988)"},{"key":"2_CR122","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"2_CR123","first-page":"5","volume":"1","author":"F. Klawonn","year":"1994","unstructured":"Klawonn, F., Kruse, R.: A \u0141ukasiewicz logic based Prolog. Mathware & Soft Computing\u00a01(1), 5\u201329 (1994)","journal-title":"Mathware & Soft Computing"},{"key":"2_CR124","volume-title":"Fuzzy sets and fuzzy logic: theory and applications","author":"G.J. Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Inc., Upper Saddle River (1995)"},{"key":"2_CR125","unstructured":"Koller, D., Levy, A., Pfeffer, A.: P-Classic: A tractable probabilistic description logic. In: Proceedings AAAI 1997, pp. 390\u2013397. AAAI Press\/MIT Press (1997)"},{"key":"2_CR126","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.fss.2003.10.014","volume":"144","author":"P. Kulmann","year":"2004","unstructured":"Kulmann, P., Sandri, S.: An annotaded logic theorem prover for an extended possibilistic logic. Fuzzy Sets and Systems\u00a0144, 67\u201391 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR127","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-58715-2_116","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, L.: An epistemic foundation for logic programming with uncertainty. In: Thiagarajan, P.S. (ed.) FSTTCS 1994. LNCS, vol.\u00a0880, pp. 89\u2013100. Springer, Heidelberg (1994)"},{"issue":"8","key":"2_CR128","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0306-4379(97)00030-6","volume":"22","author":"L.V. Lakshmanan","year":"1997","unstructured":"Lakshmanan, L.V., Sadri, F.: Uncertain deductive databases: a hybrid approach. Information Systems\u00a022(8), 483\u2013508 (1997)","journal-title":"Information Systems"},{"key":"2_CR129","unstructured":"Lakshmanan, L.V., Shiri, N.: Probabilistic deductive databases. In: Int\u2019l Logic Programming Symposium, pp. 254\u2013268 (1994)"},{"issue":"4","key":"2_CR130","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L.V. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"2_CR131","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., Sadri, F.: On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming\u00a01(1), 5\u201342 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"2_CR132","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D. Lehmann","year":"1995","unstructured":"Lehmann, D.: Another perspective on default reasoning. Ann. Math. Artif. Intell.\u00a015(1), 61\u201382 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"2_CR133","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H.J. Levesque","year":"1987","unstructured":"Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence\u00a03, 78\u201393 (1987)","journal-title":"Computational Intelligence"},{"key":"2_CR134","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining horn rules and description logics in CARIN. Artificial Intelligence\u00a0104, 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"2_CR135","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1066157.1066173","volume-title":"Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data (SIGMOD 2005)","author":"C. Li","year":"2005","unstructured":"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\u2013142. ACM Press, New York (2005)"},{"key":"2_CR136","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1109\/FCST.2006.9","volume-title":"Workshop on Frontier of Computer Science and Technology (FCST 2006)","author":"R. Li","year":"2006","unstructured":"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\u2013146. IEEE Press, Los Alamitos (2006)"},{"key":"2_CR137","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1007\/11554028_125","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"Y. Li","year":"2005","unstructured":"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.\u00a03684, pp. 896\u2013902. Springer, Heidelberg (2005)"},{"key":"2_CR138","first-page":"221","volume-title":"29th Annual International Computer Software and Applications Conference (COMPSAC 2005)","author":"Y. Li","year":"2005","unstructured":"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\u2013226. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"2_CR139","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-44759-8_7","volume-title":"Database and Expert Systems Applications","author":"C.-J. Liau","year":"2001","unstructured":"Liau, C.-J., Yao, Y.Y.: Information retrieval by possibilistic reasoning. In: Mayr, H.C., Lazansk\u00fd, J., Quirchmayr, G., Vogel, P. (eds.) DEXA 2001. LNCS, vol.\u00a02113, pp. 52\u201361. Springer, Heidelberg (2001)"},{"key":"2_CR140","unstructured":"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)"},{"key":"2_CR141","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"2_CR142","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-45757-7_23","volume-title":"Logics in Artificial Intelligence","author":"Y. Loyer","year":"2002","unstructured":"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.\u00a02424, pp. 271\u2013282. Springer, Heidelberg (2002)"},{"key":"2_CR143","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-45788-7_9","volume-title":"Functional and Logic Programming","author":"Y. Loyer","year":"2002","unstructured":"Loyer, Y., Straccia, U.: The well-founded semantics in normal logic programs with uncertainty. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 152\u2013166. Springer, Heidelberg (2002)"},{"key":"2_CR144","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-540-45138-9_48","volume-title":"Mathematical Foundations of Computer Science 2003","author":"Y. Loyer","year":"2003","unstructured":"Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Rovan, B., Vojt\u00e1\u0161, P. (eds.) MFCS 2003. LNCS, vol.\u00a02747, pp. 541\u2013550. Springer, Heidelberg (2003)"},{"key":"2_CR145","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-540-24599-5_32","volume-title":"Logic Programming","author":"Y. Loyer","year":"2003","unstructured":"Loyer, Y., Straccia, U.: Default knowledge in logic programs with uncertainty. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 466\u2013480. Springer, Heidelberg (2003)"},{"key":"2_CR146","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-540-28629-5_39","volume-title":"Mathematical Foundations of Computer Science 2004","author":"Y. Loyer","year":"2004","unstructured":"Loyer, Y., Straccia, U.: Epistemic foundation of the well-founded semantics over bilattices. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol.\u00a03153, pp. 513\u2013524. Springer, Heidelberg (2004)"},{"issue":"2-3","key":"2_CR147","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.tcs.2005.04.005","volume":"342","author":"Y. Loyer","year":"2005","unstructured":"Loyer, Y., Straccia, U.: Any-world assumptions in logic programming. Theoretical Computer Science\u00a0342(2-3), 351\u2013381 (2005)","journal-title":"Theoretical Computer Science"},{"key":"2_CR148","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S1471068405002619","volume":"6","author":"Y. Loyer","year":"2006","unstructured":"Loyer, Y., Straccia, U.: Epistemic foundation of stable model semantics. Journal of Theory and Practice of Logic Programming\u00a06, 355\u2013393 (2006)","journal-title":"Journal of Theory and Practice of Logic Programming"},{"key":"2_CR149","doi-asserted-by":"crossref","unstructured":"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\u2013203 (2007)","DOI":"10.1007\/978-3-540-72584-8_26"},{"issue":"6","key":"2_CR150","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/logcom\/6.6.755","volume":"6","author":"J.J. Lu","year":"1996","unstructured":"Lu, J.J.: Logic programming with signs and annotations. Journal of Logic and Computation\u00a06(6), 755\u2013778 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"2_CR151","first-page":"129","volume":"2","author":"J.J. Lu","year":"1997","unstructured":"Lu, J.J., Calmet, J., Sch\u00fc, J.: Computing multiple-valued logic programs. Mathware % Soft Computing\u00a02(4), 129\u2013153 (1997)","journal-title":"Mathware % Soft Computing"},{"key":"2_CR152","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/10703163_28","volume-title":"Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL1998)","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued first-order logics with probabilistic semantics. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol.\u00a01584, pp. 415\u2013429. Springer, Heidelberg (1999)"},{"key":"2_CR153","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998), Brighton, England, August 1998, pp. 388\u2013392 (1998)"},{"issue":"1","key":"2_CR154","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0888-613X(99)00006-7","volume":"21","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Int. J. Approx. Reasoning\u00a021(1), 23\u201361 (1999)","journal-title":"Int. J. Approx. Reasoning"},{"key":"2_CR155","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-46767-X_20","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 277\u2013289. Springer, Heidelberg (1999)"},{"key":"2_CR156","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Probabilistic and truth-functional many-valued logic programming. In: The IEEE International Symposium on Multiple-Valued Logic, pp. 236\u2013241 (1999)","DOI":"10.1109\/ISMVL.1999.779722"},{"key":"2_CR157","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.577","volume":"10","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res.\u00a010, 199\u2013241 (1999)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR158","series-title":"Lecture Notes in Artificial Intelligence","first-page":"336","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2001)","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 336\u2013350. Springer, Heidelberg (2001)"},{"key":"2_CR159","first-page":"329","volume-title":"Proceedings UAI 2001","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings UAI 2001, pp. 329\u2013336. Morgan Kaufmann, San Francisco (2001)"},{"key":"2_CR160","first-page":"329","volume-title":"Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI 2001)","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI 2001), pp. 329\u2013336. Morgan Kaufmann Publishers Inc., San Francisco (2001)"},{"issue":"3","key":"2_CR161","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Log.\u00a02(3), 289\u2013339 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"2_CR162","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Transactions on Computational Logic\u00a02(3), 289\u2013339 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1\u20133","key":"2_CR163","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell.\u00a034(1\u20133), 35\u201388 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"key":"2_CR164","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005)","author":"T. Lukasiewicz","year":"2005","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571. Springer, Heidelberg (2005)"},{"issue":"1\u20132","key":"2_CR165","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.artint.2005.05.005","volume":"168","author":"T. Lukasiewicz","year":"2005","unstructured":"Lukasiewicz, T.: Weak nonmonotonic probabilistic logics. Artif. Intell.\u00a0168(1\u20132), 119\u2013161 (2005)","journal-title":"Artif. Intell."},{"key":"2_CR166","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/RULEML.2006.12","volume-title":"Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006)","author":"T. Lukasiewicz","year":"2006","unstructured":"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\u201396. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"2_CR167","unstructured":"Lukasiewicz, T.: Probabilistic description logics for the Semantic Web. Technical Report INFSYS RR-1843-06-04, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien (submitted for journal publication) (June 2006)"},{"key":"2_CR168","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/978-3-540-72667-8_28","volume-title":"4th European Semantic Web Conference (ESWC 2007)","author":"T. Lukasiewicz","year":"2007","unstructured":"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.\u00a04519, pp. 384\u2013398. Springer, Heidelberg (2007)"},{"issue":"2","key":"2_CR169","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"42","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. International Journal of Approximate Reasoning\u00a042(2), 288\u2013307 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"key":"2_CR170","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-75410-7_11","volume-title":"First International Conference on Scalable Uncertainty Management (SUM 2007)","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol.\u00a04772, pp. 143\u2013156. Springer, Heidelberg (2007)"},{"issue":"6-7","key":"2_CR171","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence\u00a0172(6-7), 852\u2013883 (2008)","journal-title":"Artificial Intelligence"},{"key":"2_CR172","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-75256-1_19","volume-title":"Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007)","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 187\u2013198. Springer, Heidelberg (2007)"},{"key":"2_CR173","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-72982-2_23","volume-title":"Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007)","author":"T. Lukasiewicz","year":"2007","unstructured":"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.\u00a04524, pp. 289\u2013298. Springer, Heidelberg (2007)"},{"key":"2_CR174","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75410-7_2","volume-title":"Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007)","author":"T. Lukasiewicz","year":"2007","unstructured":"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.\u00a04772, pp. 16\u201330. Springer, Heidelberg (2007)"},{"key":"2_CR175","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Straccia, U.: Uncertainty and vagueness in description logic programs for the semantic web. INFSYS Research Report 1843-07-02, Institut F\u00fcr Informationssysteme Arbeitsbereich Wissensbasierte Systeme, Technische Universit\u00e4t Wien (2007)","DOI":"10.2139\/ssrn.3199411"},{"key":"2_CR176","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Description logics with concrete domains\u2014a survey. In: Advances in Modal Logics, vol.\u00a04, King\u2019s College Publications (2003)","DOI":"10.25368\/2022.143"},{"key":"2_CR177","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1002\/int.4550040205","volume":"4","author":"P. Magrez","year":"1989","unstructured":"Magrez, P., Smets, P.: Fuzzy modus ponens: a new model suitable for applications in knowledge-based systems. International Journal of Intelligent Systems\u00a04, 181\u2013200 (1989)","journal-title":"International Journal of Intelligent Systems"},{"key":"2_CR178","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-72982-2_4","volume-title":"Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR-2007)","author":"T.P. Mailis","year":"2007","unstructured":"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, C.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 43\u201357. Springer, Heidelberg (2007)"},{"key":"2_CR179","unstructured":"Majkic, Z.: Coalgebraic semantics for logic programs. In: 18th Workshop on (Constraint) Logic Programming ((W(C)LP 2005), Ulm, Germany (2004)"},{"key":"2_CR180","doi-asserted-by":"crossref","unstructured":"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\u2013220 (2005)","DOI":"10.1109\/ISMVL.2005.22"},{"key":"2_CR181","unstructured":"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\u201387 (2005)"},{"key":"2_CR182","series-title":"Lecture Notes in Artificial Intelligence","first-page":"89","volume-title":"Proceedings KI-1999","author":"T. Mantay","year":"1999","unstructured":"Mantay, T., M\u00f6ller, R., Kaplunova, A.: Computing Probabilistic Least Common Subsumers in Description Logics. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS (LNAI), vol.\u00a01701, pp. 89\u2013100. Springer, Heidelberg (1999)"},{"key":"2_CR183","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Logic programming with costs. Technical report, University of Kentucky (2000), ftp:\/\/al.cs.engr.uky.edu\/cs\/manuscripts\/lp-costs.ps"},{"key":"2_CR184","unstructured":"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\u2013822 (2004)"},{"issue":"1","key":"2_CR185","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0165-0114(87)90104-7","volume":"23","author":"T.P. Martin","year":"1987","unstructured":"Martin, T.P., Baldwin, J.F., Pilsworth, B.W.: The implementation of FProlog \u2013a fuzzy prolog interpreter. Fuzzy Sets Syst.\u00a023(1), 119\u2013129 (1987)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR186","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46767-X_21","volume-title":"Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-1999)","author":"C. Mateis","year":"1999","unstructured":"Mateis, C.: Extending Disjunctive Logic Programming by t-norms. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 290\u2013304. Springer, Heidelberg (1999)"},{"key":"2_CR187","first-page":"225","volume":"13","author":"C. Mateis","year":"2000","unstructured":"Mateis, C.: Quantitative disjunctive logic programming: Semantics and computation. AI Communications\u00a013, 225\u2013248 (2000)","journal-title":"AI Communications"},{"key":"2_CR188","unstructured":"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\u2013830 (2004)"},{"key":"2_CR189","series-title":"Lecture Notes in Artificial Intelligence","first-page":"351","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2001)","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-adjoint Logic Programming with Continuous Semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"key":"2_CR190","first-page":"290","volume-title":"Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, 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\u2013297. Springer, Heidelberg (2001)"},{"issue":"146","key":"2_CR191","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","volume":"1","author":"J. Medina","year":"2004","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy sets and systems\u00a01(146), 43\u201362 (2004)","journal-title":"Fuzzy sets and systems"},{"issue":"5","key":"2_CR192","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1145\/502102.502103","volume":"48","author":"C. Meghini","year":"2001","unstructured":"Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM\u00a048(5), 909\u2013970 (2001)","journal-title":"Journal of the ACM"},{"key":"2_CR193","doi-asserted-by":"crossref","unstructured":"Meghini, C., Sebastiani, F., 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\u2013307 (1993)","DOI":"10.1145\/160688.160753"},{"key":"2_CR194","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/11574620_39","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Mitra","year":"2005","unstructured":"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.\u00a03729, pp. 537\u2013547. Springer, Heidelberg (2005)"},{"key":"2_CR195","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"5th International Semantic Web Conference (ISWC-2006)","author":"B. Motik","year":"2006","unstructured":"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.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"2_CR196","volume-title":"Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007)","author":"B. Motik","year":"2007","unstructured":"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)"},{"key":"2_CR197","unstructured":"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)"},{"key":"2_CR198","volume-title":"Advances in Fuzzy Systems \u2013 Application and Theory","author":"M. Mukaidono","year":"1996","unstructured":"Mukaidono, M.: Foundations of fuzzy logic programming. In: Advances in Fuzzy Systems \u2013 Application and Theory, vol.\u00a01. World Scientific, Singapore (1996)"},{"issue":"2","key":"2_CR199","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0888-613X(89)90005-4","volume":"3","author":"M. Mukaidono","year":"1989","unstructured":"Mukaidono, M., Shen, Z., Ding, L.: Fundamentals of fuzzy prolog. Int. J. Approx. Reasoning\u00a03(2), 179\u2013193, (1989)","journal-title":"Int. J. Approx. Reasoning"},{"key":"2_CR200","unstructured":"Naeth, T.H.: Analysis of the average-case behavior of an inference algorithm for probabilistic description logics. Diplomarbeit, TU Hamburg-Harburg, Germany, (February 2007)"},{"issue":"2","key":"2_CR201","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1993","unstructured":"Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation\u00a0101(2), 150\u2013201, (1993)","journal-title":"Information and Computation"},{"issue":"1","key":"2_CR202","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1006\/inco.1994.1023","volume":"110","author":"R. Ng","year":"1994","unstructured":"Ng, R., Subrahmanian, V.: Stable model semantics for probabilistic deductive databases. Information and Computation\u00a0110(1), 42\u201383, (1994)","journal-title":"Information and Computation"},{"key":"2_CR203","first-page":"397","volume-title":"Uncertainty in Artificial Intelligence: Proceedings of the Twelfeth Conference (UAI 1996)","author":"L. Ngo","year":"1996","unstructured":"Ngo, L.: Probabilistic disjunctive logic programming. In: Uncertainty in Artificial Intelligence: Proceedings of the Twelfeth Conference (UAI 1996), pp. 397\u2013404. Morgan Kaufmann, San Francisco (1996)"},{"key":"2_CR204","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-60688-2_51","volume-title":"Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge (ACSC 1995)","author":"L. Ngo","year":"1995","unstructured":"Ngo, L., Haddawy, P.: Probabilistic logic programming and bayesian networks. In: Kanchanasut, K., Levy, J.-J. (eds.) ACSC 1995. LNCS, vol.\u00a01023, pp. 286\u2013300. Springer, Heidelberg (1995)"},{"issue":"1-2","key":"2_CR205","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L. Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science\u00a0171(1-2), 147\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"2_CR206","first-page":"248","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"P. Nicolas","year":"2005","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: Possibilistic stable models. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 248\u2013253. Morgan Kaufmann, San Francisco (2005)"},{"issue":"1","key":"2_CR207","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell.\u00a028(1), 71\u201388 (1986)","journal-title":"Artif. Intell."},{"issue":"1","key":"2_CR208","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1142\/S0218488506003819","volume":"14","author":"H. Nottelmann","year":"2006","unstructured":"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\u00a014(1), 17\u201342 (2006)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"2_CR209","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k, V.: Which logic is the real fuzzy logic? Fuzzy Sets and Systems, 635\u2013641 (2005)","DOI":"10.1016\/j.fss.2005.10.010"},{"key":"2_CR210","unstructured":"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)"},{"key":"2_CR211","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1367497.1367575"},{"key":"2_CR212","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/11574620_41","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"R. Pan","year":"2005","unstructured":"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.\u00a03729, pp. 563\u2013577. Springer, Heidelberg (2005)"},{"key":"2_CR213","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-662-21963-8_19","volume-title":"G\u00f6del 1996: Logical Foundations of Mathematics, Computer Science, and Physics","author":"L. Paulik","year":"1996","unstructured":"Paulik, L.: Best possible answer is computable for fuzzy sld-resolution. In: Haj\u00e9k, P. (ed.) G\u00f6del 1996: Logical Foundations of Mathematics, Computer Science, and Physics. Lecture Notes in Logic, vol.\u00a06, pp. 257\u2013266. Springer, Heidelberg (1996)"},{"key":"2_CR214","unstructured":"Pool, M., Aikin, J.: KEEPER and Prot\u00e9g\u00e9: An elicitation environment for Bayesian inference tools. In: Proceedings of the Workshop on Prot\u00e9g\u00e9 and Reasoning held at the 7th International Prot\u00e9g\u00e9 Conference (2004)"},{"issue":"1","key":"2_CR215","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic horn abduction and bayesian networks. Artificial Intelligence\u00a064(1), 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"2_CR216","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artificial Intelligence"},{"key":"2_CR217","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2007)","author":"G. Qi","year":"2007","unstructured":"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.\u00a04724, pp. 828\u2013839. Springer, Heidelberg (2007)"},{"key":"2_CR218","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G. Qi","year":"2007","unstructured":"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.\u00a04724, Springer, Heidelberg (2007)"},{"key":"2_CR219","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: A possibilistic extension of description logics. In: Proceedings DL 2007 (2007)"},{"key":"2_CR220","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-85567-5_37"},{"key":"2_CR221","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/978-3-540-72667-8_30","volume-title":"4th European Semantic Web Conference (ESWC 2007)","author":"A. Ragone","year":"2007","unstructured":"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.\u00a04519, pp. 414\u2013428. Springer, Heidelberg (2007)"},{"issue":"4","key":"2_CR222","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/0950-7051(95)96214-C","volume":"8","author":"P.C. Rhodes","year":"1995","unstructured":"Rhodes, P.C., Menani, S.M.: Towards a fuzzy logic programming system: a clausal form fuzzy logic. Knowledge-Based Systems\u00a08(4), 174\u2013182 (1995)","journal-title":"Knowledge-Based Systems"},{"issue":"1","key":"2_CR223","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1), 61\u201373, (2005)","journal-title":"Journal of Web Semantics"},{"key":"2_CR224","first-page":"68","volume-title":"Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)","author":"R. Rosati","year":"2006","unstructured":"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\u201378. AAAI Press, Menlo Park (2006)"},{"key":"2_CR225","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/1142351.1142404","volume-title":"PODS 2006: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"R. Rosati","year":"2006","unstructured":"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\u2013365. ACM Press, New York (2006)"},{"key":"2_CR226","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/inco.2001.3073","volume":"171","author":"W.C. Rounds","year":"2001","unstructured":"Rounds, W.C., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Information and Computation\u00a0171, 183\u2013200 (2001)","journal-title":"Information and Computation"},{"key":"2_CR227","unstructured":"Sanchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logics. In: Proceedings 8th Fuzzy Days in Dortmund, (2004)"},{"key":"2_CR228","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11676935_10","volume-title":"International Workshop on Fuzzy Logic and Applications (WILF 2005)","author":"D. Sanchez","year":"2006","unstructured":"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.\u00a03849, pp. 81\u201388. Springer, Heidelberg (2006)"},{"key":"2_CR229","volume-title":"Capturing Intelligence: Fuzzy Logic and the Semantic Web","author":"D. Sanchez","year":"2006","unstructured":"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)"},{"key":"2_CR230","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048, 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"2_CR231","unstructured":"Schroeder, M., Schweimeier, R.: Fuzzy argumentation and extended logic programming. In: Proceedings of ECSQARU Workshop Adventures in Argumentation (2001)"},{"key":"2_CR232","volume-title":"Proceedings of the ICLP workshop CLIMA 2002","author":"M. Schroeder","year":"2002","unstructured":"Schroeder, M., Schweimeier, R.: Arguments and misunderstandings: Fuzzy unification for negotiating agents. In: Proceedings of the ICLP workshop CLIMA 2002. Elsevier, Amsterdam (2002)"},{"key":"2_CR233","series-title":"Lecture Notes in Computer Science","first-page":"102","volume-title":"Proceedings of the Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004)","author":"M. Schroeder","year":"2004","unstructured":"Schroeder, M., Schweimeier, R.: Fuzzy unification and argumentation for well-founded semantics. In: Van Emde Boas, P., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2004. LNCS, vol.\u00a02932, pp. 102\u2013121. Springer, Heidelberg (2004)"},{"issue":"1","key":"2_CR234","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(96)00116-1","volume":"32","author":"D. Seipel","year":"1997","unstructured":"Seipel, D., Minker, J., Ruiz, C.: Model generation and state generation for disjunctive logic programs. Journal of Logic Programming\u00a032(1), 49\u201369 (1997)","journal-title":"Journal of Logic Programming"},{"key":"2_CR235","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","volume":"275","author":"M.I. Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based sld resolution. Theoretical Computer Science\u00a0275, 389\u2013426 (2002)","journal-title":"Theoretical Computer Science"},{"key":"2_CR236","unstructured":"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 (IJCAI 1983), pp. 529\u2013532 (1983)"},{"key":"2_CR237","first-page":"89","volume-title":"Fuzzy Computing","author":"Z. Shen","year":"1988","unstructured":"Shen, Z., Ding, L., Mukaidono, M.: A Theoretical Framework of Fuzzy Prolog Machine. In: Fuzzy Computing, pp. 89\u2013100. Elsevier Science Publishers B.V, Amsterdam (1988)"},{"key":"2_CR238","unstructured":"Stoilos, G., Stamou, G., Pan, J.: D2.5.6: Fuzzy reasoning extensions. Knowledge Web Technical Report, (2007)"},{"key":"2_CR239","unstructured":"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)"},{"key":"2_CR240","unstructured":"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)"},{"key":"2_CR241","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2279","volume":"30","author":"G. Stoilos","year":"2007","unstructured":"Stoilos, G., Stamou, G.B., Pan, J.Z., Tzouvaras, V., Horrocks, I.: Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research\u00a030, 273\u2013320 (2007)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR242","first-page":"457","volume-title":"Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI 2006)","author":"G. Stoilos","year":"2006","unstructured":"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\u2013461. IOS Press, Amsterdam (2006)"},{"key":"2_CR243","first-page":"594","volume-title":"Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI 1998)","author":"U. Straccia","year":"1998","unstructured":"Straccia, U.: A fuzzy description logic. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI 1998), pp. 594\u2013599. AAAI Press, Menlo Park (1998)"},{"key":"2_CR244","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-7908-1849-9_14","volume-title":"Soft Computing in Information Retrieval: Techniques and Applications","author":"U. Straccia","year":"2000","unstructured":"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\u2013357. Springer, Heidelberg (2000)"},{"key":"2_CR245","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research\u00a014, 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR246","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/978-3-540-30227-8_33","volume-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)","author":"U. Straccia","year":"2004","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 385\u2013399. Springer, Heidelberg (2004)"},{"key":"2_CR247","unstructured":"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\u2013258 (2004)"},{"key":"2_CR248","unstructured":"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\u2013567. AUAI Press (2005)"},{"key":"2_CR249","unstructured":"Straccia, U.: Fuzzy alc with fuzzy concrete domains. In: Proceeedings of the International Workshop on Description Logics (DL 2005), Edinburgh, Scotland, pp. 96\u2013103 (2005)"},{"key":"2_CR250","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/11518655_58","volume-title":"8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005)","author":"U. Straccia","year":"2005","unstructured":"Straccia, U.: Query answering in normal logic programs under uncertainty. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 687\u2013700. Springer, Heidelberg (2005)"},{"key":"2_CR251","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/11431053_12","volume-title":"2nd European Semantic Web Conference (ESWC 2005)","author":"U. Straccia","year":"2005","unstructured":"Straccia, U.: Towards a fuzzy description logic for the semantic web (preliminary report). In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 167\u2013181. Springer, Heidelberg (2005)"},{"key":"2_CR252","series-title":"Lecture Notes in Artificial Intelligence","first-page":"753","volume-title":"9th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES 2005), Part II","author":"U. Straccia","year":"2005","unstructured":"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.\u00a03682, pp. 753\u2013760. Springer, Heidelberg (2005)"},{"key":"2_CR253","first-page":"1212","volume-title":"Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU 2006)","author":"U. Straccia","year":"2006","unstructured":"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\u20131219. E.D.K, Paris (2006)"},{"key":"2_CR254","first-page":"2238","volume-title":"Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU 2006)","author":"U. Straccia","year":"2006","unstructured":"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\u20132245. E.D.K., Paris (2006)"},{"issue":"1","key":"2_CR255","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218488506003807","volume":"14","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a014(1), 1\u201316 (2006)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"2_CR256","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S1574-9576(06)80006-7","volume-title":"Fuzzy Logic and the Semantic Web, Capturing Intelligence","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, vol.\u00a04, pp. 73\u201390. Elsevier, Amsterdam (2006)"},{"key":"2_CR257","first-page":"1818","volume-title":"Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU 2006)","author":"U. Straccia","year":"2006","unstructured":"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\u20131825. E.D.K., Paris (2006)"},{"key":"2_CR258","first-page":"329","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation (KR 2006)","author":"U. Straccia","year":"2006","unstructured":"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\u2013339. AAAI Press, Menlo Park (2006)"},{"key":"2_CR259","doi-asserted-by":"publisher","first-page":"4873","DOI":"10.1109\/ICSMC.2006.385077","volume-title":"Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC 2006)","author":"U. Straccia","year":"2006","unstructured":"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\u20134879. IEEE, Los Alamitos (2006)"},{"key":"2_CR260","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/11853886_36","volume-title":"Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)","author":"U. Straccia","year":"2006","unstructured":"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.\u00a04160, pp. 439\u2013451. Springer, Heidelberg (2006)"},{"key":"2_CR261","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1574-9576(06)80009-2","volume-title":"Fuzzy Logic and the Semantic Web, Capturing Intelligence","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: Uncertainty and description logic programs over lattices. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, vol.\u00a07, pp. 115\u2013133. Elsevier, Amsterdam (2006)"},{"key":"2_CR262","unstructured":"Straccia, U.: Reasoning in \u0142- $\\mathcal{SHIF}$ : an expressive fuzzy description logic under \u0142ukasiewicz semantics. Technical Report TR-2007-10-18, Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy (2007)"},{"key":"2_CR263","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-75256-1_13","volume-title":"Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007)","author":"U. Straccia","year":"2007","unstructured":"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.\u00a04724, pp. 115\u2013127. Springer, Heidelberg (2007)"},{"key":"2_CR264","series-title":"Lecture Notes in Artificial Intelligence","first-page":"125","volume-title":"World Congress of the International Fuzzy Systems Association (IFSA 2007)","author":"U. Straccia","year":"2007","unstructured":"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.\u00a04529, pp. 125\u2013134. Springer, Heidelberg (2007)"},{"issue":"3","key":"2_CR265","first-page":"247","volume":"14","author":"U. Straccia","year":"2007","unstructured":"Straccia, U., Bobillo, F.: Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware & Soft Computing\u00a014(3), 247\u2013259 (2007)","journal-title":"Mathware & Soft Computing"},{"key":"2_CR266","unstructured":"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.\u00a0250, CEUR (2007)"},{"key":"2_CR267","first-page":"173","volume-title":"Proc. 4th IEEE Symp. on Logic Programming","author":"V. Subramanian","year":"1987","unstructured":"Subramanian, V.: On the semantics of quantitative logic programs. In: Proc. 4th IEEE Symp. on Logic Programming, pp. 173\u2013182. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"2_CR268","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S1574-9576(06)80003-1","volume-title":"Fuzzy Logic and the Semantic Web, Capturing Intelligence","author":"C. Thomas","year":"2006","unstructured":"Thomas, C., Sheth, A.: On the expressiveness of the languages for the Semantic Web \u2014 Making a case for \u201cA little more\u201d. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, pp. 3\u201320. Elsevier, Amsterdam (2006)"},{"key":"2_CR269","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.25368\/2022.77"},{"key":"2_CR270","first-page":"61","volume-title":"Logic Programming: Proc. of the 1994 International Symposium","author":"H. Turner","year":"1994","unstructured":"Turner, H.: Signed logic programs. In: Bruynooghe, M. (ed.) Logic Programming: Proc. of the 1994 International Symposium, pp. 61\u201375. MIT Press, Cambridge (1994)"},{"key":"2_CR271","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings CoopIS\/DOA\/ODBASE-2005","author":"O. Udrea","year":"2005","unstructured":"Udrea, O., Deng, Y., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"2_CR272","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1109\/IRI.2006.252408","volume-title":"Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI 2006: Heuristic Systems Engineering","author":"O. Udrea","year":"2006","unstructured":"Udrea, O., Subrahmanian, V.S., Majkic, Z.: Probabilistic rdf. In: Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI 2006: Heuristic Systems Engineering, pp. 172\u2013177. IEEE Systems, Los Alamitos (2006)"},{"issue":"1","key":"2_CR273","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M. Emden van","year":"1986","unstructured":"van Emden, M.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming\u00a04(1), 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"key":"2_CR274","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/FUZZY.2007.4295599"},{"key":"2_CR275","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","volume-title":"20th International Conference on Logic Programming (ICLP 2004)","author":"J. Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 431\u2013445. Springer, Heidelberg (2004)"},{"key":"2_CR276","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1\u0161","year":"2001","unstructured":"Vojt\u00e1\u0161, P.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0124, 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR277","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"5th International Workshop on Extensions of Logic Programming (ELP 1996)","author":"P. Vojt\u00e1\u0161","year":"1996","unstructured":"Vojt\u00e1\u0161, P., Paul\u00edk, L.: Soundness and completeness of non-classical extended SLD-resolution. In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 289\u2013301. Springer, Heidelberg (1996)"},{"key":"2_CR278","unstructured":"Vojt\u00e1\u0161, P., Vomelelov\u00e1, 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\u2013846 (2004)"},{"key":"2_CR279","unstructured":"Wagner, G.: Negation in fuzzy and possibilistic logic programs. In: Martin, T., Arcelli, F. (eds.) Logic programming and Soft Computing. Research Studies Press (1998)"},{"key":"2_CR280","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-30464-7_2","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"G. Weikum","year":"2004","unstructured":"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.\u00a03288, pp. 3\u201317. Springer, Heidelberg (2004)"},{"issue":"5","key":"2_CR281","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1109\/69.469827","volume":"7","author":"B. W\u00fcttrich","year":"1995","unstructured":"W\u00fcttrich, B.: Probabilistic knowledge bases. IEEE Transactions on Knowledge and Data Engineering\u00a07(5), 691\u2013698 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2_CR282","first-page":"457","volume-title":"Proceedings IAWTIC 2005","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Calmet, J.: OntoBayes: An ontology-driven uncertainty model. In: Proceedings IAWTIC 2005, pp. 457\u2013463. IEEE Press, Los Alamitos (2005)"},{"key":"2_CR283","unstructured":"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)"},{"key":"2_CR284","first-page":"949","volume":"2","author":"H. Yasui","year":"1995","unstructured":"Yasui, H., Hamada, Y., Mukaidono, M.: Fuzzy prolog based on lukasiewicz implication and bounded product. IEEE Trans. Fuzzy Systems\u00a02, 949\u2013954 (1995)","journal-title":"IEEE Trans. Fuzzy Systems"},{"key":"2_CR285","first-page":"225","volume-title":"Proceedings KR 2000","author":"P.M. Yelland","year":"2000","unstructured":"Yelland, P.M.: An alternative combination of Bayesian networks and description logics. In: Proceedings KR 2000, pp. 225\u2013234. Morgan Kaufmann, San Francisco (2000)"},{"key":"2_CR286","unstructured":"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\u2013477 (1991)"},{"issue":"3","key":"2_CR287","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control"},{"key":"2_CR288","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/1060745.1060812","volume-title":"WWW 2005: Proceedings of the 14th international conference on World Wide Web","author":"L. Zhang","year":"2005","unstructured":"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\u2013462. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85658-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T19:09:06Z","timestamp":1738350546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85658-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540856566","9783540856580"],"references-count":289,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85658-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}