Umberto Straccia's publications

To Appear

  1.   

2023
  1. Giovanni Casini and Umberto Straccia. Defeasible RDFS via Rational Closure. In Information Sciences, 643, 118409 pages 1-49, Elsevier, 2023.
    Abstract . Bibitem . Paper     Doi.
  2. Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia. Revising typical beliefs: one revision to rule them all. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), IJCAI Organization, pages 355--364, 2023.
    Abstract . Bibitem . Paper     . DOI


2022

  1. Giovanni Casini and Umberto Straccia. A General Framework for Modelling Conditional Reasoning - Preliminary Report. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), IJCAI Organization, pages 112--121, 2022.
    Abstract . Bibitem . Paper     . DOI
  2. Giovanni Casini and Umberto Straccia. A Minimal Deductive System for RDFS with Negative Statements. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), IJCAI Organization, pages 351--361, 2022.
    Abstract . Bibitem . Paper     . DOI
  3. Giovanni Casini and Umberto Straccia. Defeasible reasoning in RDFS. In Proceedings of the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022), Part of the Federated Logic Conference (FLoC 2022), CEUR Workshop Proceedings 3197, pages 155-158, 2022.
    Abstract . Bibitem . Paper     . URL
  4. Giovanni Casini and Umberto Straccia. A Rational Entailment for Expressive Description Logics via Description Logic Programs. In Proceedings of the Southern African Artificial Intelligence Conference (SACAIR-2021), Communications in Computer and Information Science 1551, Springer, pages 177--191, 2022.
    Abstract . Bibitem . Paper     . DOI

2021

  1. Franco Alberto Cardillo and Umberto Straccia. Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting. In In Fuzzy Sets and Systems, Elsevier, 2021.
    Abstract . Bibitem . Paper     . DOI

2020

  1. Ignacio Huitzil, Umberto Straccia, Carlos Bobed, Eduardo Mena and Fernando Bobillo. The Serializable and Incremental Semantic Reasoner fuzzyDL. In Proceedings of the  IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), pages 1-8, IEEE, 2020.
    Abstract . Bibitem . Paper     . DOI
  2. Umberto Straccia. How Much Knowledge is in a Knowledge Base? Introducing Knowledge Measures (Preliminary Report). In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-20), Frontiers in Artificial Intelligence and Applications 325, IOS Press, pages 905--912, 2020.
    Abstract . Bibitem . Paper     . DOI
  3. Ignacio Huitzil, Fernando Bobillo, Juan Gomez-Romero and Umberto Straccia. Fudge: Fuzzy Ontology Building with Consensuated Fuzzy Datatypes. In Fuzzy Sets and Systems, 401, pages 91-112, Elsevier, 2020.
    Abstract . Bibitem . Paper     . DOI 

2019

  1. Giovanni Casini, Umberto Straccia and Thomas Meyer. A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_\bot under Rational Closure. In Information Sciences, 501, pages 588-620, Elsevier, 2019.
    Abstract . Bibitem . Paper     Doi.
  2. Tommaso Di Noia and Marina Mongiello and Francesco Nocera and Umberto Straccia. A Fuzzy Ontology-based Approach for Tool-supported Decision Making in Architectural Design. In Knowledge and Information Systems, an International Journal, 58:83-112, 2019.
    Abstract . Bibitem . Paper.     Doi.
  3. Franco Alberto Cardillo. Towards Ontology-based Explainable Classification of Rare Events. Working paper. In The open archive HAL, 2019.
    Abstract . Bibitem . Paper.     Link.
  4. Faranak Sobhani and Umberto Straccia. Towards a  Forensic  Event  Ontology to Assist Video Surveillance-based Vandalism Detection. In Proceedings of the 34th Italian Conference on Computational Logic (CILC-19), 2019.
    Abstract . Bibitem . Paper

2018

  1. Straccia, Umberto. Fuzzy & Annotated Semantic Web Languages. Invited Talk at the 2018 Artificial Intelligence International Conference (A2IC 2018), Barcelona, Spain, 1-3 November, 2018.
    Abstract . Bibitem . PaperSlides . Presentation on Youtube
    .
  2. Fernando Bobillo and Umberto Straccia. Reasoning within Fuzzy OWL 2 EL Revisited. In Fuzzy Sets and Systems, 351, pages 1-40, Elsevier, 2018.
    Abstract . Bibitem . Paper
  3. Ignacio Huitzil, Umberto Straccia, Natalia Diaz Rodriguez and Fernando Bobillo. Datil: Learning Fuzzy Ontology Datatypes. In Proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-18), Communications in Computer and Information Science, Volume 854, Springer, pages 100--112, 2018.
    4. Abstract . Bibitem . Paper

2017

    1. Umberto Straccia and Fernando Bobillo. From Fuzzy to Annotated Semantic Web Languages. Tutorial Lecture at the Reasoning Web 2016, 12th International Summer School, Volume 9885 in Lecture Notes in Computer Science, pages 203--240. Springer Verlag, 2017.
      Abstract . Bibitem . Paper . Slides
    2. Fernando Bobillo and Umberto Straccia. Generalizing Type-2 Fuzzy Ontologies and Type-2 Fuzzy Description Logics. In International Journal of Approximate Reasoning, 2017.
      Abstract . Bibitem . Paper
    3. Umberto Straccia. Fuzzy Semantic Web Languages and Beyond. Invited Talk at the 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), Volume 10350 in Lecture Notes in Artificial Intelligence, pages 3--8. Springer Verlag, 2017.
      Abstract . Bibitem . Paper . Slides
    4. Andrea Calě and Umberto Straccia. Integration of Deep Web Sources: A Distributed Information Retrieval Approach. In Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics (WIMS-17), 2017.
      Abstract . Bibitem . Paper
    5. Natalia Diaz Rodriguez, Aki Harma, Ignacio Huitzil, Fernando Bobillo, Umberto Straccia and Rim Helaoui. Couch potato or gym addict? Semantic lifestyle profiling with wearables and knowledge graphs. In Proceedings of the 6th Workshop on Automated Knowledge Base Construction (AKBC-17), colocated with 2017 Neuro Information Processing System Conference, 2017.
      Abstract . Bibitem . Paper

2016

    1. Fernando Bobillo and Umberto Straccia. The Fuzzy Ontology Reasoner fuzzyDL. In Knowledge-Based Systems, 95, pages 12--34, Elsevier, 2016.
      Abstract . Bibitem . Paper
    2. Fernando Bobillo and Umberto Straccia. Optimising Fuzzy Description Logic Reasoners with General Concept Inclusion Absorption. In Fuzzy Sets and Systems, 292, pages 98-129, Elsevier, 2016.
      Abstract . Bibitem . Paper
    3. Annarita Cinquepalmi and Umberto Straccia. An Ontology-Based Affective Computing Approach for Passenger Safety Engagement on Cruise Ships. In Proceedings of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM-16). ISBN: 978-1-61208-505-0, pages 203 - 208, IARIA, 2016.
      Abstract . Bibitem . Paper

