Networked Multimedia Information Systems Laboratory


NeMIS Lab

Umberto Straccia

Umberto Straccia
Research Staff
Telephone: +39 050 3152894
Fax: +39 050 3153464
Address: ISTI - CNR, Via G. Moruzzi 1, I-56124 PISA, ITALY

 

Umberto Straccia holds a PhD in Computer Science, obtained at the University of Dortmund in 1999. Currently, he is researcher at ISTI - CNR, Istituto di Scienze e di Tecnologie dell'Informazione (ISTI) del Consiglio Nazionale delle Ricerche (CNR). His research activity is in the area of the Semantic Web, Knowledge Representation and Reasoning and Distributed Information Retrieval based on ontologies (defined in RDFS, OWL and RIF). Specifically, he has interest for the various hybrid languages that are the logical counterpart of Semantic Web languages, such as RDFS, Description Logics, Logic Programming, Fuzzy Logic and the variants obtained by any combination of them, with a major focus on the combination of Description Logics, Logic Programming, Answer Set Programming and Fuzzy Logic. On these topics, Umberto Straccia is author of more than  100 international publications (a book is in preparation) and has held various tutorials and invited talks. He is in the editorial board of various journals, program committee member of major conferences and teaches a course on the above mentioned topics at a master degree course in computer science at the University of Pisa, Italy. He is also author of several software artefacts, among which the fuzzyDL and SoftFacts reasoners for fuzzy description logics.

 

Project Logo
A conceptual ontology of the Fiscal Dictionary for the Italian Agency of Finance
AnQL is a system to deal with Annotated RDFS data, allowing to reason with time, provenace, trust, fuzzyness and many more.
  fuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning. The fuzzyDL system...
  SoftFacts is an ontology mediated database system. An ontology layer may be used to define (in terms of a DLR-Lite like...

Journal articles

   2016
1Bobillo F., Straccia U. Optimising Fuzzy Description Logic Reasoners with General Concept Inclusion Absorption. In: Fuzzy Sets and Systems, vol. 292 pp. 98 - 129. Special Issue in Honor of Francesc Esteva on the Occasion of his 70th Birthday. Lluis Godo, Félix Bou, Marco Cerami, Angel García-Cerdańa, Pere Garcia and Carles Noguera (eds.). Elsevier, 2016.        
2Bobillo F., Straccia U. The fuzzy ontology reasoner fuzzyDL. In: Knowledge-based systems, vol. 95 (March 2016) pp. 12 - 34. Elsevier, 2016.        

   2015
3Lisi F. A., Straccia U. Learning in description logics with fuzzy concrete domains. In: Fundamenta Informaticae, vol. 140 (3/4) pp. 373 - 391. IOS Press, 2015.        

   2013
4Bobillo F., Straccia U. Aggregation operators for fuzzy ontologies. In: Applied Soft Computing, vol. 13 (9) pp. 3816 - 3830. Elsevier, 2013.        
5Casini G., Straccia U. Defeasible inheritance-based description logics. In: Journal of Artificial Intelligence Research, vol. 48 pp. 415 - 473. AI Access Foundation, 2013.        
6Cerami M., Straccia U. On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. In: Information Sciences, vol. 227 pp. 1 - 21. Elsevier, 2013.        
7Lisi F., Straccia U. A logic-based computational method for the automated induction of fuzzy ontology axioms. In: Fundamenta Informaticae, vol. 124 (4) pp. 503 - 519. IOS Press, 2013.        

   2012
8Bobillo F., Straccia U. Generalized fuzzy rough description logics. In: Information Sciences, vol. 189 pp. 43 - 62. Elsevier, 2012.        
9Bobillo F., Delgado M., Gómez-Romero J., Straccia U. Joining Gödel and zadeh fuzzy logics in fuzzy description logics. In: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, vol. 20 (4) pp. 475 - 508. World Scientific Publishing, 2012.        
10Straccia U., Madrid N. A top-k query answering procedure for fuzzy logic programming. In: Fuzzy Sets and Systems, vol. 205 pp. 1 - 29. Elsevier, 2012.        
11Straccia U. Top-k retrieval for ontology mediated access to relational databases. In: Information Sciences, vol. 198 pp. 1 - 23. Elsevier, 2012.        
12Zimmermann A., Lopes N., Polleres A., Straccia U. A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data. In: Journal of Web Semantics, vol. 11 pp. 72 - 95. Elsevier, 2012.     

   2011
13Bobillo F., Straccia U. Fuzzy ontology representation using OWL 2. In: International Journal of Approximate Reasoning, vol. 52 (7) pp. 1073 - 1094. Elsevier, 2011.        
14Bobillo F., Bou F., Straccia U. On the failure of the finite model property in some fuzzy description logics. In: Fuzzy Sets and Systems, vol. 172 (1) pp. 1 - 12. Elsevier, 2011.        
15Bobillo F., Straccia U. Reasoning with the finitely many-valued Lukasiewicz fuzzy description logic SROIQ. In: Information Sciences, vol. 181 (4) pp. 758 - 778. Elsevier, 2011.        

   2009
16Bobillo F., Delgado M., Gómez-Romero J., Straccia U. Fuzzy description logics under Gödel semantics. In: International Journal of Approximate Reasoning, vol. 50 (3) pp. 494 - 514. Elsevier, 2009.        
17Bobillo F., Straccia U. Fuzzy description logics with general T-norms and datatypes. In: Fuzzy Sets and Systems, vol. 160 (23) pp. 3382 - 3402. Elsevier, 2009.        
18Loyer Y., Straccia U. Approximate well-founded semantics, query answering and generalized normal logic programs over lattices. In: Annals of Mathematics and Artificial Intelligence, vol. 55 (3-4) pp. 389 - 417. Springer Verlag, 2009.        
19Lukasiewicz T., Straccia U. Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: International Journal of Approximate Reasoning, vol. 50 (6) pp. 837 - 853. Elsevier, 2009.        
20Ragone A., Straccia U., Di Noia T., Di Sciascio E., Donini F. M. Fuzzy matchmaking in e-marketplaces of peer entities using Datalog. In: Fuzzy Sets and Systems, vol. 160 (2) pp. 251 - 268. Elsevier, 2009.        
21Straccia U., Ojeda-Aciego M., Damasio C. V. On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. In: Siam Journal on Computing, vol. 38 (5) pp. 1881 - 1911. SIAM - Society for Industrial and Applied Mathematics, 2009.        

   2008
22Damasio C. V., Pan J. Z., Stoilos G., Straccia U. Representing uncertainty in ruleML. In: Fundamenta Informaticae, vol. 82 (3) pp. 265 - 288. IOS Press, 2008.     
23Lukasiewicz T., Straccia U. Managing uncertainty and vagueness in description logics for the semantic Web. In: Journal of Web Semantics, vol. 6 (4) pp. 51 - 68. Elsevier, 2008.  
24Lukasiewicz T., Straccia U. Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic Web. In: International Journal on Semantic Web and Information Systems, vol. 4 (3) pp. 68 - 89. IGI Publishing, 2008.        

   2007
25Avancini H., Candela L., Straccia U. Recommenders in a personalized, collaborative digital library environment. In: Journal of Intelligent Information Systems, vol. 28 (3) pp. 253 - 283. Springer Netherlands, 2007.        
26Nottelmann H., Straccia U. Information retrieval and machine learning for probabilistic schema matching. In: Information Processing & Management, vol. 43 (3) pp. 552 - 576. Elsevier, 2007.     
27Straccia U., Bobillo F. Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. In: Mathware & Soft Computing, vol. 14 (3) pp. 247 - 259. Departament of Computer Science and Artificial Intellingence of the University of Granada and Secció de Matemŕtiques i Informŕtica of the Universitat Politčcnica de Catalunya (eds.). EUSFLAT, 2007.  

   2006
28Loyer Y., Straccia U. Epistemic foundation of stable model semantics. In: Theory and Practice of Logic Programming, vol. 6 (4) pp. 355 - 393. Cambridge University Press, 2006.  
29Straccia U. Description logics over lattices. In: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, vol. 14 (1) pp. 1 - 16. World Scientific Publishing Co, 2006.  

   2005
30Avancini H., Straccia U. User Recommendation for Collaborative and Personalized Digital Archives. In: International Journal of Web Based Communities (IJWBC), vol. 1 (2) pp. 163 - 175. Inderscience enterprices Ltd, 2005.  
31Loyer Y., Straccia U. Any-World Assumptions in Logic Programming. In: Theoretical Computer Science, vol. 342 (2-3) pp. 351 - 381. Elsevier Science Publishers Ltd, 2005.  
32Renda M. E., Straccia U. A personalized collaborative digital library environment: a model and an application. In: Information Processing & Management, vol. Vol 41 (1) pp. 5 - 21. Elsevier, 2005.  

   2004
33Straccia U., Thanos C. Cyclades: an open collaborative virtual archive environment. In: International Journal of Digital Libraries, vol. 4 (1) pp. 23 - 24. Springer Verlag, 2004.  

Books/Monographs

   2013
1Straccia U. Foundations of fuzzy logic and semantic web languages. 386 p. (Studies in Information Series, vol. 7). London, UK: Chapman and Hall, 2013.     

   2006
2Straccia U. Uncertainty and description logic programs over lattices. 115-133 p. Elie Sanchez (ed.). New York: Elsevier, 2006.  

Contribution to Book/Monograph

   2015
1Bobillo F., Cerami M., Esteva F., García-Cerdańa Á., Peńaloza R., Straccia U. Fuzzy description logics in the framework of mathematical fuzzy logic. In: Handbook of Mathematical Fuzzy Logic, Volume 3. pp. 1105 - 1181. Petr Cintula, Christian Fermüller, Carles Noguera (eds.). (Studies in Logic, Mathematical Logic and Foundations, vol. 58). London, UK: College Publications Ltd, 2015.  
2Di Noia T., Mongiello M., Straccia U. Fuzzy description logics for component selection in software design. In: Software Engineering and Formal Methods. pp. 228 - 239. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). Berlin: Springer, 2015.        

   2014
