{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T18:52:30Z","timestamp":1770576750911,"version":"3.49.0"},"publisher-location":"Cham","reference-count":303,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319494920","type":"print"},{"value":"9783319494937","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-49493-7_6","type":"book-chapter","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T09:12:22Z","timestamp":1488013942000},"page":"203-240","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["From Fuzzy to Annotated Semantic Web Languages"],"prefix":"10.1007","author":[{"given":"Umberto","family":"Straccia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Bobillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,26]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-85658-0_2","volume-title":"Reasoning Web","author":"U Straccia","year":"2008","unstructured":"Straccia, U.: Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 54\u2013103. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-85658-0_2"},{"key":"6_CR2","series-title":"CRC Studies in Informatics Series","volume-title":"Foundations of Fuzzy Logic and Semantic Web Languages","author":"U Straccia","year":"2013","unstructured":"Straccia, U.: Foundations of Fuzzy Logic and Semantic Web Languages. CRC Studies in Informatics Series. Chapman & Hall, London (2013)"},{"key":"6_CR3","unstructured":"OWL 2 Web Ontology Language Document Overview. W3C (2009). http:\/\/www.w3.org\/TR\/2009\/REC-owl2-overview-20091027\/"},{"key":"6_CR4","unstructured":"Hayes, P.: RDF Semantics, W3C Recommendation, February 2004. http:\/\/www.w3.org\/TR\/rdf-mt"},{"key":"6_CR5","unstructured":"http:\/\/ruleml.org\/index.html. The rule markup initiative"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Datalog $$\\pm $$: a unified approach to ontologies and integrity constraints. In: Proceedings of the 12th International Conference on Database Theory, pp. 14\u201330. ACM, New York (2009). ISBN 978-1-60558-423-2. doi:10.1145\/1514894.1514897","DOI":"10.1145\/1514894.1514897"},{"key":"6_CR7","unstructured":"Rule Interchange Format (RIF). W3C (2011). http:\/\/www.w3.org\/2001\/sw\/wiki\/RIF"},{"key":"6_CR8","unstructured":"XML. W3C http:\/\/www.w3.org\/XML\/"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"The Semantic Web: Research and Applications","author":"S Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Gutierrez, C.: Minimal deductive systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53\u201367. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72667-8_6"},{"key":"6_CR10","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)"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"issue":"1\u20134","key":"6_CR12","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. Ann. Math. Artif. Intell. 32(1\u20134), 35\u201366 (2001). ISSN 1012-2443","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"6_CR14","unstructured":"Dubois, D., Prade, H.: Can we enforce full compositionality in uncertainty calculi? In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI 1994), Seattle, Washington, pp. 149\u2013154 (1994)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-642-05082-4_12","volume-title":"Web Reasoning and Rule Systems","author":"U Straccia","year":"2009","unstructured":"Straccia, U.: A minimal deductive system for general fuzzy RDF. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 166\u2013181. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-05082-4_12"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Straccia, U., Lopes, N., Lukacsy, G., Polleres, A.: A general framework for representing and reasoning with annotated semantic web data. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 1437\u20131442. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7499"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for thesemantic web. J. Web Semant. 6, 291\u2013308 (2008)","journal-title":"J. Web Semant."},{"key":"6_CR18","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. J. Artif. Intell. Res. 14, 137\u2013166 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR19","unstructured":"Straccia, U.: Answering vague queries in fuzzy DL-Lite. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU 2006), pp. 2238\u20132245. E.D.K., Paris (2006). ISBN 2-84254-112-X"},{"issue":"3","key":"6_CR20","first-page":"265","volume":"82","author":"CV Damasio","year":"2008","unstructured":"Damasio, C.V., Pan, J.Z., Stoilos, G., Straccia, U.: Representing uncertainty rules in RuleMl. Fundam. Inform. 82(3), 265\u2013288 (2008)","journal-title":"Fundam. Inform."},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.fss.2008.07.002","volume":"160","author":"A Ragone","year":"2009","unstructured":"Ragone, A., Straccia, U., Noia, T.D., Sciascio, E.D., Donini, F.M.: Fuzzy matchmaking in e-market places of peer entities using datalog. Fuzzy Sets Syst. 160(2), 251\u2013268 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/11518655_58","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","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. 3571, pp. 687\u2013700. Springer, Heidelberg (2005). doi:10.1007\/11518655_58"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/11552451_103","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","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. 3682, pp. 753\u2013760. Springer, Heidelberg (2005). doi:10.1007\/11552451_103"},{"key":"6_CR24","unstructured":"Straccia, U.: Fuzzy description logic programs. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-BasedSystems, (IPMU 2006), pp. 1818\u20131825. E.D.K., Paris (2006). ISBN 2-84254-112-X"},{"key":"6_CR25","doi-asserted-by":"crossref","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 (2006)","DOI":"10.1109\/ICSMC.2006.385077"},{"key":"6_CR26","unstructured":"Lopes, N., Zimmermann, A., Hogan, A., Lukacsy, G., Polleres, A., Straccia, U., Decker, S.: RDF needs annotations. In: Proceedings of W3C Workshop \u2013 RDF Next Steps (2010).http:\/\/www.w3.org\/2009\/12\/rdf-ws\/"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-642-17746-0_33","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"N Lopes","year":"2010","unstructured":"Lopes, N., Polleres, A., Straccia, U., Zimmermann, A.: AnQL: SPARQLing up annotated RDFS. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010. LNCS, vol. 6496, pp. 518\u2013533. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-17746-0_33"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.websem.2011.08.006","volume":"11","author":"A Zimmermann","year":"2012","unstructured":"Zimmermann, A., Lopes, N., Polleres, A., Straccia, U.: A general framework for representing, reasoning and querying with annotated semantic web data. J. Web Semant. 11, 72\u201395 (2012)","journal-title":"J. Web Semant."},{"key":"6_CR29","volume-title":"Fuzzy Sets and Systems","author":"D Dubois","year":"1980","unstructured":"Dubois, D., Prade, H.: Fuzzy Sets and Systems. Academic Press, New York (1980)"},{"key":"6_CR30","volume-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"GJ Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall Inc., Upper Saddle River (1995). ISBN 0-13-101171-5"},{"key":"6_CR31","volume-title":"Triangular Norms. Trends in Logic \u2013 Studia Logica Library","author":"EP Klement","year":"2000","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic \u2013 Studia Logica Library. Kluwer Academic Publishers, New York (2000)"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"PS Mostert","year":"1957","unstructured":"Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117\u2013143 (1957)","journal-title":"Ann. Math."},{"key":"6_CR33","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, Dordrecht (1998)"},{"key":"6_CR34","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, vol. 2, 2nd edn. Kluwer, Dordrecht (2001)","edition":"2"},{"key":"6_CR35","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 itsapplications. J. Logic Program. 12, 335\u2013367 (1992)","journal-title":"J. Logic Program."},{"key":"6_CR36","unstructured":"Marin, D.: A formalization of RDF. Technical report TR\/DCC-2006-8, Department of Computer Science, Universidad de Chile (2004). http:\/\/www.dcc.uchile.cl\/cgutierr\/ftp\/draltan.pdf"},{"key":"6_CR37","unstructured":"RDF Semantics, W3C (2004). http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"issue":"2","key":"6_CR38","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00778-008-0125-y","volume":"18","author":"DJ Abadi","year":"2009","unstructured":"Abadi, D.J., Marcus, A., Madden, S., Hollenbach, K.: SW-store: a vertically partitioned DBMS for semantic web data management. VLDB J. 18(2), 385\u2013406 (2009)","journal-title":"VLDB J."},{"key":"6_CR39","unstructured":"Buneman, P., Kostylev, E.: Annotation algebras for RDFS. In: The Second International Workshop on the Role of Semantic Web in Provenance Management (SWPM 2010). CEUR Workshop Proceedings (2010)"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A rule system for querying persistent RDFS data. In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference (ESWC 2009), pp. 857\u2013862 (2009)","DOI":"10.1007\/978-3-642-02121-3_70"},{"key":"6_CR41","series-title":"Studies in Logic Studies in Logic, Mathematical Logic and Foundations","first-page":"1105","volume-title":"Handbook of Mathematical Fuzzy Logic, vol. 3","author":"F Bobillo","year":"2015","unstructured":"Bobillo, F., Cerami, M., Esteva, F., Garc\u00eda-Cerda\u00f1a, \u00c0., Pe\u00f1aloza, R., Straccia, U.: Fuzzy description logics in the framework of mathematical fuzzylogic. In: Petr Cintula, C.N., Ferm\u00fcller, C. (eds.) Handbook of Mathematical Fuzzy Logic, vol. 3. Studies in Logic Studies in Logic, Mathematical Logic and Foundations, vol. 58, pp. 1105\u20131181. College Publications, London (2015). Chapter 16, ISBN 978-1-84890-193-3"},{"key":"6_CR42","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: DeLorean: a reasoner for fuzzy OWL 1.1. In: Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008). CEUR Workshop Proceedings, vol. 423, 2008. ISSN 1613-0073"},{"key":"6_CR43","unstructured":"Bobillo, F., Straccia, U.: On qualified cardinality restrictions in fuzzy description logics under Lukasiewicz semantics. In: Magdalena, L., Ojeda-Aciego, M., Verdegay, J.L. (eds.), Proceedings of the 12th International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2008), pp. 1008\u20131015, June 2008"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Extending datatype restrictions in fuzzy description logics. In: Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA 2009), pp. 785\u2013790. IEEE Computer Society (2009)","DOI":"10.1109\/ISDA.2009.27"},{"key":"6_CR45","unstructured":"Bobillo, F., Straccia, U.: Fuzzy description logics with fuzzy truth values. In: Carvalho, J.P.B., Dubois, D., Kaymak, U., Sousa, J.M.C. (eds.), Proceedings of the 13th World Congress of the International Fuzzy Systems Association and 6th Conference of the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2009), pp. 189\u2013194, July 2009. ISBN 978-989-95079-6-8"},{"key":"6_CR46","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1007\/978-3-642-02906-6_58","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: Supporting fuzzy rough sets in fuzzy description logics. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol. 5590, pp. 676\u2013687. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-02906-6_58"},{"key":"6_CR47","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":"6_CR48","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web. In: Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), pp. 89\u201396. IEEE Computer Society (2006)","DOI":"10.1109\/RULEML.2006.12"},{"issue":"3","key":"6_CR49","first-page":"289","volume":"82","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics forthe semantic web. Fundamenta Informaticae 82(3), 289\u2013310 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-75256-1_19","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","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. 4724, pp. 187\u2013198. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75256-1_19"},{"key":"6_CR51","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":"Web Reasoning and Rule Systems","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 289\u2013298. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72982-2_23"},{"key":"6_CR52","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75410-7_2","volume-title":"Scalable Uncertainty Management","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. 4772, pp. 16\u201330. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75410-7_2"},{"issue":"3","key":"6_CR53","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4018\/jswis.2008070104","volume":"4","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic web. Int. J. Semant. Web, Inf. Syst. 4(3), 68\u201389 (2008)","journal-title":"Int. J. Semant. Web, Inf. Syst."},{"issue":"6","key":"6_CR54","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/j.ijar.2009.03.004","volume":"50","author":"T Lukasiewicz","year":"2009","unstructured":"Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reason. 50(6), 837\u2013853 (2009)","journal-title":"Int. J. Approx. Reason."},{"key":"6_CR55","unstructured":"Sanchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logics. In: Proceedings 8th Fuzzy Days in Dortmund (2004)"},{"key":"6_CR56","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11676935_10","volume-title":"Fuzzy Logic and Applications","author":"D S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, D., Tettamanzi, A.G.B.: Reasoning and quantification in fuzzy description logics. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol. 3849, pp. 81\u201388. Springer, Heidelberg (2006). doi:10.1007\/11676935_10"},{"key":"6_CR57","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":"6_CR58","unstructured":"Stoilos, G., Stamou, G.: Extending fuzzy description logics for the semantic web. In: 3rd International Workshop of OWL: Experiences and Directions (2007). http:\/\/www.image.ece.ntua.gr\/publications.php"},{"key":"6_CR59","unstructured":"Straccia, U.: A fuzzy description logic. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), Madison, USA, pp. 594\u2013599 (1998)"},{"key":"6_CR60","unstructured":"Straccia, U.: Description logics with fuzzy concrete domains. In: Bachus, F., Jaakkola, T. (eds.), 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005), pp. 559\u2013567. AUAI Press, Edinburgh (2005)"},{"key":"6_CR61","unstructured":"Straccia, U.: Fuzzy ALC with fuzzy concrete domains. In: Proceedings of the International Workshop on Description Logics (DL 2005), pp. 96\u2013103. CEUR, Edinburgh (2005)"},{"key":"6_CR62","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1142\/9789812792358_0029","volume-title":"Uncertainty and Intelligent Information Systems","author":"U Straccia","year":"2008","unstructured":"Straccia, U.: Fuzzy description logic programs. In: Bouchon-Meunier, C.M.B., Yager, R.R., Rifqi, M. (eds.) Uncertainty and Intelligent Information Systems, pp. 405\u2013418. World Scientific, Singapore (2008). ISBN 978-981-279-234-1. Chap. 29"},{"key":"6_CR63","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) (2007). http:\/\/www.image.ece.ntua.gr\/publications.php","DOI":"10.1109\/FUZZY.2007.4295599"},{"key":"6_CR64","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)"},{"key":"6_CR65","doi-asserted-by":"crossref","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 (2008)","DOI":"10.1109\/FUZZY.2008.4630480"},{"key":"6_CR66","unstructured":"Bobillo, F., Straccia, U.: Finite fuzzy description logics: a crisp representation for finite fuzzy $$\\cal{ALCH}$$. In: Bobillo, F., Carvalho, R., da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Martin, T., Nickles, M., Pool, M. (eds.) Proceedings of the 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010). CEUR Workshop Proceedings, vol. 654, pp. 61\u201372, November 2010. ISSN 1613-0073"},{"key":"6_CR67","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Aggregation operators and fuzzy OWL 2. In: Proceedings of the 20th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011), pp. 1727\u20131734. IEEE Press, June 2011","DOI":"10.1109\/FUZZY.2011.6007406"},{"key":"6_CR68","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Fuzzy ontologies and fuzzy integrals. In: Proceedings of the 11th International Conference on Intelligent Systems Design and Applications (ISDA 2011), pp. 1311\u20131316. IEEE Press, November 2011","DOI":"10.1109\/ISDA.2011.6121841"},{"key":"6_CR69","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1016\/j.ijar.2011.05.003","volume":"52","author":"F Bobillo","year":"2011","unstructured":"Bobillo, F., Straccia, U.: Fuzzy ontology representation using OWL 2. Int. J. Approx. Reason. 52, 1073\u20131094 (2011)","journal-title":"Int. J. Approx. Reason."},{"key":"6_CR70","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.ins.2011.10.002","volume":"189","author":"F Bobillo","year":"2012","unstructured":"Bobillo, F., Straccia, U.: Generalized fuzzy rough description logics. Inf. Sci. 189, 43\u201362 (2012)","journal-title":"Inf. Sci."},{"issue":"9","key":"6_CR71","doi-asserted-by":"publisher","first-page":"3816","DOI":"10.1016\/j.asoc.2013.05.008","volume":"13","author":"F Bobillo","year":"2013","unstructured":"Bobillo, F., Straccia, U.: Aggregation operators for fuzzy ontologies. Appl. Soft Comput. 13(9), 3816\u20133830 (2013). ISSN 1568-4946","journal-title":"Appl. Soft Comput."},{"key":"6_CR72","unstructured":"Bobillo, F., Straccia, U.: General concept inclusion absorptions for fuzzy description logics: a first step. In: Proceedings of the 26th International Workshop on Description Logics (DL 2013). CEUR Workshop Proceedings, vol. 1014, pp. 513\u2013525. CEUR-WS.org (2013). http:\/\/ceur-ws.org\/Vol-1014\/paper_3.pdf"},{"key":"6_CR73","unstructured":"Dinh-Khac, D., H\u00f6lldobler, S., Tran, D.-K.: The fuzzy linguistic description logic $$\\cal{ALC}_{FL}$$. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 2096\u20132103. E.D.K., Paris (2006). ISBN 2-84254-112-X"},{"key":"6_CR74","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 2002, pp. 25\u201334. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi (2002)"},{"key":"6_CR75","unstructured":"H\u00f6lldobler, S., Nga, N.H., Khang, T.D.: The fuzzy description logic $$\\cal{ALC}_{FH}$$. In: Proceedings of the International Workshop on Description Logics (DL 2005) (2005)"},{"issue":"3","key":"6_CR76","doi-asserted-by":"publisher","first-page":"294","DOI":"10.20965\/jaciii.2003.p0294","volume":"7","author":"S H\u00f6lldobler","year":"2003","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: The fuzzy description logic $$\\cal{ALC}_{FH}$$ with hedge algebras as concept modifiers. J. Adv. Comput. Intell. Intell. Inform. (JACIII) 7(3), 294\u2013305 (2003). doi:10.20965\/jaciii.2003.p0294","journal-title":"J. Adv. Comput. Intell. Intell. Inform. (JACIII)"},{"key":"6_CR77","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: A fuzzy description logic with hedges and concept modifiers. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004) (2004)"},{"key":"6_CR78","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: The subsumption problem of the fuzzy description logic $$\\cal{ALC}_{FH}$$. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004) (2004)"},{"issue":"5\u20136","key":"6_CR79","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1016\/j.mcm.2010.11.080","volume":"53","author":"Y Jiang","year":"2011","unstructured":"Jiang, Y., Liu, H., Tang, Y., Chen, Q.: Semantic decision making using ontology-based soft sets. Math. Comput. Modell. 53(5\u20136), 1140\u20131149 (2011)","journal-title":"Math. Comput. Modell."},{"issue":"6","key":"6_CR80","doi-asserted-by":"publisher","first-page":"2087","DOI":"10.1016\/j.camwa.2009.12.014","volume":"59","author":"Y Jiang","year":"2010","unstructured":"Jiang, Y., Tang, Y., Chen, Q., Wang, J., Tang, S.: Extending soft sets with description logics. Comput. Math. Appl. 59(6), 2087\u20132096 (2010). ISSN 0898-1221. http:\/\/dx.doi.org\/10.1016\/j.camwa.2009.12.014","journal-title":"Comput. Math. Appl."},{"key":"6_CR81","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/j.knosys.2009.11.002","volume":"23","author":"Y Jiang","year":"2010","unstructured":"Jiang, Y., Tang, Y., Wang, J., Deng, P., Tang, S.: Expressive fuzzy description logics over lattices. Knowl.-Based Syst. 23, 150\u2013161 (2010). ISSN 0950-7051. http:\/\/dx.doi.org\/10.1016\/j.knosys.2009.11.002","journal-title":"Knowl.-Based Syst."},{"key":"6_CR82","doi-asserted-by":"publisher","first-page":"2362","DOI":"10.1016\/j.ins.2009.03.001","volume":"179","author":"Y Jiang","year":"2009","unstructured":"Jiang, Y., Tang, Y., Wang, J., Tang, S.: Reasoning within intuitionistic fuzzy rough description logics. Inf. Sci. 179, 2362\u20132378 (2009)","journal-title":"Inf. Sci."},{"issue":"8","key":"6_CR83","doi-asserted-by":"publisher","first-page":"6052","DOI":"10.1016\/j.eswa.2010.02.122","volume":"37","author":"Y Jiang","year":"2010","unstructured":"Jiang, Y., Tang, Y., Wang, J., Tang, S.: Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies. Expert Syst. Appl. 37(8), 6052\u20136060 (2010). ISSN 0957-4174. http:\/\/dx.doi.org\/10.1016\/j.eswa.2010.02.122","journal-title":"Expert Syst. Appl."},{"issue":"23","key":"6_CR84","doi-asserted-by":"publisher","first-page":"3403","DOI":"10.1016\/j.fss.2009.01.004","volume":"160","author":"Y Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Deng, P., Tang, S.: Reasoning within expressive fuzzy rough description logics. Fuzzy Sets Syst. 160(23), 3403\u20133424 (2009). doi:10.1016\/j.fss.2009.01.004","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"6_CR85","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1016\/j.ins.2008.10.021","volume":"179","author":"Y Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: an approximate concepts approach. Inf. Sci. 179(5), 600\u2013612 (2009). ISSN 0020-0255","journal-title":"Inf. Sci."},{"key":"6_CR86","doi-asserted-by":"crossref","unstructured":"Kang, B., Xu, D., Lu, J., Li, Y.: Reasoning for a fuzzy description logic with comparison expressions. In: Proceedings of the International Workshop on Description Logics (DL 2006). CEUR Workshop Proceedings (2006)","DOI":"10.1007\/11892960_78"},{"key":"6_CR87","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":"Web Reasoning and Rule Systems","author":"T Mailis","year":"2007","unstructured":"Mailis, T., Stoilos, G., Stamou, G.: Expressive reasoning with horn rules and fuzzy description logics. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 43\u201357. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72982-2_4"},{"key":"6_CR88","doi-asserted-by":"crossref","unstructured":"Straccia, U.: Towards spatial reasoning in fuzzy description logics. In: 2009 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2009), pp. 512\u2013517. IEEE Computer Society (2009)","DOI":"10.1109\/FUZZY.2009.5277056"},{"key":"6_CR89","doi-asserted-by":"crossref","unstructured":"Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), Brighton, England, August 1998","DOI":"10.25368\/2022.77"},{"issue":"3","key":"6_CR90","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1016\/j.ijar.2008.10.003","volume":"50","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J., Straccia, U.: Fuzzy description logics under G\u00f6del semantics. Int. J. Approx. Reason. 50(3), 494\u2013514 (2009)","journal-title":"Int. J. Approx. Reason."},{"key":"6_CR91","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1109\/FUZZY.2007.4295443"},{"issue":"23","key":"6_CR92","doi-asserted-by":"publisher","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","volume":"160","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets Syst. 160(23), 3382\u20133402 (2009)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"6_CR93","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 general. Fuzzy Sets Syst. 154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR94","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, pp. 91\u2013100. Elsevier, Amsterdam (2006). Chap. 5"},{"key":"6_CR95","unstructured":"Straccia, U.: Uncertainty in description logics: a lattice-based approach. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 251\u2013258 (2004)"},{"key":"6_CR96","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, pp. 115\u2013133. Elsevier, Amsterdam (2006). Chap. 7"},{"issue":"1","key":"6_CR97","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. Int. J. Uncertainty, Fuzziness Knowl.-Based Syst. 14(1), 1\u201316 (2006)","journal-title":"Int. J. Uncertainty, Fuzziness Knowl.-Based Syst."},{"key":"6_CR98","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R.: Are fuzzy description logics with general concept inclusion axioms decidable? In: Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011). IEEE Press (2011)","DOI":"10.1109\/FUZZY.2011.6007520"},{"key":"6_CR99","unstructured":"Baader, F., Pe\u00f1aloza, R.: GCIs make reasoning in fuzzy DLs with the product t-norm undecidable. In: Proceedings of the 24th International Workshop on Description Logics (DL 2011). CEUR Electronic Workshop Proceedings (2011)"},{"issue":"1","key":"6_CR100","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2011.02.012","volume":"172","author":"F Bobillo","year":"2011","unstructured":"Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets Syst. 172(1), 1\u201312 (2011)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR101","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 2nd Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), November 2006"},{"key":"6_CR102","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-89765-1_11","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"F Bobillo","year":"2008","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: A crisp representation for fuzzy $$\\cal{SHOIN}$$ with fuzzy nominals and general concept inclusions. In: Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 174\u2013188. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-89765-1_11"},{"key":"6_CR103","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-89765-1_12","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"F Bobillo","year":"2008","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: Optimizing the crisp representation of the fuzzy description logic $$\\cal{SROIQ}$$. In: Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 189\u2013206. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-89765-1_12"},{"key":"6_CR104","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1142\/S0218488512500249","volume":"20","author":"F Bobillo","year":"2012","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J., Straccia, U.: Joining G\u00f6del and Zadeh fuzzy logics in fuzzy description logics. Int. J. Uncertainty, Fuzziness Knowl.-Based Syst. 20, 475\u2013508 (2012)","journal-title":"Int. J. Uncertainty, Fuzziness Knowl.-Based Syst."},{"key":"6_CR105","series-title":"Lecture Notes in Computer Science (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.) ISMIS 2008. LNCS (LNAI), vol. 4994, pp. 309\u2013318. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-68123-6_34"},{"key":"6_CR106","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1016\/j.ins.2010.10.020","volume":"181","author":"F Bobillo","year":"2011","unstructured":"Bobillo, F., Straccia, U.: Reasoning with the finitely many-valued Lukasiewicz fuzzy description logic $$\\cal{SROIQ}$$. Inf. Sci. 181, 758\u2013778 (2011)","journal-title":"Inf. Sci."},{"key":"6_CR107","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-35975-0_6","volume-title":"Uncertainty Reasoning for the Semantic Web II","author":"F Bobillo","year":"2013","unstructured":"Bobillo, F., Straccia, U.: Finite fuzzy description logics and crisp representations. In: Bobillo, F., et al. (eds.) UniDL\/URSW 2008-2010. LNCS (LNAI), vol. 7123, pp. 99\u2013118. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-35975-0_6"},{"key":"6_CR108","unstructured":"Bobillo, F., Straccia, U.: A MILP-based decision procedure for the (fuzzy) description logic $$\\cal{ALCB}$$. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014), vol. 1193, pp. 378\u2013390. CEUR Workshop Proceedings, ISSN 1613-0073, July 2014"},{"key":"6_CR109","doi-asserted-by":"publisher","unstructured":"Bobillo, F., Straccia, U.: On partitioning-based optimisations in expressive fuzzy description logics. In: Proceedings of the 24th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2015). IEEE Press, August 2015. doi:10.1109\/FUZZ-IEEE.2015.7337838","DOI":"10.1109\/FUZZ-IEEE.2015.7337838"},{"key":"6_CR110","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.fss.2014.10.029","volume":"292","author":"F Bobillo","year":"2016","unstructured":"Bobillo, F., Straccia, U.: Optimising fuzzy description logic reasoners with general concept inclusions absorption. Fuzzy Sets Syst. 292, 98\u2013129 (2016). http:\/\/dx.doi.org\/10.1016\/j.fss.2014.10.029","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR111","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/10983652_3","volume-title":"Fuzzy Logic and Applications","author":"PA Bonatti","year":"2006","unstructured":"Bonatti, P.A., Tettamanzi, A.G.B.: Some complexity results on fuzzy description logics. In: Ges\u00fa, V., Masulli, F., Petrosino, A. (eds.) WILF 2003. LNCS (LNAI), vol. 2955, pp. 19\u201324. Springer, Heidelberg (2006). doi:10.1007\/10983652_3"},{"key":"6_CR112","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-31365-3_9","volume-title":"Automated Reasoning","author":"S Borgwardt","year":"2012","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: How fuzzy is my fuzzy description logic? In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 82\u201396. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31365-3_9"},{"key":"6_CR113","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: Non-G\u00f6del negation makes unwitnessed consistency undecidable. In: Proceedings of the 2012 International Workshop on Description Logics (DL 2012), vol. 846. CEUR-WS.org (2012)"},{"key":"6_CR114","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Description logics over lattices with multi-valued ontologies. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 768\u2013773 (2011)"},{"key":"6_CR115","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Finite lattices do not make reasoning in $$\\cal{ALCI}$$ harder. In: Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), vol. 778, pp. 51\u201362. CEUR-WS.org (2011)"},{"key":"6_CR116","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Fuzzy ontologies over lattices with t-norms. In: Proceedings of the 24th International Workshop on Description Logics (DL 2011). CEUR Electronic Workshop Proceedings (2011)"},{"key":"6_CR117","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-33203-6_3","volume-title":"Web Reasoning and Rule Systems","author":"S Borgwardt","year":"2012","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: A tableau algorithm for fuzzy description logics over residuated De Morgan lattices. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 9\u201324. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-33203-6_3"},{"key":"6_CR118","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: Undecidability of fuzzy description logics. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 232\u2013242. AAAI Press, Rome (2012)"},{"key":"6_CR119","unstructured":"Bou, F., Cerami, M., Esteva, F.: Finite-valued Lukasiewicz modal logic is PSPACE-complete. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 774\u2013779 (2011)"},{"key":"6_CR120","unstructured":"Cerami, M., Esteva, F., Bou, F.: Decidability of a description logic over infinite-valued product logic. In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)"},{"key":"6_CR121","unstructured":"Cerami, M., Straccia, U.: On the undecidability of fuzzy description logics with GCIs with lukasiewicz t-norm. Technical report, Computing Research Repository (2011). Available as CoRR technical report at http:\/\/arxiv.org\/abs\/1107.4212"},{"key":"6_CR122","unstructured":"Cerami, M., Straccia, U.: Undecidability of KB satisfiability for l-$$\\cal{ALC}$$ with GCIs, July 2011. Unpublished manuscript"},{"key":"6_CR123","unstructured":"Fernando Bobillo, U.S.: Reducing the size of the optimization problems in fuzzy ontology reasoning. In: Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015). CEUR Workshop Proceedings, vol. 1479, pp. 54\u201359. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1479\/paper6.pdf"},{"key":"6_CR124","unstructured":"Pan, J.Z., Stamou, G., Stoilos, G., Thomas, E.: Expressive querying over fuzzy DL-Lite ontologies. In: Twentieth International Workshop on Description Logics (2007). http:\/\/www.image.ece.ntua.gr\/publications.php"},{"key":"6_CR125","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). http:\/\/www.image.ece.ntua.gr\/publications.php"},{"key":"6_CR126","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. J. Artif. Intell. Res. 30, 273\u2013320 (2007)","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR127","unstructured":"Stoilos, G., Straccia, U., Stamou, G., Pan, J.Z.: General concept inclusions in fuzzy description logics. In: Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI 2006), pp. 457\u2013461. IOS Press (2006)"},{"key":"6_CR128","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30227-8_33","volume-title":"Logics in Artificial Intelligence","author":"U Straccia","year":"2004","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 385\u2013399. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30227-8_33"},{"key":"6_CR129","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/11853886_36","volume-title":"Logics in Artificial Intelligence","author":"U Straccia","year":"2006","unstructured":"Straccia, U.: Towards Top-k query answering in description logics: the case of DL-lite. In: Fisher, M., Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439\u2013451. Springer, Heidelberg (2006). doi:10.1007\/11853886_36"},{"key":"6_CR130","unstructured":"Straccia, U.: Reasoning in l-$$\\cal{SHIF}$$: an expressive fuzzy description logic under lukasiewicz semantics. Technical report TR-2007-10-18, Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy (2007)"},{"key":"6_CR131","doi-asserted-by":"crossref","unstructured":"Straccia, U., Bobillo, F.: Mixed integer programming, general concept inclusions and fuzzy description logics. In: Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, pp. 213\u2013220. University of Ostrava, Ostrava (2007)","DOI":"10.1109\/FUZZY.2007.4295443"},{"issue":"3","key":"6_CR132","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 Comput. 14(3), 247\u2013259 (2007)","journal-title":"Mathware Soft Comput."},{"key":"6_CR133","unstructured":"Li, Y., Xu, B., Lu, J., Kang, D.: Discrete tableau algorithms for $$\\cal{FSHI}$$. In: Proceeedings of the International Workshop on Description Logics (DL 2006). CEUR (2006). http:\/\/ceur-ws.org\/Vol-189\/submission_14.pdf"},{"key":"6_CR134","unstructured":"Zhou, Z., Qi, G., Liu, C., Hitzler, P., Mutharaju, R.: Reasoning with fuzzy-$$\\cal{EL}^{+}$$ ontologies using map reduce. In: 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 933\u2013934. IOS Press (2012)"},{"key":"6_CR135","doi-asserted-by":"publisher","unstructured":"Andreasen, T., Bulskov, H.: Conceptual querying through ontologies. Fuzzy Sets Syst. 160(15), 2159\u20132172 (2009). ISSN 0165-0114. doi:10.1016\/j.fss.2009.02.019","DOI":"10.1016\/j.fss.2009.02.019"},{"key":"6_CR136","doi-asserted-by":"publisher","unstructured":"Calegari, S., Sanchez, E.: Object-fuzzy concept network: an enrichment of ontologies in semantic information retrieval. J. Am. Soc. Inf. Sci. Technol. 59(13), 2171\u20132185 (2008). ISSN 1532-2882. doi:10.1002\/asi.v59:13","DOI":"10.1002\/asi.v59:13"},{"issue":"4","key":"6_CR137","first-page":"47","volume":"2","author":"C Liu","year":"2012","unstructured":"Liu, C., Liu, D., Wang, S.: Fuzzy geospatial information modeling in geospatial semantic retrieval. Adv. Math. Comput. Methods 2(4), 47\u201353 (2012)","journal-title":"Adv. Math. Comput. Methods"},{"key":"6_CR138","unstructured":"Straccia, U., Visco, G.: DL-Media: an ontology mediated multimedia information retrieval system. In: Proceedings of the International Workshop on Description Logics (DL 2007), vol. 250. CEUR, Insbruck (2007). http:\/\/ceur-ws.org"},{"key":"6_CR139","unstructured":"Straccia, U., Visco, G.: DLMedia: an ontology mediated multimedia information retrieval system. In: Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, Karlsruhe, Germany, 26 October (URSW 2008). CEUR Workshop Proceedings, vol. 423. CEUR-WS.org (2008). http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-423\/paper4.pdf"},{"issue":"2","key":"6_CR140","first-page":"481","volume":"38","author":"M Wallace","year":"2009","unstructured":"Wallace, M.: Ontologies and soft computing in flexible querying. Control Cybern. 38(2), 481\u2013507 (2009)","journal-title":"Control Cybern."},{"key":"6_CR141","doi-asserted-by":"crossref","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). ISBN 1-59593-046-9. http:\/\/doi.acm.org\/10.1145\/1060745.1060812","DOI":"10.1145\/1060745.1060812"},{"key":"6_CR142","doi-asserted-by":"publisher","unstructured":"Carlsson, C., Brunelli, M., Mezei, J.: Decision making with a fuzzy ontology. Soft Comput. 16(7), 1143\u20131152 (2012). ISSN 1432-7643. doi:10.1007\/s00500-011-0789-x","DOI":"10.1007\/s00500-011-0789-x"},{"issue":"2","key":"6_CR143","first-page":"374","volume":"18","author":"C-S Lee","year":"2010","unstructured":"Lee, C.-S., Wang, M.H., Hagras, H.: A type-2 fuzzy ontology and its application to personal diabetic-diet recommendation. IEEE Trans. Fuzzy Syst. 18(2), 374\u2013395 (2010)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"9","key":"6_CR144","doi-asserted-by":"publisher","first-page":"1617","DOI":"10.1007\/s00500-012-0975-5","volume":"17","author":"IJ P\u00e9rez","year":"2013","unstructured":"P\u00e9rez, I.J., Wikstr\u00f6m, R., Mezei, J., Carlsson, C., Herrera-Viedma, E.: A new consensus model for group decision making using fuzzy ontology. Soft Comput. 17(9), 1617\u20131627 (2013)","journal-title":"Soft Comput."},{"key":"6_CR145","doi-asserted-by":"crossref","unstructured":"Yaguinuma, C.A., Santos, M.T.P., Camargo, H.A., Reformat, M.: A FML-based hybrid reasoner combining fuzzy ontology and mamdani inference. In: Proceedings of the 22nd IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2013) (2013)","DOI":"10.1109\/FUZZ-IEEE.2013.6622491"},{"key":"6_CR146","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-12842-4_10","volume-title":"Artificial Intelligence: Theories, Models and Applications","author":"S Dasiopoulou","year":"2010","unstructured":"Dasiopoulou, S., Kompatsiaris, I.: Trends and issues in description logics frameworks for image interpretation. In: Konstantopoulos, S., Perantonis, S., Karkaletsis, V., Spyropoulos, C.D., Vouros, G. (eds.) SETN 2010. LNCS (LNAI), vol. 6040, pp. 61\u201370. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-12842-4_10"},{"key":"6_CR147","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-10562-3_4","volume":"14","author":"S Dasiopoulou","year":"2009","unstructured":"Dasiopoulou, S., Kompatsiaris, I., Strintzis, M.G.: Applying fuzzy DLS in the extraction of image semantics. J. Data Semant. 14, 105\u2013132 (2009)","journal-title":"J. Data Semant."},{"key":"6_CR148","doi-asserted-by":"publisher","unstructured":"Dasiopoulou, S., Kompatsiaris, I., Strintzis, M.G.: Investigating fuzzy DLS-based reasoning in semantic image analysis. Multimedia Tools Appl. 49(1), 167\u2013194 (2010). ISSN 1380-7501. doi:10.1007\/s11042-009-0393-6","DOI":"10.1007\/s11042-009-0393-6"},{"issue":"5","key":"6_CR149","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. J. ACM 48(5), 909\u2013970 (2001)","journal-title":"J. ACM"},{"key":"6_CR150","unstructured":"Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrock, I.: A fuzzy description logic for multimedia knowledge representation. In: Proceedings of the International Workshop on Multimedia and the Semantic Web (2005)"},{"key":"6_CR151","unstructured":"Straccia, U.: Foundations of a logic based approach to multimedia document retrieval. Ph.D. thesis, Department of Computer Science, University of Dortmund, Dortmund, Germany, June 1999"},{"key":"6_CR152","series-title":"Studies in Fuzziness and Soft Computing","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. SFSC, vol. 50, pp. 332\u2013357. Springer, Heidelberg (2000)"},{"key":"6_CR153","doi-asserted-by":"crossref","unstructured":"Costa, P.C.G., Laskey, K.B., Lukasiewicz, T.: Uncertainty representation and reasoning in the semantic web. In: Semantic Web Engineering in the Knowledge Society, pp. 315\u2013340. IGI Global (2008)","DOI":"10.4018\/978-1-60566-112-4.ch013"},{"issue":"6","key":"6_CR154","doi-asserted-by":"publisher","first-page":"842","DOI":"10.1109\/TKDE.2006.87","volume":"18","author":"TT Quan","year":"2006","unstructured":"Quan, T.T., Hui, S.C., Fong, A.C.M., Cao, T.H.: Automatic fuzzy ontology generation for semantic web. IEEE Trans. Knowl. Data Eng. 18(6), 842\u2013856 (2006)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"6_CR155","series-title":"Capturing Intelligence","volume-title":"Fuzzy Logic and the Semantic Web","year":"2006","unstructured":"Sanchez, E. (ed.): Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1. Elsevier Science, Amsterdam (2006)"},{"issue":"10","key":"6_CR156","doi-asserted-by":"publisher","first-page":"18131","DOI":"10.3390\/s141018131","volume":"14","author":"N D\u00edaz-Rodr\u00edguez","year":"2014","unstructured":"D\u00edaz-Rodr\u00edguez, N., Le\u00f3n-Cadah\u00eda, O., Pegalajar-Cu\u00e9llar, M., Lilius, J., Delgado, M.: Handling real-world context-awareness, uncertainty and vagueness in real-time human activity tracking and recognition with a fuzzy ontology-based hybrid method. Sensors 14(10), 18131\u201318171 (2014)","journal-title":"Sensors"},{"key":"6_CR157","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.knosys.2014.04.016","volume":"66","author":"N D\u00edaz-Rodr\u00edguez","year":"2014","unstructured":"D\u00edaz-Rodr\u00edguez, N., Pegalajar-Cu\u00e9llar, M., Lilius, J., Delgado, M.: A fuzzy ontology for semantic modelling and recognition of human behaviour. Knowl.-Based Syst. 66, 46\u201360 (2014)","journal-title":"Knowl.-Based Syst."},{"key":"6_CR158","doi-asserted-by":"crossref","unstructured":"Liu, C., Liu, D., Wang, S.: Situation modeling and identifying under uncertainty. In: Proceedings of the 2nd Pacific-Asia Conference on Circuits, Communications and System (PACCS 2010), pp. 296\u2013299 (2010)","DOI":"10.1109\/PACCS.2010.5626909"},{"key":"6_CR159","doi-asserted-by":"publisher","unstructured":"Rodr\u00edguez, N.D., Cu\u00e9llar, M.P., Lilius, J., Calvo-Flores, M.D.: A survey on ontologies for human behavior recognition. ACM Comput. Surveys 46(4), 43:1\u201343:33 (2014). ISSN 0360-0300. doi:10.1145\/2523819","DOI":"10.1145\/2523819"},{"issue":"2","key":"6_CR160","doi-asserted-by":"publisher","first-page":"1908","DOI":"10.1016\/j.asoc.2010.06.007","volume":"11","author":"R-C Chen","year":"2011","unstructured":"Chen, R.-C., Bau, C.T., Yeh, C.-J.: Merging domain ontologies based on the WordNet system and fuzzy formal concept analysis techniques. Appl. Soft Comput. 11(2), 1908\u20131923 (2011)","journal-title":"Appl. Soft Comput."},{"issue":"1","key":"6_CR161","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1142\/S0218488514500044","volume":"22","author":"K Todorov","year":"2014","unstructured":"Todorov, K., Hudelot, C., Popescu, A., Geibel, P.: Fuzzy ontology alignment using background knowledge. Int. J. Uncertainty Fuzziness Knowl.-Based Syst. 22(1), 75\u2013112 (2014)","journal-title":"Int. J. Uncertainty Fuzziness Knowl.-Based Syst."},{"key":"6_CR162","doi-asserted-by":"crossref","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, Washington, DC (2005). ISBN 0-7695-2277-7. http:\/\/dx.doi.org\/10.1109\/ICECT.2005.84","DOI":"10.1109\/ICECT.2005.84"},{"key":"6_CR163","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-642-04329-1_19","volume-title":"Semantic Web Information Management","author":"S Colucci","year":"2010","unstructured":"Colucci, S., Noia, T.D., Ragone, A., Ruta, M., Straccia, U., Tinelli, E.: Informative top-k retrieval for advanced skill management. In: de Virgilio, R., Giunchiglia, F., Tanca, L. (eds.) Semantic Web Information Management, pp. 449\u2013476. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-04329-1_19. Chap. 19"},{"key":"6_CR164","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-85567-5_37","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"A Ragone","year":"2008","unstructured":"Ragone, A., Straccia, U., Bobillo, F., Noia, T., Sciascio, E.: Fuzzy bilateral matchmaking in e-marketplaces. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008. LNCS (LNAI), vol. 5179, pp. 293\u2013301. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-85567-5_37"},{"key":"6_CR165","unstructured":"Ragone, A., Straccia, U., Noia, T.D., Sciascio, E.D., Donini, F.M.: Extending datalog for matchmaking in P2P E-marketplaces. In: Ceci, M., Malerba, D., Tanca, L. (eds.) 15th Italian Symposium on Advanced Database Systems (SEBD 2007), pp. 463\u2013470 (2007). ISBN 978-88-902981-0-3"},{"key":"6_CR166","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-72667-8_30","volume-title":"The Semantic Web: Research and Applications","author":"A Ragone","year":"2007","unstructured":"Ragone, A., Straccia, U., Noia, T., Sciascio, E., Donini, F.M.: Vague knowledge bases for matchmaking in P2P E-marketplaces. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 414\u2013428. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72667-8_30"},{"key":"6_CR167","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-77684-0_25","volume-title":"Foundations of Information and Knowledge Systems","author":"A Ragone","year":"2008","unstructured":"Ragone, A., Straccia, U., Noia, T., Sciascio, E., Donini, F.M.: Towards a fuzzy logic for automated multi-issue negotiation. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 381\u2013396. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-77684-0_25"},{"key":"6_CR168","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-642-04125-9_50","volume-title":"Foundations of Intelligent Systems","author":"U Straccia","year":"2009","unstructured":"Straccia, U., Tinelli, E., Colucci, S., Noia, T., Sciascio, E.: Semantic-based top-k retrieval for competence management. In: Rauch, J., Ra\u015b, Z.W., Berka, P., Elomaa, T. (eds.) ISMIS 2009. LNCS (LNAI), vol. 5722, pp. 473\u2013482. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-04125-9_50"},{"key":"6_CR169","unstructured":"Straccia, U., Tinelli, E., Noia, T.D., Sciascio, E.D., Colucci, S.: Top-k retrieval for automated human resource management. In: Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009), pp. 161\u2013168 (2009)"},{"key":"6_CR170","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-04595-0_10","volume-title":"Knowledge-Based and Intelligent Information and Engineering Systems","author":"U Straccia","year":"2009","unstructured":"Straccia, U.: Multi criteria decision making in fuzzy description logics: a first step. In: Vel\u00e1squez, J.D., R\u00edos, S.A., Howlett, R.J., Jain, L.C. (eds.) KES 2009. LNCS (LNAI), vol. 5711, pp. 78\u201386. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-04595-0_10"},{"issue":"5","key":"6_CR171","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSMCB.2005.845032","volume":"35","author":"C-S Lee","year":"2005","unstructured":"Lee, C.-S., Jian, Z.-W., Huang, L.-K.: A fuzzy ontology and its application to news summarization. IEEE Trans. Syst. Man Cybern. Part B 35(5), 859\u2013880 (2005)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"issue":"1","key":"6_CR172","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/rob.21491","volume":"31","author":"M Eich","year":"2014","unstructured":"Eich, M., Hartanto, R., Kasperski, S., Natarajan, S., Wollenberg, J.: Towards coordinated multirobot missions for lunar sample collection in an unknown environment. J. Field Robot. 31(1), 35\u201374 (2014)","journal-title":"J. Field Robot."},{"key":"6_CR173","doi-asserted-by":"crossref","unstructured":"Eich, T.: An application of fuzzy DL-based semantic perception to soil container classification. In: IEEE International Conference on Technologies for Practical Robot Applications (TePRA 2013), pp. 1\u20136. IEEE Press (2013)","DOI":"10.1109\/TePRA.2013.6556369"},{"issue":"4","key":"6_CR174","doi-asserted-by":"crossref","first-page":"503","DOI":"10.3233\/FI-2013-846","volume":"124","author":"FA Lisi","year":"2013","unstructured":"Lisi, F.A., Straccia, U.: A logic-based computational method for the automated induction of fuzzy ontology axioms. Fundamenta Informaticae 124(4), 503\u2013519 (2013)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR175","unstructured":"Lisi, F.A., Straccia, U.: A system for learning GCI axioms in fuzzy description logics. In: Proceedings of the 26th International Workshop on Description Logics (DL 2013). CEUR Workshop Proceedings, vol. 1014, pp. 760\u2013778. CEUR-WS.org (2013). http:\/\/ceur-ws.org\/Vol-1014\/paper_42.pdf"},{"key":"6_CR176","doi-asserted-by":"publisher","unstructured":"Lisi, F.A., Straccia, U.: Can ILP deal with incomplete and vague structured knowledge? In: Muggleton, S.H., Watanabe, H. (eds.) Latest Advances in Inductive Logic Programming, chapter 21, pp. 199\u2013206. World Scientific (2014). doi:10.1142\/9781783265091_0021","DOI":"10.1142\/9781783265091_0021"},{"key":"6_CR177","doi-asserted-by":"publisher","unstructured":"Lisi, F.A., Straccia, U.: Learning in description logics with fuzzy concrete domains. Fundamenta Informaticae 140(3\u20134), 373\u2013391 (2015). ISSN 1875-8681. doi:10.3233\/FI-2015-1259","DOI":"10.3233\/FI-2015-1259"},{"key":"6_CR178","unstructured":"Lisi, F.A., Straccia, U.: An inductive logic programming approach to learning inclusion axiomsin fuzzy description logics. In: 26th Italian Conference on Computational Logic (CILC 2011). CEUR Electronic Workshop Proceedings, vol. 810, pp. 57\u201371 (2011). http:\/\/ceur-ws.org\/Vol-810\/paper-l04.pdf"},{"key":"6_CR179","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-23713-3_8","volume-title":"Fuzzy Logic and Applications","author":"FA Lisi","year":"2011","unstructured":"Lisi, F.A., Straccia, U.: Towards learning fuzzy DL inclusion axioms. In: Fanelli, A.M., Pedrycz, W., Petrosino, A. (eds.) WILF 2011. LNCS (LNAI), vol. 6857, pp. 58\u201366. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23713-3_8"},{"key":"6_CR180","unstructured":"Lisi, F.A., Straccia, U.: Dealing with incompleteness and vagueness in inductive logic programming. In: 28th Italian Conference on Computational Logic (CILC 2013). CEUR Electronic Workshop Proceedings, vol. 1068, pp. 179\u2013193 (2013). ISSN 1613-0073. http:\/\/ceur-ws.org\/Vol-1068\/paper-l12.pdf"},{"key":"6_CR181","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-662-44923-3_9","volume-title":"Inductive Logic Programming","author":"FA Lisi","year":"2014","unstructured":"Lisi, F.A., Straccia, U.: A FOIL-like method for learning under incompleteness and vagueness. In: Zaverucha, G., Santos Costa, V., Paes, A. (eds.) ILP 2013. LNCS (LNAI), vol. 8812, pp. 123\u2013139. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-44923-3_9"},{"key":"6_CR182","doi-asserted-by":"crossref","unstructured":"Straccia, U., Mucci, M.: pFOIL-DL: learning (fuzzy) $$\\cal{EL}$$ concept descriptions from crisp owl data using a probabilistic ensemble estimation. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), pp. 345\u2013352. ACM, Salamanca (2015)","DOI":"10.1145\/2695664.2695707"},{"key":"6_CR183","unstructured":"Balaj, R., Groza, A.: Detecting influenza epidemics based on real-time semantic analysis of Twitter streams. In: Proceedings of the 3rd International Conference on Modelling and Development of Intelligent Systems (MDIS 2013), pp. 30\u201339 (2013)"},{"key":"6_CR184","doi-asserted-by":"crossref","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. Capturing Intelligence, pp. 379\u2013393. Elsevier (2006)","DOI":"10.1016\/S1574-9576(06)80021-3"},{"key":"6_CR185","unstructured":"Fern\u00e1ndez, C.: Understanding image sequences: the role of ontologies in cognitive vision systems. Ph.D. thesis, Universitat Aut\u00f2noma de Barcelona, Spain (2010)"},{"key":"6_CR186","doi-asserted-by":"crossref","unstructured":"Iglesias, J., Lehmann, J.: Towards integrating fuzzy logic capabilities into an ontology-based inductive logic programming framework. In: Proceedings of the 11th International Conference on Intelligent Systems Design and Applications (ISDA 2011), pp. 1323\u20131328 (2011)","DOI":"10.1109\/ISDA.2011.6121843"},{"key":"6_CR187","doi-asserted-by":"crossref","unstructured":"Konstantopoulos, S., Karkaletsis, V., Bilidas, D.: An intelligent authoring environment for abstract semantic representations of cultural object descriptions. In: Proceedings of the EACL 2009 Workshop on Language Technology and Resources for Cultural Heritage, Social Sciences, Humanities, and Education (LaTeCH SHELT&R 2009), pp. 10\u201317 (2009)","DOI":"10.3115\/1642049.1642051"},{"issue":"3","key":"6_CR188","doi-asserted-by":"publisher","first-page":"94","DOI":"10.4316\/aece.2009.03017","volume":"9","author":"IA Letia","year":"2009","unstructured":"Letia, I.A., Groza, A.: Modelling imprecise arguments in description logic. Adv. Electr. Comput. Eng. 9(3), 94\u201399 (2009)","journal-title":"Adv. Electr. Comput. Eng."},{"key":"6_CR189","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)"},{"issue":"10","key":"6_CR190","doi-asserted-by":"publisher","first-page":"9494","DOI":"10.1016\/j.eswa.2012.02.107","volume":"39","author":"C Mart\u00ednez-Cruz","year":"2012","unstructured":"Mart\u00ednez-Cruz, C., van der Heide, A., S\u00e1nchez, D., Trivi\u00f1o, G.: An approximation to the computational theory of perceptions using ontologies. Expert Syst. Appl. 39(10), 9494\u20139503 (2012). doi:10.1016\/j.eswa.2012.02.107","journal-title":"Expert Syst. Appl."},{"issue":"3","key":"6_CR191","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/TII.2006.873363","volume":"2","author":"TT Quan","year":"2006","unstructured":"Quan, T.T., Hui, S.C., Fong, A.C.M.: Automatic fuzzy ontology generation for semantic help-desk support. IEEE Trans. Ind. Inf. 2(3), 155\u2013164 (2006)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"6_CR192","doi-asserted-by":"crossref","unstructured":"Rodger, J.A.: A fuzzy linguistic ontology payoff method for aerospace real optionsvaluation. Expert Syst. Appl. 40(8) (2013)","DOI":"10.1016\/j.eswa.2012.12.001"},{"key":"6_CR193","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-642-35843-2_44","volume-title":"SOFSEM 2013: Theory and Practice of Computer Science","author":"V Slav\u00ed\u010dek","year":"2013","unstructured":"Slav\u00ed\u010dek, V.: An ontology-driven fuzzy workflow system. In: Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol. 7741, pp. 515\u2013527. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-35843-2_44"},{"key":"6_CR194","unstructured":"OWL Web Ontology Language Overview. http:\/\/www.w3.org\/TR\/owl-features\/. W3C (2004)"},{"issue":"4","key":"6_CR195","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B Cuenca-Grau","year":"2008","unstructured":"Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: the next step for OWL. J. Web Semant. 6(4), 309\u2013322 (2008)","journal-title":"J. Web Semant."},{"key":"6_CR196","doi-asserted-by":"publisher","unstructured":"Bobillo, F., Straccia, U.: The fuzzy ontology reasoner fuzzy DL. Knowl.-Based Syst. 95, 12\u201334 (2016). doi:10.1016\/j.knosys.2015.11.017. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950705115004621","DOI":"10.1016\/j.knosys.2015.11.017"},{"key":"6_CR197","unstructured":"Fire. http:\/\/www.image.ece.ntua.gr\/nsimou\/FiRE\/"},{"issue":"5","key":"6_CR198","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MIS.2006.105","volume":"21","author":"G Stoilos","year":"2006","unstructured":"Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the semantic web. IEEE Intell. Syst. 21(5), 84\u201387 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"6_CR199","doi-asserted-by":"crossref","unstructured":"Straccia, U.: Softfacts: a top-k retrieval engine for ontology mediated access to relational databases. In: Proceedings of the 2010 IEEE International Conference on Systems, Man and Cybernetics (SMC 2010), pp. 4115\u20134122. IEEE Press (2010)","DOI":"10.1109\/ICSMC.2010.5641780"},{"key":"6_CR200","unstructured":"Haarslev, V., Pai, H.-I., Shiri, N.: Optimizing tableau reasoning in ALC extended with uncertainty. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007) (2007)"},{"key":"6_CR201","unstructured":"Habiballa, H.: Resolution strategies for fuzzy description logic. In: Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, pp. 27\u201336 (2007)"},{"key":"6_CR202","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1312","DOI":"10.1007\/978-3-540-76890-6_59","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"S Konstantopoulos","year":"2007","unstructured":"Konstantopoulos, S., Apostolikas, G.: Fuzzy-DL reasoning over unknown fuzzy degrees. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2007. LNCS, vol. 4806, pp. 1312\u20131318. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-76890-6_59. ISBN 3-540-76889-0, 978-3-540-76889-0"},{"key":"6_CR203","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-642-03573-9_38","volume-title":"Database and Expert Systems Applications","author":"H Wang","year":"2009","unstructured":"Wang, H., Ma, Z.M., Yin, J.: FRESG: a kind of fuzzy description logic reasoner. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2009. LNCS, vol. 5690, pp. 443\u2013450. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-03573-9_38"},{"key":"6_CR204","doi-asserted-by":"crossref","unstructured":"Straccia, U.: An ontology mediated multimedia information retrieval system. In: Proceedings of the the 40th International Symposium on Multiple-Valued Logic (ISMVL 2010), pp. 319\u2013324. IEEE Computer Society (2010)","DOI":"10.1109\/ISMVL.2010.65"},{"key":"6_CR205","unstructured":"Gao, M., Liu, C.: Extending OWL by fuzzy description logic. In: Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), pp. 562\u2013567. IEEE Computer Society, Washington, DC (2005). ISBN 0-7695-2488-5. http:\/\/dl.acm.org\/citation.cfm?id=1105924.1106115"},{"key":"6_CR206","doi-asserted-by":"publisher","unstructured":"Stoilos, G., Stamou, G., Pan, J.Z.: Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics. Int. J. Approx. Reason. 51(6), 656\u2013679 (2010). ISSN 0888-613X. doi:10.1016\/j.ijar.2010.01.005","DOI":"10.1016\/j.ijar.2010.01.005"},{"key":"6_CR207","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-04125-9_18","volume-title":"Foundations of Intelligent Systems","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: An OWL ontology for fuzzy OWL 2. In: Rauch, J., Ra\u015b, Z.W., Berka, P., Elomaa, T. (eds.) ISMIS 2009. LNCS (LNAI), vol. 5722, pp. 151\u2013160. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-04125-9_18"},{"key":"6_CR208","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Representing fuzzy ontologies in OWL 2. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010), pp. 2695\u20132700. IEEE Press, July 2010","DOI":"10.1109\/FUZZY.2010.5584661"},{"key":"6_CR209","unstructured":"Fuzzy OWL 2 Web Ontology Language. http:\/\/www.straccia.info\/software\/FuzzyOWL\/. ISTI - CNR (2011)"},{"key":"6_CR210","volume-title":"Principles of Database and Knowledge Base Systems","author":"JD Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol. 1, 2. Computer Science Press, Potomac (1989)"},{"key":"6_CR211","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":"6_CR212","volume-title":"Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"JF Baldwin","year":"1995","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Research Studies Press Ltd., Baldock (1995)"},{"key":"6_CR213","volume-title":"Handbook of Fuzzy Computing","author":"JF Baldwin","year":"1998","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, Bristol (1998)"},{"key":"6_CR214","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\/"},{"issue":"2","key":"6_CR215","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0165-0114(98)00083-9","volume":"113","author":"TH Cao","year":"2000","unstructured":"Cao, T.H.: Annotated fuzzy logic programs. Fuzzy Sets Syst. 113(2), 277\u2013298 (2000)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR216","doi-asserted-by":"crossref","unstructured":"Chortaras, A., Stamou, G.B., Stafylopatis, A.: Adaptation of weighted fuzzy programs. In: 16th International Conference on Artificial Neural Networks - ICANN 2006, Part II, pp. 45\u201354 (2006)","DOI":"10.1007\/11840930_5"},{"key":"6_CR217","series-title":"Lecture Notes in Computer Science (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., Stafylopatis, A.: Integrated query answering with weighted fuzzy rules. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 767\u2013778. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75256-1_67"},{"key":"6_CR218","doi-asserted-by":"crossref","unstructured":"Chortaras, A., Stamou, G.B., Stafylopatis, A.: Top-down computation of the semantics of weighted fuzzy logic programs. In: First International Conference on Web Reasoning and Rule Systems (RR 2007), pp. 364\u2013366 (2007)","DOI":"10.1007\/978-3-540-72982-2_32"},{"issue":"2","key":"6_CR219","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 Syst. 117(2), 215\u2013230 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR220","series-title":"Lecture Notes in Computer Science (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. 2514, pp. 247\u2013261. Springer, Heidelberg (2002). doi:10.1007\/3-540-36078-6_17. ISBN 3-540-00010-0"},{"key":"6_CR221","series-title":"Advances in Soft Computing (AINSC)","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-7908-1782-9_21","volume-title":"Hybrid Information Systems","author":"D Guller","year":"2002","unstructured":"Guller, D.: Semantics for fuzzy disjunctive programs with weak similarity. In: Abraham, A., K\u00f6ppen, M. (eds.) Hybrid Information Systems. AINSC, vol. 14, pp. 285\u2013299. Physica-Verlag, Heidelberg (2002). doi:10.1007\/978-3-7908-1782-9_21. ISBN 3-7908-1480-6"},{"key":"6_CR222","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. Int. J. Man-Mach. Stud. 24, 569\u2013595 (1986)","journal-title":"Int. J. Man-Mach. Stud."},{"key":"6_CR223","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)"},{"issue":"1","key":"6_CR224","first-page":"5","volume":"1","author":"F Klawonn","year":"1994","unstructured":"Klawonn, F., Kruse, R.: A Lukasiewicz logic based Prolog. Mathware Soft Comput. 1(1), 5\u201329 (1994). https:\/\/citeseer.ist.psu.edu\/klawonn94lukasiewicz.html","journal-title":"Mathware Soft Comput."},{"key":"6_CR225","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 inknowledge-based systems. Int. J. Intell. Syst. 4, 181\u2013200 (1989)","journal-title":"Int. J. Intell. Syst."},{"key":"6_CR226","doi-asserted-by":"crossref","unstructured":"Martin, T.P., Baldwin, J.F., Pilsworth, B.W.: The implementation of FProlog -a fuzzy prolog interpreter. Fuzzy Sets Syst. 23(1), 119\u2013129 (1987). ISSN 0165-0114. http:\/\/dx.doi.org\/10.1016\/0165-0114(87)90104-7","DOI":"10.1016\/0165-0114(87)90104-7"},{"key":"6_CR227","unstructured":"Mukaidono, M.: Foundations of fuzzy logic programming. In: Advances in Fuzzy Systems - Application and Theory, vol. 1. World Scientific, Singapore (1996)"},{"key":"6_CR228","doi-asserted-by":"crossref","unstructured":"Mukaidono, M., Shen, Z., Ding, L.: Fundamentals of fuzzy prolog. Int. J. Approx. Reason. 3(2), 179\u2013193 (1989). ISSN 0888-613X. http:\/\/dx.doi.org\/10.1016\/0888-613X(89)90005-4","DOI":"10.1016\/0888-613X(89)90005-4"},{"key":"6_CR229","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. LNL, vol. 6, pp. 257\u2013266. Springer, Heidelberg (1996)"},{"issue":"4","key":"6_CR230","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/0950-7051(95)96214-C","volume":"8","author":"PC Rhodes","year":"1995","unstructured":"Rhodes, P.C., Menani, S.M.: Towards a fuzzy logic programming system: a clausal form fuzzy logic. Knowl.-Based Syst. 8(4), 174\u2013182 (1995)","journal-title":"Knowl.-Based Syst."},{"key":"6_CR231","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","volume":"275","author":"MI Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theoret. Comput. Sci. 275, 389\u2013426 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR232","unstructured":"Shen, Z., Ding, L., Mukaidono, M.: Fuzzy Computing. In: Theoretical Framework of Fuzzy Prolog Machine, pp. 89\u2013100. Elsevier Science Publishers B.V. (1988). Chap. A"},{"key":"6_CR233","unstructured":"Subramanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173\u2013182. Computer Society Press (1987)"},{"issue":"1","key":"6_CR234","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M van Emden","year":"1986","unstructured":"van Emden, M.: Quantitative deduction and its fixpoint theory. J. Log. Program. 4(1), 37\u201353 (1986)","journal-title":"J. Log. Program."},{"key":"6_CR235","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P Vojt\u00e1s","year":"2001","unstructured":"Vojt\u00e1s, P.: Fuzzy logic programming. Fuzzy Sets Syst. 124, 361\u2013370 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR236","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Extensions of Logic Programming","author":"P Vojt\u00e1s","year":"1996","unstructured":"Vojt\u00e1s, P., Paul\u00edk, L.: Soundness and completeness of non-classical extended SLD-resolution. In: Dyckhoff, R., Herre, H., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol. 1050, pp. 289\u2013301. Springer, Heidelberg (1996). doi:10.1007\/3-540-60983-0_20"},{"key":"6_CR237","unstructured":"Vojt\u00e1s, P., Vomlelov\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 Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 839\u2013846 (2004)"},{"key":"6_CR238","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":"6_CR239","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 Syst. 2, 949\u2013954 (1995)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"6_CR240","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.J., Rodriguez, M., Sch\u00fc, J.: Signed formula logic programming: Operational semantics and applications (extended abstract). In: Ra\u015b, Z.W., Michalewicz, M. (eds.) ISMIS 1996. LNCS, vol. 1079, pp. 202\u2013211. Springer, Heidelberg (1996). doi:10.1007\/3-540-61286-6_145"},{"key":"6_CR241","series-title":"Lecture Notes in Computer Science (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":"CV 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. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 252\u2013265. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30227-8_23"},{"key":"6_CR242","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":"6_CR243","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 Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 1879\u20131886 (2004)"},{"key":"6_CR244","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Pan, J.Z., Stoilos, G., Straccia, U.: An approach to representing uncertainty rules in RuleML. In: Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), pp. 97\u2013106. IEEE (2006)","DOI":"10.1109\/RULEML.2006.3"},{"key":"6_CR245","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"CV 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, Alphen aan den Rijn (1998)"},{"key":"6_CR246","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-45402-0_28","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"CV 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. 2173, pp. 379\u2013393. Springer, Heidelberg (2001). doi:10.1007\/3-540-45402-0_28"},{"key":"6_CR247","series-title":"Lecture Notes in Computer Science (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":"CV 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. 2143, pp. 748\u2013759. Springer, Heidelberg (2001). doi:10.1007\/3-540-44652-4_66. ISBN 3-540-42464-4"},{"key":"6_CR248","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 Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 807\u2013814 (2004)"},{"key":"6_CR249","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Medina, J., Ojeda-Aciego, M.: A tabulation procedure for first-order residuated logic programs. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006) (2006)","DOI":"10.1109\/FUZZY.2006.1681978"},{"key":"6_CR250","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Medina, J., Ojeda-Aciego, M.: A tabulation procedure for first-order residuated logic programs. In: Proceedings of the IEEE World Congress on Computational Intelligence (section Fuzzy Systems) (WCCI 2006), pp. 9576\u20139583 (2006)","DOI":"10.1109\/FUZZY.2006.1681978"},{"issue":"5","key":"6_CR251","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, J., Ojeda-Aciego, M.: Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. 7(5), 435\u2013458 (2007)","journal-title":"J. Appl. Log."},{"key":"6_CR252","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, Alphen aan den Rijn (2000)"},{"key":"6_CR253","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","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. 2237, pp. 212\u2013226. Springer, Heidelberg (2001). doi:10.1007\/3-540-45635-X_22. ISBN 3-540-42935-2"},{"key":"6_CR254","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 Kaufman, Burlington (2000)"},{"key":"6_CR255","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, M.: Ultimate approximations. Technical report CW 320. Katholieke Iniversiteit Leuven, September 2001"},{"key":"6_CR256","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, Burlington (2002)"},{"key":"6_CR257","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"MC Fitting","year":"1993","unstructured":"Fitting, M.C.: The family of stable models. J. Log. Programm. 17, 197\u2013225 (1993)","journal-title":"J. Log. Programm."},{"issue":"3","key":"6_CR258","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"21","author":"MC Fitting","year":"2002","unstructured":"Fitting, M.C.: Fixpoint semantics for logic programming - a survey. Theoret. Comput. Sci. 21(3), 25\u201351 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR259","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. J. Log. Program. 2, 295\u2013312 (1985)","journal-title":"J. Log. Program."},{"issue":"2","key":"6_CR260","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. Stud. Logica XLVII(2), 85\u201391 (1987)","journal-title":"Stud. Logica"},{"key":"6_CR261","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. J. Log. Program. 11, 91\u2013116 (1991)","journal-title":"J. Log. Program."},{"key":"6_CR262","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Uniform notation of tableaux rules for multiple-valued logics. In: Proceedings of the International Symposium on Multiple-Valued Logic, pp. 238\u2013245. IEEE Press, Los Alamitos (1991)","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"6_CR263","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 32, 349\u2013357 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR264","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. Ann. Math. Artif. Intell. 21, 231\u2013243 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"key":"6_CR265","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":"1983","unstructured":"Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Gyssens, M., Paredaens, J., Gucht, D. (eds.) ICDT 1988. LNCS, vol. 326, pp. 102\u2013117. Springer, Heidelberg (1983). doi:10.1007\/3-540-50171-1_6"},{"key":"6_CR266","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 Syst. 144, 67\u201391 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR267","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-58715-2_116","volume-title":"Foundation of Software Technology and Theoretical Computer Science","author":"LVS Lakshmanan","year":"1994","unstructured":"Lakshmanan, L.V.S.: An epistemic foundation for logic programming with uncertainty. In: Thiagarajan, P.S. (ed.) FSTTCS 1994. LNCS, vol. 880, pp. 89\u2013100. Springer, Heidelberg (1994). doi:10.1007\/3-540-58715-2_116"},{"issue":"8","key":"6_CR268","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0306-4379(97)00030-6","volume":"22","author":"LV Lakshmanan","year":"1997","unstructured":"Lakshmanan, L.V., Sadri, F.: Uncertain deductive databases: a hybrid approach. Inf. Syst. 22(8), 483\u2013508 (1997)","journal-title":"Inf. Syst."},{"issue":"4","key":"6_CR269","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"LV Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Trans. Knowl. Data Eng. 13(4), 554\u2013570 (2001)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"6_CR270","series-title":"Lecture Notes in Computer Science (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., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 271\u2013282. Springer, Heidelberg (2002). doi:10.1007\/3-540-45757-7_23"},{"key":"6_CR271","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. 2441, pp. 152\u2013166. Springer, Heidelberg (2002). doi:10.1007\/3-540-45788-7_9"},{"key":"6_CR272","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. 2747, pp. 541\u2013550. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-45138-9_48"},{"key":"6_CR273","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. 2916, pp. 466\u2013480. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-24599-5_32"},{"key":"6_CR274","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. 3153, pp. 513\u2013524. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-28629-5_39"},{"issue":"2\u20133","key":"6_CR275","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. Theoret. Comput. Sci. 342(2\u20133), 351\u2013381 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR276","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. J. Theory Pract. Log. Program. 6, 355\u2013393 (2006)","journal-title":"J. Theory Pract. Log. Program."},{"issue":"6","key":"6_CR277","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/logcom\/6.6.755","volume":"6","author":"JJ Lu","year":"1996","unstructured":"Lu, J.J.: Logic programming with signs and annotations. J. Log. Comput. 6(6), 755\u2013778 (1996)","journal-title":"J. Log. Comput."},{"issue":"4","key":"6_CR278","first-page":"129","volume":"2","author":"JJ Lu","year":"1997","unstructured":"Lu, J.J., Calmet, J., Sch\u00fc, J.: Computing multiple-valued logic programs. Mathware Soft Comput. 2(4), 129\u2013153 (1997)","journal-title":"Mathware Soft Comput."},{"key":"6_CR279","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer semantics for the semantic web. Infsys Research report 1843-07-03. Institut F\u00fcR Informations Systeme Arbeitsbereich Wissensbasierte Systeme, Technische Universit\u00e4t Wien (2007)"},{"key":"6_CR280","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer semantics for the semantic web. In: Sheth, M.L.A. (ed.) Progressive Concepts for Semantic Web Evolution: Applications and Developments, pp. 237\u2013256. IGI Global (2010). Chap. 11","DOI":"10.4018\/978-1-60566-992-2.ch011"},{"key":"6_CR281","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-642-40769-7_44","volume-title":"Flexible Query Answering Systems","author":"N Madrid","year":"2013","unstructured":"Madrid, N., Straccia, U.: On top-k retrieval for a family of non-monotonic ranking functions. In: Larsen, H.L., Martin-Bautista, M.J., Vila, M.A., Andreasen, T., Christiansen, H. (eds.) FQAS 2013. LNCS (LNAI), vol. 8132, pp. 507\u2013518. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-40769-7_44"},{"key":"6_CR282","unstructured":"Majkic, Z.: Coalgebraic semantics for logic programs. In: 18th Workshop on (Constraint) Logic Programming (WCLP 2005), Ulm, Germany (2004)"},{"key":"6_CR283","doi-asserted-by":"crossref","unstructured":"Majkic, Z.: Many-valued intuitionistic implication and inference closure in abilattice-based logic. In: 35th International Symposium on Multiple-Valued Logic (ISMVL 2005), pp. 214\u2013220 (2005)","DOI":"10.1109\/ISMVL.2005.22"},{"key":"6_CR284","unstructured":"Majkic, Z.: Truth and knowledge fixpoint semantics for many-valued logic programming. In: 19th Workshop on (Constraint) Logic Programming (WCLP 2005), pp. 76\u201387, Ulm, Germany (2005)"},{"key":"6_CR285","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":"6_CR286","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46767-X_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","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. 1730, pp. 290\u2013304. Springer, Heidelberg (1999). doi:10.1007\/3-540-46767-X_21"},{"key":"6_CR287","first-page":"225","volume":"13","author":"C Mateis","year":"2000","unstructured":"Mateis, C.: Quantitative disjunctive logic programming: semantics and computation. AI Commun. 13, 225\u2013248 (2000)","journal-title":"AI Commun."},{"key":"6_CR288","unstructured":"Medina, J., Ojeda-Aciego, M.: Multi-adjoint logic programming. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 823\u2013830 (2004)"},{"key":"6_CR289","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-45402-0_26","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"J Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojta\u0161, P.: Multi-adjoint logic programming with continous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351\u2013364. Springer, Heidelberg (2001). doi:10.1007\/3-540-45402-0_26"},{"key":"6_CR290","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-45329-6_29","volume-title":"Progress in Artificial Intelligence","author":"J Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: A procedural semantics for multi-adjoint logic programming. In: Brazdil, P., Jorge, A. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 290\u2013297. Springer, Heidelberg (2001). doi:10.1007\/3-540-45329-6_29"},{"issue":"146","key":"6_CR291","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\u00e1s, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 1(146), 43\u201362 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"6_CR292","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/inco.2001.3073","volume":"171","author":"WC Rounds","year":"2001","unstructured":"Rounds, W.C., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Inf. Comput. 171, 183\u2013200 (2001). https:\/\/citeseer.ist.psu.edu\/276602.html","journal-title":"Inf. Comput."},{"key":"6_CR293","unstructured":"Schroeder, M., Schweimeier, R.: Fuzzy argumentation and extended logic programming. In: Proceedings of ECSQARU Workshop Adventures in Argumentation (2001)"},{"key":"6_CR294","doi-asserted-by":"crossref","unstructured":"Schroeder, M., Schweimeier, R.: Arguments and misunderstandings: fuzzy unification for negotiating agents. In: Proceedings of the ICLP Workshop CLIMA 2002. Elsevier (2002)","DOI":"10.1145\/544862.544959"},{"key":"6_CR295","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-24618-3_9","volume-title":"SOFSEM 2004: Theory and Practice of Computer Science","author":"R Schweimeier","year":"2004","unstructured":"Schweimeier, R., Schroeder, M.: Fuzzy unification and argumentation for well-founded semantics. In: Emde Boas, P., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2004. LNCS, vol. 2932, pp. 102\u2013121. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-24618-3_9"},{"key":"6_CR296","unstructured":"Straccia, U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 1212\u20131219. E.D.K., Paris (2006). ISBN 2-84254-112-X"},{"key":"6_CR297","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 (2006)"},{"key":"6_CR298","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-75256-1_13","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","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. 4724, pp. 115\u2013127. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75256-1_13"},{"key":"6_CR299","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-72950-1_13","volume-title":"Foundations of Fuzzy Logic and Soft Computing","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. 4529, pp. 125\u2013134. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72950-1_13"},{"key":"6_CR300","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-00954-4_5","volume-title":"Flexible Approaches in Data, Information and Knowledge Management","author":"U Straccia","year":"2014","unstructured":"Straccia, U.: On the top-k retrieval problem for ontology-based access to databases. In: Pivert, O., Zadro\u017cny, S. (eds.) Flexible Approaches in Data, Information and Knowledge Management. SCI, vol. 497, pp. 95\u2013114. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-00954-4_5. ISBN 978-3-319-00953-7"},{"key":"6_CR301","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2012.01.016","volume":"205","author":"U Straccia","year":"2012","unstructured":"Straccia, U., Madrid, N.: A top-k query answering procedure for fuzzy logic programming. Fuzzy Sets Syst. 205, 1\u201329 (2012)","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"6_CR302","doi-asserted-by":"publisher","first-page":"1881","DOI":"10.1137\/070695976","volume":"8","author":"U Straccia","year":"2009","unstructured":"Straccia, U., Ojeda-Aciego, M., Dam\u00e1sio, C.V.: On fixed-points of multi-valued functions on complete lattices and their application to generalized logic programs. SIAM J. Comput. 8(5), 1881\u20131911 (2009)","journal-title":"SIAM J. Comput."},{"key":"6_CR303","unstructured":"Turner, H.: Signed logic programs. In: Bruynooghe, M. (ed.) Proceedings of the 1994 International Symposium on Logic Programming, pp. 61\u201375. The MIT Press (1994). https:\/\/citeseer.ist.psu.edu\/turner94signed.html"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49493-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T19:03:51Z","timestamp":1750014231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49493-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319494920","9783319494937"],"references-count":303,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49493-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 February 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Reasoning Web","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reasoning Web International Summer School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aberdeen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rweb2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.abdn.ac.uk\/events\/rr-2016\/rw-summer-school-2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}