2015

    1. Umberto Straccia and Matteo Mucci. pFOIL-DL: Learning (Fuzzy) EL Concept Descriptions from Crisp OWL Data Using a Probabilistic Ensemble Estimation. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC-15), 2015.
      Abstract . Bibitem . Paper
    2. Andrea Calě and Umberto Straccia. A Framework for Conjunctive Query Answering over Distributed Deep Web Information Resources. In Proceedings of the 23rd Italian Symposium on Advanced Database Systems (SEBD-15), 2015.
      Abstract . Bibitem . Paper
    3. Umberto Straccia. All About Fuzzy Description Logics and Applications. In Reasoning Web, 11th International Summer School, 2015.
      Abstract . Bibitem . Paper . Slides
    4. Francesca A. Lisi and Umberto Straccia. Learning in Description Logics with Fuzzy Concrete Domains. In Fundamenta Informaticae, 2015.
      Abstract . Bibitem . Paper
    5. Fernando Bobillo and Umberto Straccia. 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-15), 2015.
      Abstract . Bibitem . Paper
    6. Fernando Bobillo and Umberto Straccia. On Partitioning-Based Optimisations in Expressive Fuzzy Description Logics. In Proceedings of the 2015 International Conference on Fuzzy Systems (FUZZ-IEEE-15), 2015.
      Abstract . Bibitem . Paper . Slides
    7. Tommaso Di Noia, Marina Mongiello, Umberto Straccia. Fuzzy Description Logics for Component Selection in Software Design. In Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops, Revised Selected Papers, 2015.
      Abstract . Bibitem . Paper
    8. Fernando Bobillo, Marco Cerami, Francesc Esteva, Angel Garcia-Cerdana, Rafael Penaloza, Umberto Straccia. Fuzzy Description Logics in the framework of Mathematical Fuzzy Logic. In Handbook of Mathematical Fuzzy Logic, Volume 3, Studies in Logic Studies in Logic, Mathematical Logic and Foundations, Volume 58, Chapter 16, pages 1105--1181, College Publications, 2015.
      Abstract . Bibitem . Paper

2014

    1. Umberto Straccia. On the Top-k Retrieval Problem for Ontology-Based Access to Databases. In Flexible Approaches in Data, Information and Knowledge Management, Studies in Computational Intelligence, 2014.
      Abstract . Bibitem . Paper
    2. Francesca A. Lisi and Umberto Straccia. A FOIL-Like Method for Learning under Incompleteness and Vagueness. In 23rd International Conference on Inductive Logic Programming (ILP-14), 2014.
      Abstract . Bibitem . Paper
    3. Fernando Bobillo and Umberto Straccia. A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB. In Proceedings of the 27th International Workshop on Description Logics (DL-14), 2014.
      Abstract . Bibitem . Paper
    4. Marco Cerami and Umberto Straccia. Complexity sources in FDL. In Proceedings of the 27th International Workshop on Description Logics (DL-14), 2014.
      Abstract . Bibitem . Paper
    5. Francesca A. Lisi and Umberto Straccia. Can ILP Deal with Incomplete and Vague Structured Knowledge? In Latest Advances in Inductive Logic Programming, 2014.
      Abstract . Bibitem . Paper

2013

    1. Umberto Straccia. Foundations of Fuzzy Logic and Semantic Web Languages. Chapman & Hall/CRC Studies in Informatics Series. 2013.
      Abstract . Bibitem . Book URL
    2. Giovanni Casini and Umberto Straccia. Defeasible Inheritance-based Description Logics. In Journal of Artificial Intelligence Research, 2013.
      Abstract . Bibitem . Paper
    3. Marco Cerami and Umberto Straccia. On the (Un)Decidability of Fuzzy Description Logics under Lukasiewicz t-norm. In Information Sciences, 2013.
      Abstract . Bibitem . Paper
    4. Fernando Bobillo and Umberto Straccia. Aggregation Operators for Fuzzy Ontologies. In Applied Soft Computing, 2013.
      Abstract . Bibitem . Paper
    5. Francesca A. Lisi and Umberto Straccia. A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms. In Fundamenta Informaticae, 2013.
      Abstract . Bibitem . Paper
    6. Giovanni Casini and Umberto Straccia. Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. In Proceedings of the 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-13), 2013.
      Abstract . Bibitem . Paper
    7. Fernando Bobillo and Umberto Straccia. Finite Fuzzy Description Logics and Crisp Representations. In Uncertainty Reasoning for the Semantic Web II, 2013.
      Abstract . Bibitem . Paper
    8. Francesca A. Lisi and Umberto Straccia. A System for Learning GCI Axioms in Fuzzy Description Logics. In Proceedings of the 26th International Workshop on Description Logics (DL-13), 2013.
      Abstract . Bibitem . Paper
    9. Fernando Bobillo and Umberto Straccia. General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step. In Proceedings of the 26th International Workshop on Description Logics (DL-13), 2013.
      Abstract . Bibitem . Paper
    10. Madrid, Nicolas and Umberto Straccia. On Top-k Retrieval for a Family of Non-monotonic Ranking Functions. In Proceedings of the 10th International Conference on Flexible Query Answering Systems (FQAS-13), 2013.
      Abstract . Bibitem . Paper
    11. Francesca Alessandra Lisi and Umberto Straccia. Dealing with Incompleteness and Vagueness in Inductive Logic Programming. In Proceedings of the 28th Italian Conference on Computational Logic (CILC-13), 2013.
      Abstract . Bibitem . Paper

2012

    1. Fernando Bobillo and Umberto Straccia. Generalized Fuzzy Rough Description Logics. In Information Sciences, 2012.
      Abstract . Bibitem . Paper
    2. Antoine Zimmermann, Nuno Lopesa, Axel Polleresa, Umberto Straccia. A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data. In Journal of Web Semantics, 2012.
      Abstract . Bibitem . Paper
    3. Umberto Straccia. Top-k Retrieval for Ontology Mediated Access to Relational Databases . In Information Sciences, 2012.
      Abstract . Bibitem . Paper
    4. Umberto Straccia and Nicolas Madrid. A Top-k Query Answering Procedure for Fuzzy Logic Programming. In Fuzzy Sets and Systems, 2012.
      Abstract . Bibitem . Paper
    5. Fernando Bobillo, Miguel Delgado, Juan Gomez-Romero and Umberto Straccia. Joining Gödel and Zadeh Fuzzy Logics in Fuzzy Description Logics. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2012.
      Abstract . Bibitem . Paper
    6. Giovanni, Casini and Umberto Straccia. Lexicographic Closure for Defeasible Description Logics. In Proceedings of the 8th Australasian Ontology Workshop (AOW-12), 2012.
      Abstract . Bibitem . Paper