3Lisi A. F., Straccia U. A FOIL-like method for learning under incompleteness and vagueness. In: Inductive Logic Programming. pp. 123 - 139. Gerson Zaverucha, Vítor Santos Costa, Aline Paes (eds.). (Lecture Notes in Artificial Intelligence, vol. 8812). Heidelberg: Springer, 2014.        
4Lisi F., Straccia U. Can ILP Deal with Incomplete and Vague Structured Knowledge?. In: Latest Advances in Inductive Logic Programming. pp. 199 - 206. Stephen H. Muggleton and Hiroaki Watanabe (eds.). London, UK: World Scientific, Imperial College Press, 2014.        
5Straccia U. On the Top-k retrieval problem for ontology-based access to databases. In: Flexible Approaches in Data, Information and Knowledge Management. vol. 497 pp. 95 - 114. O. Pivert, S. Zadrozny (eds.). (Studies in Computational Intelligence, vol. 497). Switzerland: Springer Verlag, 2014.        

   2013
6Bobillo F., Straccia U. Finite fuzzy description logics and crisp representations. In: Uncertainty Reasoning for the Semantic Web II. Revised Selected Papers. pp. 99 - 118. Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool (eds.). (Lecture Notes in Computer Science, vol. 7123). Berlin: Springer Verlag, 2013.        

   2010
7Colucci S., Di Noia T., Ragone A., Ruta M., Straccia U., Tinelli E. Informative top-k retrieval for advanced skill management. In: Semantic Web Information Management. A model based perspective. pp. 449 - 476. Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (eds.). Berlin: Springer Verlag, 2010.        
8Lopes N., Polleres A., Straccia U., Zimmermann A. AnQL: SPARQLing up annotated RDFS. In: The Semantic Web - ISWC 2010. vol. I pp. 518 - 533. Patel-Schneider P.F., Pan Y., Hitzler P., Mika P., Zhang L., Pan J.Z., Horrocks I., Glimm B (eds.). (Lecture Notes in Computer Science, vol. 6496). Shanghai: Springer, 2010.  
9Lukasiewicz T., Straccia U. Tightly coupled fuzzy description logic programs under the answer set semantics for the SemanticWeb. In: Progressive Concepts for Semantic Web Evolution: Applications and Developments. pp. 237 - 256. Miltiadis Lytras, Amit Sheth (eds.). (Advances in Semantic Web & Information Systems Series (Aswis)). Hershey PA, USA: Information Science Reference, 2010.  

   2009