2011

    1. Fernando Bobillo and Umberto Straccia. Fuzzy Ontology Representation using OWL 2. In International Journal of Approximate Reasoning, 2011.
      Abstract . Bibitem . Paper
    2. Giovanni Casini and Umberto Straccia. Defeasible Inheritance-based Description Logics. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 2011.
      Abstract . Bibitem . Paper
    3. Fernando Bobillo and Umberto Straccia. Reasoning with the Finitely Many-valued Lukasiewicz Fuzzy Description Logic SROIQ. In Information Sciences, 2011.
      Abstract . Bibitem . Paper
    4. Fernando Bobillo, Felix Bou and Umberto Straccia. On the Failure of the Finite Model Property in some Fuzzy Description Logics. In Fuzzy Sets and Systems, 2011.
      Abstract . Bibitem . Paper . CoRR
    5. Fernando Bobillo and Umberto Straccia. Aggregations Operators and Fuzzy OWL 2. In Proceedings of the 2011 International Conference on Fuzzy Systems (FUZZ-11), 2011.
      Abstract . Bibitem . Paper
    6. Francesca Alessandra Lisi and Umberto Straccia. Towards Learning Fuzzy DL Inclusion Axioms. In Proceedings of the 9th International Workshop on Fuzzy Logic and Applications (WILF-11), 2011.
      Abstract . Bibitem . Paper . Slides
    7. Umberto Straccia. Fuzzy Logic, Annotation Domains and Semantic Web Languages. In Proceedings of the 5th International Conference on Scalable Uncertainty Management (SUM-11), 2011.
      Abstract . Bibitem . Paper. Slides
    8. Francesca Alessandra Lisi and Umberto Straccia. An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. In Proceedings of the 26th Italian Conference on Computational Logic (CILC-11), 2011.
      Abstract . Bibitem . Paper
    9. Fernando Bobillo and Umberto Straccia. Fuzzy Ontologies and Fuzzy Integrals. In 11th International Conference on Intelligent Systems Design and Applications (ISDA-11) , 2011.
      Abstract . Bibitem . Paper

2010

    1. Umberto Straccia, Nuno Lopes, Gergely Lukacsy and Axel Polleres. A General Framework for Representing and Reasoning with Annotated Semantic Web Data. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), 2010.
      Abstract . Bibitem . Paper . Slides
    2. Nuno Lopes, Axel Polleres, Umberto Straccia and Antoine Zimmermann. AnQL: SPARQLing Up Annotated RDF. In Proceedings of the International Semantic Web Conference (ISWC-10), 2010.
      Abstract . Bibitem . Paper
    3. Giovanni Casini and Umberto Straccia. Rational Closure for Defeasible Description Logics. In Proceeedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA-10), 2010.
      Abstract . Bibitem . Paper
    4. Thomas Lukasiewicz and Umberto Straccia. Tightly Integrated Fuzzy Description Logic Programs under the Answer Semantics for the Semantic Web. In Progressive Concepts for Semantic Web Evolution: Applications and Developments, 2010.
      Abstract . Bibitem . Paper
    5. Umberto Straccia. An Ontology Mediated Multimedia Information Retrieval System. In Proceedings of the 40th International Symposium on Multiple-Valued Logic (ISMVL-10), 2010
      Abstract . Bibitem . Paper
    6. Nuno Lopes, Antoine Zimmermann, Aidan Hogan, Gergely Lukacsy, Axel Polleres, Umberto Straccia, and Stefan Decker. RDF Needs Annotations. In Proceedings of W3C Workshop - RDF Next Steps, 2010.
      Abstract . Bibitem . Paper
    7. Fernando Bobillo and Umberto Straccia. Representing Fuzzy Ontologies in OWL 2. In Proceedings of the 2010 International Conference on Fuzzy Systems (FUZZ-IEEE-10), 2010.
      Abstract . Bibitem . Paper . Slides
    8. Alessandro Ciaramella, Mario G.C.A. Cimino, Francesco Marcelloni, Umberto Straccia. Combining Fuzzy Logic and Semantic Web to Enable Situation-Awareness in Service Recommendation. In Proceedings of the 21st International Conference on Database and Expert Systems Applications (DEXA-10), 2010.
      Abstract . Bibitem . Paper . Slides
    9. A. Borgida and J. de Bruijn and E. Franconi and I. Seylan and U. Straccia and D. Toman and G. Weddell. On Finding Query Rewritings under Expressive Constraints. In Proceedings of the 18th Italian Symposium on Advanced Database Systems (SEBD-10), 2010.
      Abstract . Bibitem . Paper
    10. Simona Colucci, Tommaso Di Noia, Azzurra Ragone, Michele Ruta, Umberto Straccia and Eufemia Tinelli. Informative Top-k Retrieval for Advanced Skill Management. In Semantic Web Information Management, 2010.
      Abstract . Bibitem . Paper
    11. Straccia, Umberto. 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-10), 2010.
      Abstract . Bibitem . Paper
    12. Fernando Bobillo and Umberto Straccia. Finite Fuzzy Description Logics: A Crisp Representation for Finite Fuzzy ALCH. In Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-10). 2010.
      Abstract . Bibitem . Paper