10Meghini C., Sebastiani F., Straccia U. Multimedia information retrieval model. In: Encyclopedia of Database Systems. pp. 1820 - 1824. Ling Liu, M. Tamer Ozsu (eds.). Heidelberg: Springer Verlag, 2009.        

   2008
11Straccia U. Fuzzy description logic programs. In: Uncertainty and intelligent information systems. pp. 405 - 418. C. M. B. Bouchon-Meunier, R.R. Yager and M. Rifqi (eds.). Singapore: World Scientific, 2008.  
12Straccia U. Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Reasoning Web. vol. 5224 pp. 54 - 103. (Lecture Notes in Computer Science, vol. 5224). Berlin / Heidelberg: Springer Verlag, 2008.        

   2006
13Nottelmann H., Straccia U. A probabilistic, logic-based framework for automated Web directory alignment. In: Soft Computing in Ontologies and the Semantic Web, Studies in Fuzziness and Soft Computing. vol. 204 pp. 47 - 77. Zongmin Ma (ed.). Heidelberg: Springer Verlag, 2006.  
14Straccia U. A fuzzy description logic for the semantic Web. In: Fuzzy Logic and the Semantic Web. pp. 73 - 90. Elie Sanchez (ed.). New York: Elsevier, 2006.  

   2004
15Candela L., Straccia U. The Personalized, Collaborative Digital Library Environment CYCLADES and its Collections Management. In: Distributed Multimedia Information Retrieval: Sigir 2003. pp. 156 - 172. James P. Callan and Fabio Crestani and Mark Sanderson (eds.). (Lecture Notes in Computer Science, vol. 2924). Toronto, Canada: Springer-Verlag, 2004.     

Proceedings

   2016
1Cinquepalmi A., Straccia U. An ontology-based affective computing approach for passenger safety engagement on cruise ships. In: UBICOMM-16 - Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (Venice, Italy, 9-13 October 2016). Proceedings, pp. 203 - 208. IARIA, 2016.     

   2015
2Bobillo F., Straccia U. On partitioning-based optimisations in expressive fuzzy Description Logics. In: FUZZ-IEEE 2015 - IEEE International Conference on Fuzzy Systems (Istanbul, Turkey, 2-5 August 2015). Proceedings, article n. 7337838. IEEE, 2015.        
3Bobillo F., Straccia U. Reducing the size of the optimization problems in fuzzy ontology reasoning. In: URSW 2015 - 11th International Workshop on Uncertainty Reasoning for the Semantic Web (Bethlehem, USA, 12 October 2015). Proceedings, pp. 54 - 59. (CEUR Workshop Proceedings, vol. 1479). CEUR-WS.org, 2015.     
4Calě A., Straccia U. A framework for conjunctive query answering over distributed deep web information resources. In: SEBD 2015 - 23rd Italian Symposium on Advanced Database Systems (Gaeta, Italy, 14-17 June 2015). Atti, pp. 358 - 365. Domenico Lembo, Riccardo Torlone, Andrea Marrella (eds.). Italian Symposium on Advanced Database Systems ( SEBD ), 2015.     
5Straccia U. All about fuzzy description logics and applications. In: Reasoning Web. Web Logic Rules. 11th International Summer School 2015. Tutorial Lectures (Cham, 31 July - 4 August 2015). Proceedings, pp. 1 - 31. Wolfgang Faber, Adrian Paschke (eds.). (Lecture Notes in Computer Science, vol. 9203). Springer, 2015.        
6Straccia U., Mucci M. pFOIL-DL: Learning (Fuzzy) EL concept descriptions from crisp OWL data using a probabilistic ensemble estimation. In: SAC-15 - 30th Annual ACM Symposium on Applied Computing (Salamanca, Spain, 13-17 April 2015). Proceedings, pp. 345 - 352. ACM, 2015.        

   2014
7Bobillo F., Straccia U. A MILP-based decision procedure for the (Fuzzy) description logic ALCB. In: DL-2014 - 27th International Workshop on Description Logics (Vienna, Austria, 17-20 July 2014). Proceedings, pp. 378 - 390. Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus (eds.). (CEUR Workshops Series, vol. 1193). http://ceur-ws.org, 2014.     
8Cerami M., Straccia U. Complexity sources in fuzzy description logic. In: DL-2014 - 27th International Workshop on Description Logics (Vienna, Austria, 17-20 July 2014). Proceedings, pp. 421 - 433. Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus (eds.). (CEUR Workshops Series, vol. 1193). http://ceur-ws.org, 2014.     

   2013
9Bobillo F., Straccia U. General concept inclusion absorptions for fuzzy description logics: a first step. In: DL 2013 - 26th International Workshop on Description Logics (Ulm, Germany, 23-26 July 2013). Proceedings, vol. 1014 pp. 513 - 525. Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (eds.). CEUR Electronic Workshop Proceedings, 2013.     
10Casini G., Straccia U. Towards rational closure for fuzzy logic: the case of propositional Gödel logic. In: LPAR-19 - Logic for Programming, Artificial Intelligence, and Reasoning. 19th International Conferences (Stellenbosch, South Africa, 14-19 December 2013). Proceedings, pp. 213 - 217. Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.). (Lecture Notes in Computer Science, vol. 8312). Springer, 2013.        
11Lisi F., Straccia U. A system for learning GCI axioms in fuzzy description logics. In: DL 2013 - 26th International Workshop on Description Logics (Ulm, Germany, 23-26 July 2013). Proceedings, vol. 1014 pp. 760 - 778. Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (eds.). CEUR Electronic Workshop Proceedings, 2013.     
12Lisi F., Straccia U. Dealing with incompleteness and vagueness inductive logic programming. In: CILC-13 - 28th Italian Conference on Computational Logic (Catania, Italy, 25-27 September 2013). Proceedings, pp. 179 - 193. (CEUR workshop proceedings, vol. 1068). CEUR, 2013.     
13Madrid N., Straccia U. On top-k retrieval for a family of non-monotonic ranking functions. In: FQAS-13 - Flexible Query Answering Systems. 10th International Conference (Granada, Spain, 18-20 September 2013). Proceedings, pp. 507 - 518. Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen (eds.). (Lecture Notes in Computer Science, vol. 8132). Springer Verlag, 2013.        

   2012
14Casini G., Straccia U. Lexicographic closure for defeasible description logics. In: AOW 2012 - Eighth Australasian Ontology Workshop (Sydney, Australia, 4 December 2012). Proceedings, vol. 969 pp. 28 - 39. Aurona Gerber, Kerry Taylor, Tommie Meyer, Mehmet Orgun (eds.). CEUR Electronic Workshop Proceedings (CEUR-WS), 2012.     

   2011
15Bobillo F., Straccia U. Aggregation operators and fuzzy OWL 2. In: FUZZ-IEEE 2011 - 20th IEEE International Conference on Fuzzy Systems (Taipei, Taiwan, 27-30 June 2011). Proceedings, pp. 1727 - 1734. IEEE, 2011.  
16Bobillo F., Straccia U. Fuzzy ontologies and fuzzy integrals. In: ISDA-11 - 11th International Conference on Intelligent Systems Design and Applications (Cordoba, Spain, 22-24 November 2011). Proceedings, pp. 1311 - 1316. IEEE, 2011.  
17Casini G., Straccia U. Defeasible inheritance-based description logics. In: IJCAI 2011 - International Joint Conference on Artificial Intelligence (Barcelona, Spain, July 2011). Proceedings, pp. 813 - 818. Toby Walsh (ed.). AAAI Press/International Joint Conferences on Artificial Intelligence, 2011.     
18Lisi F., Straccia U. An inductive logic programming approach to learning inclusion axioms in fuzzy description logics. In: CILC-11 - 26th Italian Conference on Computational Logic (CILC-11) (Pescara, Italy, 31 August - 2 September 2011). Atti, vol. 810 pp. 57 - 71. Fabio Fioravanti (ed.). CEUR Electronic Workshop Proceedings, 2011.     
19Lisi F., Straccia U. Towards learning fuzzy DL inclusion axioms. In: WILF-11 - 9th International Workshop on Fuzzy Logic and Applications (Trani, Italy, 29-31 August 2011). Proceedings, pp. 58 - 66. Anna Maria Fanelli, Witold Pedrycz, Alfredo Petrosino. (Lecture Notes in Computer Science, vol. 6857). Springer Verlag, 2011.        
20Straccia U. Fuzzy Logic, Annotation Domains and Semantic Web Languages. In: SUM-11 - 5th International Conference on Scalable Uncertainty Management (Dayton, USA, October 10-13 2011). Proceedings, pp. 2 - 21. (Lecture Notes in Computer Science, vol. 6929). Springer Verlag, 2011.     

   2010
21Bobillo F., Straccia U. Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH. In: URSW 2010 - 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (Shanghai, China, 7 November 2010). Proceedings, vol. 654 pp. 61 - 72. (CEUR Workshop Proceedings). CEUR, 2010.  
22Bobillo F., Straccia U. Representing fuzzy ontologies in OWL 2. In: FUZZ-IEEE 2010 - 19th IEEE International Conference on Fuzzy Systems (Barcelona, 18-23 July 2010). Proceedings, pp. 2695 - 2700. IEEE, 2010.  
23Borgida A., De Bruijn J., Franconi E., Seylan I., Straccia U., Toman D., Weddell G. On finding query rewritings under expressive constraints. In: SEBD 2010 - 18th Italian Symposium on Advanced Database Systems (Rimini, 20-23 June 2010). Atti, pp. 426 - 437. Sonia Bergamaschi, Stefano Lodi, Riccardo Martoglia, Claudio Sartori (eds.). Societŕ Editrice Esculapio, 2010.  
24Casini G., Straccia U. Rational closure for defeasible description logics. In: JELIA-10 - Proceedings of the 12th European Conference on Logics in Artificial Intelligence (Helsinki, Finland, 13-15 September 2010). Proceedings, pp. 77 - 90. Tomi Janhunen, Ilkka Niemelä (eds.). (Lecture Notes in Computer Science, vol. 6341). Springer Verlag, 2010.        
25Ciaramella A., Cimino M., Marcelloni F., Straccia U. Combining fuzzy logic and semantic Web to enable situation-awareness in service recommendation. In: DEXA 2010 - Database and Expert Systems Applications. 21st International Conference (Bilbao, Spain, August 30 - September 3 2010). Proceedings, vol. I pp. 31 - 45. Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr (eds.). (Lecture Notes in Computer Science, vol. 6261). Springer, 2010.        
26Lopes N., Zimmerman A., Hogan A., Lucacsy G., Polleres A., Straccia U., Decker S. RDF needs annotations. In: W3C Workshop - RDF Next Steps (Stanford, Palo Alto, California, June 26-27 2010). Proceedings, article n. 9. W3C, 2010.     
27Straccia U., Lopes N., Lukacsy G., Polleres A. A general framework for representing and reasoning with annotated semantic Web data. In: AAAI 2010 - Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (Atlanta, July 11-15 2010). Proceedings, pp. 1437 - 1442. AAAI Press, 2010.     
28Straccia U. An ontology mediated multimedia information retrieval system. In: ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic (Barcelona, 26-28 May 2010). Proceedings, pp. 319 - 324. IEEE, 2010.  
29Straccia U. Fuzzy logic and semantic Web languages. In: LFA-10 - Rencontres Francophones sur la Logique Floue et ses Applications (Lannion, France, 18-19 November 2010). Atti, pp. 9 - 10. Cepadues-Editions, 2010.  
30Straccia U. SoftFacts: a top-k retrieval engine for ontology mediated access to relational databases. In: SMC 2010 - IEEE International Conference on Systems, Man and Cybernetics (Istanbul, Turkey, 10-12 October 2010). Proceedings, pp. 4115 - 4122. IEEE, 2010.  

   2009