2009

    1. Umberto Straccia and Manuel Ojeda-Aciego and Carlos V. Damasio. On Fixed-points of Multi-valued Functions on Complete Lattices and their Application to Generalized Logic Programs. In SIAM Journal on Computing, 2009
      Abstract . Bibitem . Paper
    2. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Matchmaking in E-Marketplaces of peer entities using Datalog. In Fuzzy Sets and Systems, 2009.
      Abstract . Bibitem . Paper
    3. Fernando Bobillo and Miguel Delgado and Juan Gomez-Romero and Umberto Straccia. Fuzzy Description Logics under Gödel Semantics. In International Journal of Approximate Reasoning, 2009
      Abstract . Bibitem . Paper
    4. Yann Loyer and Umberto Straccia. Approximate Well-Founded Semantics, Query Answering and Generalized Normal Logic Programs over Lattices. In Annals of Mathematics and Artificial Intelligence, 2009.
      Abstract . Bibitem . Paper
    5. Fernando Bobillo and Umberto Straccia. Fuzzy Description Logics with General T-norms and Datatypes. In Fuzzy Sets and Systems, 2009.
      Abstract . Bibitem . Paper
    6. Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness. In International Journal of Approximate Reasoning, 2009.
      Abstract . Bibitem . Paper
    7. Umberto Straccia. A Minimal Deductive System for General Fuzzy RDF. In Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR-09), 2009.
      Abstract . Bibitem . Paper . Slides
    8. U. Straccia and E. Tinelli and T. D. Noia and E. D. Sciascio and S. Colucci. Top-k Retrieval for Automated Human Resource Management . In Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD-09), 2009.
      Abstract . Bibitem . Paper . Slides
    9. Fernando Bobillo and Umberto Straccia. Supporting Fuzzy Rough Sets in Fuzzy Description Logics. In Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-09), 2009.
      Abstract . Bibitem . Paper . Slides
    10. Fernando Bobillo and Umberto Straccia. Fuzzy Descriptions Logics with Fuzzy Truth Values. In Proceedings of the World Congress of the International Fuzzy Systems Association/European society for Fuzzy Logic and Technology (IFSA/EUSFLAT-09), 2009.
      Abstract . Bibitem . Paper
    11. U. Straccia and E. Tinelli and T. D. Noia and E. D. Sciascio and S. Colucci. A System for Retrieving Top-k Candidates to Job Positions. In Proceedings of the 22nd International Workshop on Description Logics (DL-09), 2009.
      Abstract . Bibitem . Paper
    12. Umberto Straccia. Towards Spatial Reasoning in Fuzzy Description Logics. In Proceedings of the 2009 IEEE International Conference on Fuzzy Systems (FUZZ--IEEE-09), 2009.
      Abstract . Bibitem . Paper . Slides
    13. Fernando Bobillo and Umberto Straccia. An OWL Ontology for Fuzzy OWL 2. In Proceedings of the 18th International Symposium on Methodologies for Intelligent Systems (ISMIS-09), 2009.
      Abstract . Bibitem . Paper
    14. U. Straccia and E. Tinelli and T. D. Noia and E. D. Sciascio and S. Colucci. Semantic-Based Top-k Retrieval for Competence Management . In Proceedings of the 18th International Symposium on Methodologies for Intelligent Systems (ISMIS-09), 2009.
      Abstract . Bibitem . Paper
    15. Umberto Straccia. Multi-Criteria Decision Making in Fuzzy Description Logics: A First Step. In Prroceedings of the 13th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-09), 2009.
      Abstract . Bibitem . Paper . Slides
    16. Carlo Meghini and Fabrizio Sebastiani and Umberto Straccia. Multimedia Information Retrieval Model. In Encyclopedia of Database Systems, Springer Verlag, 2009.
      Abstract . Bibitem . Paper
    17. Fernando Bobillo and Umberto Straccia. Extending Datatype Restrictions in Fuzzy Description Logics. In 9th International Conference on Intelligent Systems Design and Applications (ISDA-09) , 2009.
      Abstract . Bibitem . Paper . Slides

2008

    1. Thomas Lukasiewicz and Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics for the Semantic Web. In Journal of Web Semantics, 2008.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs. In Reasoning Web, 4th International Summer School, 2008.
      Abstract . Bibitem . Paper . Slides
    3. Fernando Bobillo and Umberto Straccia. fuzzyDL: An Expressive Fuzzy Description Logic Reasoner. In Proceedings of the 2008 International Conference on Fuzzy Systems (FUZZ-08), 2008.
      Abstract . Bibitem . Paper . Slides
    4. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio. Towards a Fuzzy Logic for Automated Multi-issue Negotiation. In Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS-08), 2008.
      Abstract . Bibitem . Paper . Slides
    5. Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. In Proceedings of the 21st International Workshop on Description Logics (DL-08), 2008.
      Abstract . Bibitem . Paper . Slides
    6. Fernando Bobillo and Umberto Straccia. Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz semantics. In Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS-08), 2008.
      Abstract . Bibitem . Paper . Slides
    7. Fernando Bobillo and Umberto Straccia. On Qualified Cardinality Restrictions in Fuzzy Description Logics under Lukasiewicz semantics. In Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-08), 2008.
      Abstract . Bibitem . Paper . Slides
    8. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. In Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD-08), 2008.
      Abstract . Bibitem . Paper
    9. Damasio, Carlos Viegas and Pan, Jeff Z. and Stoilos, Giorgos and Straccia, Umberto. Representing Uncertainty Rules in RuleML. In Fundamenta Informaticae, 2008.
      Abstract . Bibitem . Paper
    10. Umberto Straccia. Fuzzy Description Logic Programs. In Uncertainty and Intelligent Information Systems, B. Bouchon-Meunier, R.R. Yager, C. Marsala, and M. Rifqi eds., 2008.
      Abstract . Bibitem . Paper
    11. Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia and Eugenio Di Sciascio. Fuzzy bilateral matchmaking in e-marketplaces. In Proceedings of the 12th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-08), 2008.
      Abstract . Bibitem . Paper
    12. Umberto Straccia and Giulio Visco. DLMedia: an Ontology Mediated Multimedia Information Retrieval System. In Proceeedings of the International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-08), 2008.
      Abstract . Bibitem . Paper . Slides
    13. Thomas Lukasiewicz and Umberto Straccia. Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. In International Journal on Semantic Web and Information Systems, 2008.
      Abstract . Bibitem . Paper