31Bobillo F., Straccia U. An {OWL} ontology for fuzzy {OWL} 2. In: ISMIS-09 - Foundations of Intelligent Systems . 18th International Symposium on Methodologies for Intelligent Systems (Prague, 14-17 Settember 2009). Proceedings, pp. 151 - 160. (Lecture Notes in Computer Science, vol. 5722). Springer Verlag, 2009.        
32Bobillo F., Straccia U. Extending datatype restrictions in fuzzy description logics. In: ISDA-09 - 9th International Conference on Intelligent Systems Design and Applications (Pisa, Italy, December 2009). Proceedings, pp. 785 - 790. IEEE, 2009.  
33Bobillo F., Straccia U. Fuzzy descriptions logics with fuzzy truth values. In: IFSA-EUSFLAT 2009 - 13th World Congress of the International Fuzzy Systems Association and 6th Conference of the European Society for Fuzzy Logic and Technology (Lisbon, Portugal, Luglio 2009). Proceedings, pp. 189 - 194. J. P. B. Carvalho, D. Dubois, U. Kaymak, J. M. C. Sousa (eds.). International Fuzzy Systems Association, 2009.  
34Bobillo F., Straccia U. Supporting fuzzy rough sets in fuzzy description logics. In: ECSQARU 2009 - Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 10th European Conference (Verona, 1-3 July 2009). Proceedings, pp. 676 - 687. (Lecture Notes in Artificial Intelligence, vol. 5590). Springer-Verlag, 2009.        
35Straccia U. A minimal deductive system for general fuzzy RDF. In: RR-09 - 3rd International Conference on Web Reasoning and Rule Systems (Chantilly, VA, USA, 25-26 October 2009). Proceedings, pp. 166 - 181. (Lecture Notes in Computer Science, vol. 5837). Springer Verlag, 2009.        
36Straccia U. A system for retrieving top-k candidates to job positions. In: DL-09 - 22nd International Workshop on Description Logics (Oxford, UK, 27-30 July 2009). Proceedings, vol. 477 CEUR, 2009.     
37Straccia U. Multi-criteria decision making in fuzzy description logics: a first step. In: KES-09 - Knowledge-Based and Intelligent Information and Engineering Systems. 13th International Conference (Santiago de Chile, 28-30 September 2009). Proceedings, pp. 79 - 87. (Lecture Notes in Artificial Intelligence, vol. 5711). Springer Verlag, 2009.        
38Straccia U., Tinelli E., Colucci S., Di Noia T., Di Sciascio E. Semantic-based top-k retrieval for competence management. In: ISMIS-09 - Foundations of Intelligent Systems. 18th International Symposium on Methodologies for Intelligent Systems (Prague, 14-17 September 2009). Proceedings, pp. 473 - 482. (Lecture Notes in Artificial Intelligence, vol. 5722). Springer Verlag, 2009.        
39Straccia U., Tinelli E., Di Noia T., Di Sciascio E. Top-k Retrieval for Automated Human Resource Management. In: SEBD 2009 - 17th Italian Symposium on Advanced Database Systems (Camogli, Genova, 21-24 June 2009). Atti, pp. 161 - 168. Seneca Edizioni, 2009.  
40Straccia U. Towards spatial reasoning in fuzzy description logics. In: IEEE International Conference on Fuzzy Systems (Jeju, Korea, 20-24 August 2009). Proceedings, pp. 512 - 517. IEEE, 2009.        

   2008
41Bobillo F., Straccia U. FuzzyDL: an expressive fuzzy description logic reasoner. In: IEEE International Conference on Fuzzy Systems. FUZZ-IEEE 2008 (Hong Kong, 1-6 June 2008). Proceedings, pp. 923 - 930. IEEE, 2008.     
42Bobillo F., Straccia U. On qualified cardinality restrictions in fuzzy description logics under Lukasiewicz semantics. In: 12th International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2008 (Malaga (Spain), 22-27 June 2008). Proceedings, pp. 1008 - 1015. University of Malaga, 2008.  
43Bobillo F., Straccia U. Towards a crisp representation of fuzzy description logics under Lukasiewicz semantics. In: Foundations of Intelligent Systems. 17th International Symposium on Methodologies for Intelligent Systems - ISMIS 2008 (Toronto, 20-23 May 2008). Proceedings, pp. 309 - 318. (Lecture Notes in Computer Science, vol. 4994). Springer Verlag, 2008.        
44Ragone A., Straccia U., Bobillo F., Di Noia T., Di Sciascio E., Donini F. M. Fuzzy bilateral matchmaking in e-marketplaces. In: Knowledge-Based Intelligent Information and Engineering Systems. 12th International Conference, KES 2008 (Zagreb, Croatia, 3-5 September 2008). Proceedings, vol. Part III pp. 293 - 301. (Lecture Notes in Artificial Intelligence, vol. 5179). Springer Verlag, 2008.        
45Ragone A., Straccia U., Bobillo F., Di Sciascio E., Di Noia T., Donini F. Fuzzy description logics for bilateral matchmaking in e-marketplaces. In: 16th Italian Symposium on Advanced Database Systems. SEBD-08 (Mondello (PA), ITALY, June 2008). Proceedings, SEBD, 2008.  
46Ragone A., Straccia U., Bobillo F., Di Noia T., Di Sciascio E. Fuzzy description logics for bilateral matchmaking in e-marketplaces. In: 21st International Workshop on Description Logics. DL-08 (Dresda, Germania, 13-16 May 2008). Proceedings, vol. - CEUR, 2008.     
47Ragone A., Straccia U., Di Noia T., Di Sciascio E., Donini F. M. Towards a fuzzy logic for automated multi-issue negotiation. In: 5th International Symposium on Foundations of Information and Knowledge Systems. FoIKS-08 (Pisa, Febbraio 2008). Proceedings, pp. 381 - 396. (Lecture Notes in Computer Science, vol. 4932). Springer Verlag, 2008.     
48Straccia U., Visco G. DLMedia: an ontology mediated multimedia information retrieval system. In: URSW 2008 - International Workshop on Uncertainty Reasoning for the Semantic Web (Karlsruhe, Germany, october 2008). Proceedings, 2008.     

   2007
49Bobillo F., Straccia U. A fuzzy description logic with product T-norm. In: IEEE International Conference on Fuzzy Systems (London, 23-26 July 2007). Proceedings, pp. 652 - 657. IEEE, 2007.     
50Bobillo F., Straccia U. Mixed integer programming, general concept inclusions and fuzzy description logics. In: 5th Conference of the European Society for Fuzzy Logic and Technology. EUSFLAT-07 (Ostrava, Czech Republic, 11-14 September 2007). Proceedings, vol. 2 pp. 213 - 220. University of Ostrava, 2007.  
51Lukasiewicz T., Straccia U. Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU-07 (Hammamet, Tunis, October 2007). Proceedings, pp. 187 - 198. (Lecture Notes in Computer Science, vol. 4724). Springer Verlag, 2007.  
52Lukasiewicz T., Straccia U. Tightly integrated fuzzy description logic programs under the answer semantics for the semantic Web. In: First International Conference on Web Reasoning and Rule Systems. RR 2007 (Insbruck, 7-8 June 2007). Proceedings, pp. 289 - 298. M. Marchiori, J.Z. Pan, and C. de Sainte Marie (eds.). (Lecture Notes in Computer Science, vol. 4524). Springer Verlag, 2007.     
53Lukasiewicz T., Straccia U. Top-K retrieval in description logic programs under vagueness for the semantic Web. In: First International Conference on Scalable Uncertainty Management. SUM-07 (Washington, USA, Ottobre 2007). Proceedings, pp. 16 - 30. (Lecture Notes in Computer Science, vol. 4772). Springer, 2007.     
54Ragone A., Straccia U., Di Noia T., Di Sciascio E., Donini F. M. Extending datalog for matchmaking in P2P e-marketplaces. In: 15th Italian Symposium on Advanced Database Systems. SEBD-07 (Torre Canne, Fasano, BR, Italia, 17-20 giugno 2007). Atti, pp. 463 - 470. Universita' di Bari, Dipartimento di Informatica, 2007.  
55Ragone A., Straccia U., Di Noia T., Di Sciascio E., Domini F. M. Vague knowledge bases for matchmaking in P2P E-Marketplaces. In: 4th European Semantic Web Conference. ESWC-07 (Insbruck, 3-7th June 2007). Proceedings, pp. 414 - 428. E. Franconi, M. Kifer, and W. May (eds.). (Lecture Notes in Computer Science, vol. 4519). Springer Verlag, 2007.  
56Straccia U. A top-down query answering procedure for normal logic programs under the any-world assumption. In: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU-07 (Hammamet, Tunisi, Ottobre 2007). Proceedings, pp. 115 - 127. (Lecture Notes in Computer Science, vol. 4724). Springer Verlag, 2007.     
57Straccia U., Visco G. DLMedia: an ontology mediated multimedia information retrieval system. In: International Workshop on Description Logics. DL-07 (Bressanone, Bolzano, 8-10 June 2007). Proceedings, CEUR, 2007.  
58Straccia U. Towards Vague Query Answering in Logic Programming for Logic-based Information Retrieval. In: 12th International Fuzzy Systems Association World Congress, IFSA 2007 (Cancun, Mexico, 18-21 June 2007). Proceedings, pp. 125 - 134. (Lecture Notes in Computer Science, vol. 4529). Springer Verlag, 2007.  

   2006
59Damasio 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-06 (Athens, Georgia, USA, 10-11 November 2006). Proceedings, pp. 97 - 106. IEEE, 2006.     
60Renda M. E., Straccia U. Automatic structured query transformation over distributed digital libraries. In: Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC-06) (Dijon, France, 23-27 April 2006). Proceedings, pp. 1078 - 1083. ACM, 2006.  
61Stoilos G., Straccia U., Stamou G., Pan J. Z. General concept inclusions in fuzzy description logics. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI-06) (Riva del Garda, August 28th-Sept 1st 2006). Proceedings, pp. 457 - 461. IOS Press, 2006.  
62Straccia U. Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06) (Paris, 04-07 July 2006). Proceedings, pp. 1212 - 1219. E.D.K Paris, 2006.  
63Straccia U. Answering vague queries in fuzzy DL-LITE. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06) (Paris, July 04-07, 2006). Proceedings, pp. 2238 - 2245. E.D.K Paris, 2006.  
64Straccia U. Fuzzy description logic programs. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06) (Paris, July 04-07, 2006). Proceedings, pp. 1818 - 1825. E.D.K Paris, 2006.  
65Straccia U. Query answering under the any-world assumption for normal logic programs. In: International Conference on Principles of Knowledge Representation (KR-06) (Lake District, 2-5 June 2006). Proceedings, pp. 329 - 339. AAAI Press, 2006.  
66Straccia U., Troncy R. Towards distributed information retrieval in the semantic Web: query reformulation using the oMAP framework. In: European Semantic Web Conference. ESWC-06 (Montenegro, 11-14 June 2006). Proceedings, pp. 378 - 392. (Lecture Notes in Computer Science, vol. 4011). Springer Verlag, 2006.  
67Straccia U. Towards top-k query answering in deductive databases. In: 2006 IEEE Conference on Systems, Man, and Cybernetics (Taipei, Taiwan, 8-11 October 2006). Proceedings, pp. 4873 - 4879. IEEE, 2006.  
68Straccia U. Towards top-k query answering in description logics: the case of DL-lite. In: JELIA 2006 - Logics in Artificial Intelligence. 10th European Conference on Logics in Artificial Intelligence (Liverpool, UK, 13-15 September 2006). Proceedings, pp. 439 - 451. Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.). (Lecture Notes in Artificial Intelligence, vol. 4160). Springer-Verlag, 2006.           

   2005