2007

    1. Straccia, Umberto. Towards Vague Query Answering in Logic Programming for Logic-based Information Retrieval. In World Congress of the International Fuzzy Systems Association (IFSA-07), 2007.
      Abstract . Bibitem . Paper
    2. Thomas Lukasiewicz and Umberto Straccia. Tightly Integrated Fuzzy Description Logic Programs under the Answer Semantics for the Semantic Web. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR-07), 2007.
      Abstract . Bibitem . Paper
    3. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. In Proceedings of the 4th European Semantic Web Conference (ESWC-07), 2007.
      Abstract . Bibitem . Paper
    4. Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning for probabilistic schema matching. Information Processing & Management, Elsevier, 2007.
      Abstract . Bibitem . Paper
    5. Avancini, Henri and Candela, Leonardo and Straccia, Umberto. Recommenders in a Personalized, Collaborative Digital Library Environment. In Journal of Intelligent Information Systems. Springer Verlag, 2007.
      Abstract . Bibitem . Paper
    6. Umberto Straccia and Giulio Visco. DLMedia: an Ontology Mediated Multimedia Information Retrieval System. In Proceeedings of the International Workshop on Description Logics (DL-07), 2007.
      Abstract . Bibitem . Paper
    7. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Extending Datalog for Matchmaking in P2P E-Marketplaces. In Proceedings of the 15th Italian Symposium on Advanced Database Systems (SEBD-07), 2007.
      Abstract . Bibitem . Paper
    8. Fernando Bobillo and Umberto Straccia. A Fuzzy Description Logic with Product T-norm. In Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE-07), 2007.
      Abstract . Bibitem . Paper
    9. Umberto Straccia and Fernando Bobillo. 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-07), 2007.
      Abstract . Bibitem . Paper
    10. Thomas Lukasiewicz and Umberto Straccia. Top-K Retrieval in Description Logic Programs under Vagueness for the Semantic Web. In Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM-07), 2007.
      Abstract . Bibitem . Paper
    11. Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), 2007.
      Abstract . Bibitem . Paper
    12. Umberto Straccia. A Top-Down Query Answering Procedure for Normal Logic Programs under the Any-World Assumption. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), 2007.
      Abstract . Bibitem . Paper
    13. Umberto Straccia and Fernando Bobillo. Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. In Mathware & Soft Computing, 14(3), 2007.
      Abstract . Bibitem . Paper

2006

    1. Loyer, Yann and Straccia, Umberto. Epistemic Foundation of Stable Model Semantics. Journal of Theory and Practice of Logic Programming.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto. Query Answering under the Any-World Assumption for Normal Logic Programs. In Proceedings of the 10th International Conference on Principles of Knowledge Representation (KR-06), 2006.
      Abstract . Bibitem . Paper
    3. Straccia, Umberto. A Fuzzy Description Logic for the Semantic Web. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elie Sanchez, ed., Elsevier, 2006.
      Abstract . Bibitem . Paper
    4. Straccia, Umberto. Uncertainty and Description Logic Programs over Lattices. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elie Sanchez, ed., Elsevier, 2006.
      Abstract . Bibitem . Paper
    5. Straccia, Umberto. Description Logics over Lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2006, .
      Abstract . Bibitem . Paper
    6. Straccia, Umberto and Troncy, Raphael. Towards Distributed Information Retrieval in the Semantic Web: Query Reformulation Using the oMAP Framework. In Proceedings of the 3rd European Semantic Web Conference (ESWC-06), 2006.
      Abstract . Bibitem . Paper
    7. Renda, M. Elena and Straccia, Umberto. Automatic Structured Query Transformation Over Distributed Digital Libraries. In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC-06), 2006
      Abstract . Bibitem . Paper
    8. Straccia, Umberto. Annotated Answer Set Programming. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
      Abstract . Bibitem . Paper.
    9. Straccia, Umberto. Fuzzy Description Logic Programs. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
      Abstract . Bibitem . Paper.
    10. Straccia, Umberto. Answering Vague Queries in Fuzzy DL-LITE. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06) , 2006.
      Abstract . Bibitem . Paper.
    11. Nottelmann, Henrik and Straccia, Umberto. A Probabilistic, Logic-based Framework for Automated Web Directory Alignment. In Soft Computing in Ontologies and the Semantic Web. Series: Studies in Fuzziness and Soft Computing Series, Zongmin Ma, ed. Springer Verlag, 2006.
      Abstract . Bibitem . Paper
    12. Stoilos, George and Straccia, Umberto and Stamou, George and Pan, Jeff. General Concept Inclusions in Fuzzy Description Logics. In Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI-06), 2006.
      Abstract . Bibitem . Paper
    13. Straccia, Umberto. Towards Top-k Query Answering in Description Logics: the case of DL-Lite. In Proceeedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA-06), 2006.
      Abstract . Bibitem . Paper
    14. Straccia, Umberto. Towards Top-k Query Answering in Deductive Databases. In Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC-06), 2006.
      Abstract . Bibitem . Paper
    15. Damasio, Carlos Viegas and Pan, Jeff Z. and Stoilos, Giorgos and Straccia, Umberto. An Approach to Representing Uncertainty Rules in RuleML. In Proceeedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06), 2006.
      Abstract . Bibitem . Paper

2005

    1. Straccia, Umberto and Troncy, Raphael. oMAP: An Implemented Framework for Automatically Aligning OWL Ontologies. In Proceedings of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP-05), 2005.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto and Troncy, Raphael. oMAP: Combining Classifiers for Aligning Automatically OWL Ontologies. In Proceedings of the 6th International Conference on Web Information Systems Engineering (WISE-05), 2005.
      Abstract . Bibitem . Paper
    3. Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning for probabilistic schema matching. In Proceedings of the ACM 14th Conference on Information and Knowledge Management (CIKM-05), 2005.
      Abstract . Bibitem . Paper
    4. Loyer, Yann and Straccia, Umberto. Any-World Assumptions in Logic Programming. Journal of Theoretical Computer Science, 2005.
      Abstract . Bibitem . Paper
    5. Straccia, Umberto. Description Logics with Fuzzy Concrete Domains. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), 2005.
      Abstract . Bibitem . Paper
    6. Straccia, Umberto. Query Answering in Normal Logic Programs under Uncertainty. In Proceedings of the 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), 2005.
      Abstract . Bibitem . Paper
    7. Nottelmann, Henrik and Straccia, Umberto. sPLMap: A probabilistic approach to schema matching. In Proceedings of the 27th European Conference on Information Retrieval Research (ECIR-05), 2005.
      Abstract . Bibitem . Paper
    8. Renda, M. Elena and Straccia, Umberto. A personalized collaborative Digital Library environment: a model and an application. In Information Processing & Management, 2005.
      Abstract . Bibitem . Paper
    9. Avancini, Henri and Straccia, Umberto. User Recommendation for Collaborative and Personalized Digital Archives. In International Journal of Web Based Communities, 2005.
      Abstract . Bibitem . Paper
    10. Straccia, Umberto. Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report). In Proceedings of the 2nd European Semantic Web Conference (ESWC-05), 2005.
      Abstract . Bibitem . Paper
    11. Straccia, Umberto. Fuzzy ALC with Fuzzy Concrete Domains. In Proceedings of the International Workshop on Description Logics (DL-05), 2005.
      Abstract . Bibitem . Paper
    12. Straccia, Umberto. Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering. In Proceedings of the 9th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-05), 2005.
      Abstract . Bibitem . Paper
    13. Straccia, Umberto and Troncy, Raphael. oMAP: Results of the Ontology Alignment Contest. In Proceedings of the Workshop on Integrating Ontologies to be held with the 3rd International Conference on Knowledge Capture (K-CAP-05), 2005.
      Abstract . Bibitem . Paper

2004

    1. Straccia, Umberto. Uncertainty in Description Logics: a Lattice-based Approach. Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-04) , 2004.
      Abstract . Bibitem . Paper. Errata Corrige
    2. Loyer, Yann and Straccia, Umberto. Epistemic Foundation of the Well-Founded Semantics over Bilattices. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS-2004), 2004.
      Abstract . Bibitem . Paper
    3. Straccia, Umberto. Transforming Fuzzy Description Logics into Classical Description Logics. In Proceeedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), 2004.
      Abstract . Bibitem . Paper
    4. Avancini, Henri and Straccia, Umberto. User Awareness in CYCLADES: a Collaborative and Personalized Environment for Open Digital Archives. Proceedings of the IADIS International Conference on Web Based Communities (WBC-04), 2004.
      Abstract . Bibitem . Paper
    5. Avancini, Henri and Straccia, Umberto. Personalization, Collaboration, and Recommendation in the Digital Library Environment CYCLADES. Proceedings of the IADIS International Conference on Applied Computing (AC-04) , 2004.
      Abstract . Bibitem . Paper
    6. Straccia, Umberto and Thanos, Costantino. Cyclades: An Open Collaborative Virtual Archive Environment. International Journal of Digital Libraries, 2004.
      Abstract . Bibitem . Paper

2003

    1. Renda, M. Elena and Straccia, Umberto. Web Metasearch: Rank vs. Score Based Rank Aggregation Methods. In Proc. 18th Annual ACM Symposium on Applied Computing (SAC-3), 2003.
      Abstract . Bibitem . Paper
    2. Loyer, Yann and Straccia, Umberto. The Approximate Well-founded Semantics for Logic Programs with Uncertainty. In Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS-2003), 2003.
      Abstract . Bibitem . Paper . Appendix
    3. Loyer, Yann and Straccia, Umberto. Default Knowledge in Logic Programs with Uncertainty. In Proceedings of the 19th International Conference on Logic Programming (ICLP-2003), 2003.
      Abstract . Bibitem . Paper
    4. Candela, Leonardo and Straccia, Umberto. The Personalized, Collaborative Digital Library Environment CYCLADES and its Collections Management. In Multimedia Distributed Information Retrieval. Callan, Jamie and Crestani, Fabio and Sanderson, Mark Eds. Springer Verlag, 2004.
      Abstract . Bibitem . Paper
    5. Jamie Callan, Alan Smeaton, Micheline Beaulieu, Pia Borlund, Peter Brusilovsky, Matthew Chalmers, Clifford Lynch, John Riedl, Barry Smyth, Umberto Straccia, Elaine Toms. Personalisation and Recommender Systems in Digital Libraries. Joint NSF-EU DELOS Working Group Report. In ERCIM Workshop proceedings, 2003.
      Abstract . Bibitem . Paper

2002

    1. Loyer, Yann and Straccia, Umberto. The Well-founded Semantics in Normal Logic Programs with Uncertainty. In Proceeedings of the 6th International Symposium on Functional and Logic Programming (FLOPS-02), 2002.
      Abstract . Bibitem . Paper
    2. Loyer, Yann and Straccia, Umberto. Uncertainty and Partial Non-Uniform Assumptions in Parametric Deductive Databases. In Proceeedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02), 2002.
      Abstract . Bibitem . Paper
    3. Loyer, Yann and Straccia, Umberto. Non-Uniform Hypothesis in Deductive Databases with Uncertainty. In Proceeedings of the 18th International Conference on Logic Programming (ICLP-02), 2002.
      Abstract . Bibitem . Paper
    4. M. Elena Renda and Straccia, Umberto. A Personalized Collaborative Digital Library Environment. In Proceeedings of the 5th International Conference on Asian Digital Libraries (ICADL-02), 2002.
      Abstract . Bibitem . Paper

2001

    1. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. A model of multimedia information retrieval. Journal of the ACM, 48 (5): 909-970, 2001.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto. Reasoning within Fuzzy Description Logics . Journal of Artificial Intelligence Research, Vol. 14: 137-166, 2001.
      Abstract . Bibitem . Paper

2000

    1. Straccia, Umberto. A Framework for the Retrieval of Multimedia Objects Based on Four-Valued Fuzzy Description Logics. In Soft Computing in Information Retrieval: Techniques and Applications, Fabio Crestani and Gabriella Pasi, eds. Physica Verlag (Springer Verlag). Heidelberg, Germany, 2000.
      Abstract . Bibitem . Paper
    2. Amato, Giuseppe and Thanos, Costantino and Straccia, Umberto. EUROgatherer: a Personalised Gathering and Delivery Service on the Web. In Proc. of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI-2000), 2000.
      Abstract . Bibitem . Paper

1999

    1. Straccia, Umberto. Foundations of a Logic based approach to Multimedia Document Retrieval. PhD thesis, Department of Computer Science, University of Dortmund, June 1999.
      Abstract . Bibitem . Paper
    2. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. A system for the fast prototyping of multidimensional image retrieval. In Proceedings of ICMCS'99, IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999.
      Abstract . Bibitem . Paper
    3. Amato, Giuseppe and Straccia, Umberto. User Profile and Applications to Digital Libraries. In Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries (ECDL-99), LNCS 1696, pages 184-197, Paris, 1999.
      Abstract . Bibitem . Paper

1998

    1. Umberto Straccia. A Fuzzy Description Logic. In Proceedings of AAAI-98, 15th National Conference on Artificial Intelligence, pages 594--599, Madison, Wisconsin, 1998.
      Abstract . Bibitem . Paper
    2. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. On the role of logic in image retrieval. In Proceedings of IR-98, 1st Workshop on Image Retrieval, Milano, Italy, 1998.
      Abstract . Bibitem . Paper
    3. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Mirlog: a logic for multimedia information retrieval. Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, Fabio Crestani and Mounia Lalmas and Cornelis J. van Rijsbergen, eds., Kluwer Academic Publishing, Dordrecht, NL. 1998.
      Abstract . Bibitem . Paper