69Nottelmann H., Straccia U. A probabilistic approach to schema matching. In: Proceedings of the 27th European Conference on Information Retrieval (Santiago de Compostela, Spain, March 2005). Proceedings, vol. Lecture Notes in Computer Science 3408 pp. 81 - 95. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
70Nottelmann H., Straccia U. Information retrieval and machine learning for probabilistic schema matching. In: ACM 14th Conference on Information and Knowledge Management (CIKM-05) (Bremen, Germany, November 2005). Proceedings, pp. 295 - 296. ACM, 2005.  
71Straccia U. Description Logics with Fuzzy Concrete Domains. In: 21st Conference on Uncertainty in Artificial Intelligence (UAI-05) (Edinburgh, Scotland, UK, July 26-29, 2005). Proceedings, pp. 559-567. Fahiem Bacchus and Tommi Jaakkola (eds.). AUAI Press, 2005. (Edinburgh, Scotland, UK, 26-29 July 2005). Proceedings, pp. 559 - 567. Fahiem Bacchus and Tommi Jaakkola (eds.). AUAI Press, 2005.  
72Straccia U. Fuzzy ALC with fuzzy concrete domains. In: 2005 International Workshop on Description Logics - DL2005 (Edinburgh, Scotland, UK, 26-28 July 2005). Proceedings, pp. 96 - 103. Ian Horrocks, Ulrike Sattler and Frank Wolter (eds.). CEUR, 2005.  
73Straccia U. Query Answering in Normal Logic Programs under Uncertainty. In: 8th European Conferences on Symbolic and Quantitative Approaches to (Barcellona, Spain, July 2005). Proceedings, vol. 3571 pp. 687 - 700. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
74Straccia U. Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report). In: 2nd European Semantic Web Conference (ESWC-05) (Heraklion, Greece, 29 May - 1 June 2005). Proceedings, vol. LNCS 3532 pp. 167 - 181. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
75Straccia U. Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering. In: 9th International Conference on Knowledge-Based & Intelligent (Melbourne, 14-16 Sept 2005). Proceedings, vol. 3682 pp. 753 - 760. Rajiv Khosla and Robert J. Howlett and Lakhmi C. Jain (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
76Straccia U., Troncy R. oMAP: an Implemented Framework for Aligning Automatically OWL Ontologies. In: Workshop on Integrating Ontologies: International Conference on Knowledge Capture (K-CAP-05) (Banff, Canada, 2-5 October 2005). Proceedings, vol. 156 pp. 92 - 96. Benjamin Ashpole and Marc Ehrig and Jérôme Euzenat and Heiner (eds.). CEUR, 2005.  
77Straccia U., Troncy R. oMAP: combining classifiers for aligning automatically OWL ontologies. In: 6th International Conference on Web Information Systems Engineering (New York, Nove 2005). Proceedings, vol. Lecture Notes in Computer Science 3806 pp. 133 - 147. (Lecture Notes in Computer Science). Springer Verlag, 2005.  

   2004
78Avancini H., Straccia U. Personalization, Collaboration, and Recommendation in the Digital Library Environment Cyclades. In: Applied Computing 2004 (Lisbon, Portugal, 23-26 March 2004). Proceedings, 2004.  
79Avancini H., Straccia U. User Awareness in Cyclades: a Collaborative and Personalized Environment for Open Digital Archives. In: Web Based Communities 2004 (Lisbon, Portugal, 24-26 March 2004). Proceedings, p. 8. 2004.  
80Straccia U. Transforming Fuzzy Description Logics into Classical Description Logics. In: European Conference of Logics in Artificial Intelligence (JELIA-05) (Lisbon, Portugal, September, 2004). Proceedings, pp. 385 - 399. José Júlio Alferes, Joăo Leite (eds.). (Lecture Notes in Computer Science, vol. 3229). Springer Verlag, 2004.  
81Straccia U. Uncertainty in Description Logics: a Lattice-based Approach. In: IPMU-04 - 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (Perugia, Italy, 4-9 July 2004). Proceedings, 2004.  

   2003
82Loyer Y., Straccia U. Default Knowledge in Logic Programs with Uncertainty. In: 19th Int. Conf., ICLP 2003 (Mumbai, India, 9-13 Dicember 2003). Proceedings, pp. 466 - 480. C. Palamidessi (ed.). (Lecture Notes in Computer Science, vol. 2916). Springer Verlag, 2003.  
83Loyer Y., Straccia U. The Approximate Well-founded Semantics for Logic Programs with Uncertainty. In: International Symposium on Mathematical Foundations of Computer Science (MFCS-2003) (Bratislava, Slovak Republic, August 2003). Proceedings, pp. 541 - 550. B. Rovan and P. Vojtŕs (eds.). (Lecture Notes in Computer Science, vol. 2747). Springer Verlag, 2003.  
84Renda M. E., Straccia U. Web Metasearch: Rank vs. Score Based Rank Aggregation Methods. In: Proc. 18th Annual ACM Symposium on Applied Computing (SAC-03) (Melbourne, Florida, USA, 9-12 March 2003). Proceedings, pp. 841 - 846. ACM, 2003.  

   2002
85Loyer Y., Straccia U. Non-uniform hypothesis in deductive databases with uncertainty. In: Logic Programming. 18t International Conference. ICLP 2002 (Copenhagen, Denmark, July 29 – August 1 2002). Proceedings, pp. 473 - 474. Peter J. Stuckey (ed.). (Lecture Notes in Computer Science, vol. 2401). 2002.  
86Loyer Y., Straccia U. The well-founded semantics in normal logic programs with uncertainty. In: Functional and Logic Programming. 6th International Symposium. FLOPS 2002 (Aizu, Japan, September 2002 2002). Proceedings, pp. 152 - 166. Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.). (Lecture Notes in Computer Science, vol. 2441). Springer, 2002.  
87Loyer Y., Straccia U. Uncertainty and partial non-uniform assumptions in parametric deductive databases. In: 8th European Conference on Logics in Artificial Intelligence (Cosenza, September 2002). Proceedings, pp. 271 - 282. (Lecture Notes in Computer Science, vol. 2424). Springer Verlag, 2002.  
88Renda M. E., Straccia U. A personalized collaborative digital library. In: 5th International Conference on Asian Digital Libraries. ICADL 2002 (Singapore, 11-14 December 2002). Proceedings, pp. 262 - 274. E.P. Lim et al... (eds.). (Lecture Notes in Computer Science, vol. 2555). Springer, 2002.     

Editorials

   2014
1Cali' A., Straccia U., (eds.) .. Scalable uncertainty management. Springer Verlag, 2014.        

   2012
2Kroetzsch M., Straccia U., (eds.) .. Web reasoning and rule systems. pp. IV - V. Springer, 2012.        
3Straccia U., et al .., (eds.) .. Information Systems, Technology and Management - 6th International Conference,. vol. 285 p. -. Springer, 2012.        

   2011
4Straccia U., et al .., (eds.) .. RuleML2011@BRF Challenge. CEUR-WS.org, 2011.     

Technical reports

   2015
1Straccia U., Casini G., Meyer T. A Polynomial Time Subsumption Algorithm for EL under Rational Closure. Technical report, 2015.  

   2009