1997

    1. Umberto Straccia. A Four-Valued Fuzzy Propositional Logic. In Proceedings of IJCAI-97, 15th International Joint Conference on Artificial Intelligence, pages 128--133, Nagoya, Japan, 1997.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. A Sequent Calculus for Reasoning in Four-Valued Description Logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), pages 343-357, LNAI 1227, Pont-a-Mousson, France, 1997.
      Abstract . Bibitem . Paper
    3. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. The Terminological Image Retrieval Model. In Proceedings of ICIAP'97, 9th International Conference On Image Analysis And Processing, pages 156-163, LNCS 1311, Volume II. Florence, Italy, 1997.
      Abstract . Bibitem . Paper
    4. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Reasoning about the Form and Content for Multimedia Objects (Extended Abstract). In Proceedings of AAAI 1997 Spring Symposium on Intelligent integration and Use of Text, Image, Video and Audio, pages 89-94, Stanford University, California, 1997.
      Abstract . Bibitem . Paper
    5. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Modelling the Retrieval of Structured Documents Containing Texts and Images. In Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, LNCS 1324, pages 325--344, Pisa, Italy, 1997.
      Abstract . Bibitem . Paper

1996

    1. Carlo Meghini and Umberto Straccia. Extending a Description Logic to Cope with the Completeness of Multimedia Documents. In Proceedings of ECAI96 Workshop on Knowledge Representation for Interactive Multimedia Systems, pages 42-50, Budapest, Hungary, 1996.
      Abstract . Bibitem . Paper
    2. Carlo Meghini and Umberto Straccia. A Relevance Terminological Logic for Information Retrieval. In Proceedings of SIGIR-96, 19th International Conference on Research and Development in Information Retrieval, Zurich, Switzerland, 1996.
      Abstract . Bibitem . Paper
    3. Carlo Meghini, Fabrizio Sebastiani and Umberto Straccia. Designing effective retrieval engines for multimedia document repositories. In AI*IA 1996 Workshop on "Access, Extraction and Integration of Knowledge, Napoli, Italy, 1996.
      Abstract . Bibitem . Paper
    4. Carlo Meghini, Fabrizio Sebastiani and Umberto Straccia. Reasoning about Form and Content for Multimedia Information Retrieval. In Proceedings of WIRUL-96, 2nd Workshop on information Retrieval, Uncertainty and Logic, Glasgow, Scotland, 1996.
      Abstract . Bibitem . Paper

1995

    1. Umberto Straccia. Document Retrieval by Relevance Terminological Logics. In Proceedings of MIRO95 Workshop, Glasgow, Scotland, 1995.
      Abstract . Bibitem .
    2. Paolo Buongarzoni, Carlo Meghini, Rossella Salis, Fabrizio Sebastiani, and Umberto Straccia. Logical and computational properties of the description logic MIRTL. In International Workshop on Description Logics, pages 80-84, Rome, Italy, 1995.
      Abstract . Bibitem . Paper
    3. Fabrizio Sebastiani and Umberto Straccia. Default Reasoning in a Terminological Logic. Computers and Artificial Intelligence 14(3), pages 225-251, 1995.
      Abstract . Bibitem . Paper

1994

    1. Fabrizio Sebastiani and Umberto Straccia. Incremental acquisition of knowledge for non-monotonic reasoning. Computers and Artificial Intelligence, 13(4):377-396, 1994.
      Abstract . Bibitem . Paper

1993

    1. Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, and Costantino Thanos. A model of information retrieval based on a terminological logic. In Proceedings of SIGIR-93, 16th International Conference on Research and Development in Information Retrieval, pages 298-307, Pittsburgh, PA, 1993.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. Default inheritance reasoning in hybrid KL-ONE-style logics. In Proceedings of IJCAI-93, 13th International Joint Conference on Artificial Intelligence, pages 676-681, Chambery, France, 1993.
      Abstract . Bibitem . Paper

1992

    1. Fabrizio Sebastiani and Umberto Straccia. On the tractability of terminological logics with numerical restrictions. In Journal of AI*IA, Associazione italiana per l'intelligenza artificiale, 5(2), 1992.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. A terminological default logic (Preliminary Draft). In Proceedings of European Research Consortium for Informatics and Mathematics Workshop on Theoretical and Experimental Aspects of Knowledge Representation, pages. 73-82, Pisa, Italy, 1992.
      Abstract . Bibitem . Paper

1991

    1. Umberto Straccia. A terminological default logic. In Journal of AI*IA, Associazione Italiana per l'Intelligenza Artificiale, 4(4), 1991, pages. 22-36.
      Abstract . Bibitem . Paper
    2. Fabrizio Sebastiani and Umberto Straccia. A computationally tractable terminological logic. In Proceedings of SCAI-91, 3rd Scandinavian Conference on Artificial Intelligence, pages 307--315, Roskilde, Denmark, 1991.
      Abstract . Bibitem . Paper