2Straccia U. A minimal deductive system for general fuzzy RDF. Technical report, 2009.  
3Straccia U. SoftFacts: a top-k retrieval engine for a tractable description logic accessing relational databases. Technical report, 2009.  

   2008
4Straccia U., Visco G. DL-Media: an ontology mediated multimedia information retrieval system. Technical report, 2008.  
5Straccia U. Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs. Technical report, 2008.  

   2007
6Straccia U. A tabling query answering procedure for normal logic programs under the any-world assumption. Technical report, 2007.  
7Straccia U., Visco G. DLMedia: an ontology mediated multimedia information retrieval system. Technical report, 2007.  
8Straccia U., Ojeda-Aciego M., Viegas Damasio C. On fixed-points of multi-valued functions and their application to generalized logic programs. Technical report, 2007.  
9Straccia U. Reasoning in L-SHIF: an expressive fuzzy description logic under Lukasiewicz semantics. Technical report, 2007.  

   2006
10Straccia U. A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming. Technical report, 2006.  
11Straccia U. Towards Vague Query Answering in Logic Programming for Logic-based Information Retrieval. The document has been submitted to : IFSA2006, Technical report, 2006.  

   2005
12Loyer Y., Straccia U. Approximate Well-founded Semantics, Query Answering and Generalized Normal Logic Programs over Lattices. The document has been submitted to Journal: Annals of Mathematics and Artificial Intelligence, Technical report, 2005.  
13Renda M. E., Straccia U. On the Effectiveness of Automatic Schema Matching Over Heterogeneous Digital Libraries. The document has been submitted to Conference: 16th International Conference on Database and Expert Systems Applications - DEXA 2005, Technical report, 2005.  
14Straccia U. Annotated Answer Set Programming. The document other:, Technical report, 2005.  
15Straccia U. Answering Vague Queries in Fuzzy DL-Lite^-. The document other:, Technical report, 2005.  
16Straccia U. Fuzzy Description Logic Programs. The document other:, Technical report, 2005.  
17Straccia U. Fuzzy Description Logics with Concrete Domains. The document has been submitted to Conference: Nineteenth International Joint Conference on Artificial Intelligence, Technical report, 2005.  

   2004
18Avancini H., Candela L., Straccia U. Recommenders in a Personalized, Collaborative Digital Library Environment. The document will be submitted to Journal:, Technical report, 2004.  
19Nottelmann H., Straccia U. A probabilistic approach to schema matching. The document will be submitted to Conference: European Conference on Information Retrieval (ECIR-05), Technical report, 2004.  
20Nottelmann H., Straccia U. A probabilistic, logic-based framework for automated ontology matching. The document has been submitted to Conference: ACM World Wide Web 2005, Technical report, 2004.  
21Straccia U., Candela L. D-Lib - Digital Library Based Collaboration. Digital Library Based Collaboration. Deliverable 3.1.1, 2004.  
22Straccia U. Reducing Fuzzy Description Logics into Classical Description Logics. The document will be submitted to : 16th European Conference on Artificial Intelligence (ECAI-04), Technical report, 2004.  
23Straccia U., Loyer Y. The stable model semantics under the any-world assumption. The document will be submitted to Conference: IEEE Symposium on Logic in Computer Science (LICS-4), Technical report, 2004.  
24Straccia U. Top-Down Query Answering for Logic Programs over Bilattices. The document will be submitted to Conference: Int. Conf. on Logic programming and Automated Reasoning 2005, Technical report, 2004.  
25Straccia U. Towards a Fuzzy Description Logic for the Semantic Web. The document will be submitted to Conference: European Semantic Web Conference 2005, Technical report, 2004.  
26Straccia U. Uncertainty and Description Logic Programs: A Proposal for Expressing Rules and Uncertainty on Top of Ontologies. The document will be submitted to Conference: Int. semantic Web Conference 2004, Technical report, 2004.  
27Straccia U. Uncertainty in Description Logic Programs. The document has been submitted to : AAAI-04, Technical report, 2004.  

   2003
28Avancini H., Straccia U. Personalization, Collaboration, and Recommendation in the Digital Library Environment CYCLADES. The document will be submitted to Journal: IEEE Internet Computing, Technical report, 2003.  
29Avancini H., Straccia U. User Awareness in CYCLADES: a Collaborative and Personalized Environment for Open Digital Archives. The document will be submitted to Conference: IADIS International Conference, Technical report, 2003.  
30Loyer Y., Straccia U. An Epistemic Foundation of Stable Model Semantics. The document will be submitted to Journal of ACM, Technical report, 2003.  
31Loyer Y., Straccia U. The Well-Founded Semantics of Logic Programs over Bilattices: an Alternative Characterisation. Technical report, 2003.  
32Renda M. E., Straccia U. A Personalized Collaborative Digital Library Environment: a model and an application. The document has been submitted to Journal Information Processing and Management, Technical report, 2003.  

Abstracts

   2008
1Straccia U. Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Reasoning Web 2008. Summer School (San Servolo, Venice, 7-11 September 2008).   
2Straccia U. Multimedia retrieval and reasoning. In: BOEMIE - BOEMIE 2008 Workshop on Ontology Evolution and Multimedia Information Extraction (Koblenz, Germany, 2 December 2008).   

   2007
3Lukasiewicz T., Straccia U. Managing uncertainty and vagueness in semantic Web languages. In: ESWC 2007 - 4th European Semantic Web Conference (Insbruck, 3-7 June 2007).   
4Lukasiewicz T., Straccia U. Managing uncertainty and vagueness in semantic Web languages. In: AAAI-07 - Twenty-Second Conference on Artificial Intelligence (Vancouver, 22-26 July 2007).   
5Straccia U. Managing uncertainty and vagueness in semantic Web languages. In: SWAP-07 - 4th Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (Bari, 18-20 dicembre 2007).   

   2005
6Straccia U. Fuzzy description logics and the semantic Web. In: International Conference "The Logic of Soft Computing IV" (Ostrava, Czech Republic, 5-7 October 2005).   
7Straccia U., Troncy R. oMAP: an implemented framework for automatically aligning OWL ontologies. In: Proceedings of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2005) (Trento, December 2005).