Journal papers

    1. Franco Alberto Cardillo and Umberto Straccia. Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting. In In Fuzzy Sets and Systems, Elsevier, 2021.
      Abstract . Bibitem . Paper       . DOI
    2. Ignacio Huitzil, Fernando Bobillo, Juan Gomez-Romero and Umberto Straccia. Fudge: Fuzzy Ontology Building with Consensuated Fuzzy Datatypes. In Fuzzy Sets and Systems, 401, pages 91-112, Elsevier, 2020.
      Abstract . Bibitem . Paper
    3. Giovanni Casini, Umberto Straccia and Thomas Meyer. A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_\bot under Rational Closure. In Information Sciences, 501, pages 588-620, Elsevier, 2019.
      Abstract . Bibitem . Paper
    4. Tommaso Di Noia and Marina Mongiello and Francesco Nocera and Umberto Straccia. A Fuzzy Ontology-based Approach for Tool-supported Decision Making in Architectural Design. In Knowledge and Information Systems, an International Journal, 58: 83-112, 2019.
      Abstract . Bibitem . Paper
    5. Fernando Bobillo and Umberto Straccia. Reasoning within Fuzzy OWL 2 EL Revisited. In Fuzzy Sets and Systems, 351, pages 1-40, Elsevier, 2018.
      Abstract . Bibitem . Paper
    6. Fernando Bobillo and Umberto Straccia. Generalizing Type-2 Fuzzy Ontologies and Type-2 Fuzzy Description Logics. In International Journal of Approximate Reasoning, 2017.
      Abstract . Bibitem . Paper
    7. Fernando Bobillo and Umberto Straccia. Optimising Fuzzy Description Logic Reasoners with General Concept Inclusion Absorption. In Fuzzy Sets and Systems, 2016.
      Abstract . Bibitem . Paper
    8. Fernando Bobillo and Umberto Straccia. The Fuzzy Ontology Reasoner fuzzyDL. In Knowledge-Based Systems, 95, pages 12--34, Elsevier, 2016.
      Abstract . Bibitem . Paper
    9. Francesca A. Lisi and Umberto Straccia. Learning in Description Logics with Fuzzy Concrete Domains. In Fundamenta Informaticae, 2015.
      Abstract . Bibitem . Paper
    10. Giovanni Casini and Straccia, Umberto. Defeasible Inheritance-based Description Logics. In Journal of Artificial Intelligence Research, 2013.
      Abstract . Bibitem . Paper
    11. Fernando Bobillo and Umberto Straccia. Aggregation Operators for Fuzzy Ontologies. In Applied Soft Computing, 2013.
      Abstract . Bibitem . Paper
    12. Francesca A. Lisi and Straccia, Umberto. A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms. In Fundamenta Informaticae, 2013.
      Abstract . Bibitem . Paper
    13. Marco Cerami and Straccia, Umberto. On the (Un)Decidability of Fuzzy Description Logics under Lukasiewicz t-norm. In Information Sciences, 2013.
      Abstract . Bibitem . Paper
    14. Umberto Straccia. Top-k Retrieval for Ontology Mediated Access to Relational Databases . In Information Sciences, 2012.
      Abstract . Bibitem . Paper
    15. Fernando Bobillo, Miguel Delgado, Juan Gomez-Romero and Umberto Straccia. Joining Gödel and Zadeh Fuzzy Logics in Fuzzy Description Logics . International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2012.
      Abstract . Bibitem . Paper
    16. Fernando Bobillo and Umberto Straccia. Generalized Fuzzy Rough Description Logics. In Information Sciences, 2012.
      Abstract . Bibitem . Paper
    17. Antoine Zimmermann, Nuno Lopesa, Axel Polleresa, Umberto Straccia. A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data. In Journal of Web Semantics, 2012.
      Abstract . Bibitem . Paper
    18. Umberto Straccia. Top-k Retrieval for Ontology Mediated Access to Relational Databases . In Information Sciences, 2012.
      Abstract . Bibitem . Paper
    19. Fernando Bobillo and Umberto Straccia. Fuzzy Ontology Representation using OWL 2. In International Journal of Approximate Reasoning, 2011.
      Abstract . Bibitem . Paper
    20. Fernando Bobillo and Umberto Straccia. Reasoning with the Finitely Many-valued Lukasiewicz Fuzzy Description Logic SROIQ. In Information Sciences, 2011.
      Abstract . Bibitem . Paper
    21. Fernando Bobillo, Félix Bou and Umberto Straccia. On the Failure of the Finite Model Property in some Fuzzy Description Logics. In Fuzzy Sets and Systems, 2011.
      Abstract . Bibitem . Paper . CoRR
    22. Umberto Straccia and Manuel Ojeda-Aciego and Carlos V. Damasio. On Fixed-points of Multi-valued Functions on Complete Lattices and their Application to Generalized Logic Programs. In SIAM Journal on Computing, 2009
      Abstract . Bibitem . Paper
    23. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Matchmaking in E-Marketplaces of peer entities using Datalog. In Fuzzy Sets and Systems, 2009.
      Abstract . Bibitem . Paper
    24. Fernando Bobillo and Miguel Delgado and Juan Gomez-Romero and Umberto Straccia. Fuzzy Description Logics under Gödel Semantics. In International Journal of Approximate Reasoning, 2009
      Abstract . Bibitem . Paper
    25. Yann Loyer and Umberto Straccia. Approximate Well-Founded Semantics, Query Answering and Generalized Normal Logic Programs over Lattices. In Annals of Mathematics and Artificial Intelligence, 2009.
      Abstract . Bibitem . Paper
    26. Fernando Bobillo and Umberto Straccia. Fuzzy Description Logics with General T-norms and Datatypes. In Fuzzy Sets and Systems, 2009.
      Abstract . Bibitem . Paper
    27. Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness. In International Journal of Approximate Reasoning, 2009.
      Abstract . Bibitem . Paper
    28. Thomas Lukasiewicz and Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics for the Semantic Web. In Journal of Web Semantics, 2008.
      Abstract . Bibitem . Paper
    29. Damasio, Carlos Viegas and Pan, Jeff Z. and Stoilos, Giorgos and Straccia, Umberto. Representing Uncertainty Rules in RuleML. In Fundamenta Informaticae, 2008.
      Abstract . Bibitem . Paper
    30. Thomas Lukasiewicz and Umberto Straccia. Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. In International Journal on Semantic Web and Information Systems, 2008.
      Abstract . Bibitem . Paper
    31. Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning for probabilistic schema matching. Information Processing & Management, Elsevier, 2007.
      Abstract . Bibitem . Paper
    32. Avancini, Henri and Candela, Leonardo and Straccia, Umberto. Recommenders in a Personalized, Collaborative Digital Library Environment. In Journal of Intelligent Information Systems. Springer Verlag, 2007.
      Abstract . Bibitem . Paper
    33. Umberto Straccia and Fernando Bobillo. Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. In Mathware & Soft Computing, 14(3), 2007.
      Abstract . Bibitem . Paper
    34. Loyer, Yann and Straccia, Umberto. Epistemic Foundation of Stable Model Semantics. Journal of Theory and Practice of Logic Programming, 2006.
      Abstract . Bibitem . Paper
    35. Straccia, Umberto. Description Logics over Lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2006, .
      Abstract . Bibitem . Paper
    36. Loyer, Yann and Straccia, Umberto. Any-World Assumptions in Logic Programming. Journal of Theoretical Computer Science, 2005.
      Abstract . Bibitem . Paper
    37. Renda, M. Elena and Straccia, Umberto. A personalized collaborative Digital Library environment: a model and an application. In Information Processing & Management, 2005.
      Abstract . Bibitem . Paper
    38. Avancini, Henri and Straccia, Umberto. User Recommendation for Collaborative and Personalized Digital Archives. In International Journal of Web Based Communities, 2005.
      Abstract . Bibitem . Paper
    39. Straccia, Umberto and Thanos, Costantino. Cyclades: An Open Collaborative Virtual Archive Environment. International Journal of Digital Libraries, 2004.
      Abstract . Bibitem . Paper
    40. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. A model of multimedia information retrieval. Journal of the ACM, 48 (5): 909-970, 2001.
      Abstract . Bibitem . Paper
    41. Straccia, Umberto. Reasoning within Fuzzy Description Logics . Journal of Artificial Intelligence Research, Vol. 14: 137-166, 2001.
      Abstract . Bibitem . Paper
    42. Fabrizio Sebastiani and Umberto Straccia. Default reasoning in a terminologal logic. Computers and Artificial Intelligence 14(3), pages 225-251, 1995.
      Abstract . Bibitem . Paper
    43. Fabrizio Sebastiani and Umberto Straccia. Incremental acquisition of knowledge for non-monotonic reasoning. Computers and Artificial Intelligence, 13(4):377-396, 1994.
      Abstract . Bibitem . Paper