Umberto Straccia's publications
2023
Giovanni Casini and Umberto Straccia. Defeasible RDFS via Rational Closure.
In Information Sciences, 643, 118409 pages 1-49,
Elsevier, 2023.
Abstract
. Bibitem
. Paper
Doi.
Jesse Heyninck, Giovanni Casini, Thomas
Meyer and Umberto Straccia.
Revising typical beliefs: one revision to
rule them all. In Proceedings of the 20
th
International Conference on Principles of Knowledge
Representation and Reasoning (KR 2023), IJCAI Organization,
pages 355--364, 2023.
Abstract
. Bibitem
. Paper
. DOI
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
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
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
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
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
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
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
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
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.
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.
Franco Alberto Cardillo
.
Towards Ontology-based Explainable
Classification of Rare Events. Working paper. In
The open archive HAL, 2019.
Abstract .
Bibitem .
Paper.
Link.
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
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
.
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
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.
Abstract . Bibitem . Paper
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
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
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
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
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
Fernando Bobillo and Umberto Straccia. The Fuzzy Ontology Reasoner fuzzyDL.
In Knowledge-Based Systems, 95, pages 12--34,
Elsevier, 2016.
Abstract . Bibitem . Paper
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
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
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
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
Umberto Straccia. All About
Fuzzy Description Logics and Applications. In
Reasoning Web, 11th International Summer School, 2015.
Abstract . Bibitem . Paper
. Slides
Francesca A. Lisi and Umberto Straccia. Learning in Description Logics with Fuzzy
Concrete Domains. In Fundamenta Informaticae,
2015.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
Umberto Straccia. Foundations
of Fuzzy Logic and Semantic Web Languages. Chapman
& Hall/CRC Studies in Informatics Series. 2013.
Abstract . Bibitem . Book
URL
Giovanni Casini and Umberto Straccia. Defeasible Inheritance-based Description
Logics. In Journal of Artificial Intelligence
Research, 2013.
Abstract . Bibitem . Paper
Marco Cerami and Umberto Straccia. On the (Un)Decidability of Fuzzy
Description Logics under Lukasiewicz t-norm. In
Information Sciences, 2013.
Abstract . Bibitem . Paper
Fernando Bobillo and Umberto Straccia. Aggregation Operators for Fuzzy
Ontologies. In Applied Soft Computing, 2013.
Abstract . Bibitem . Paper
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
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
Fernando Bobillo and Umberto Straccia. Finite Fuzzy Description Logics and Crisp
Representations. In Uncertainty Reasoning for
the Semantic Web II, 2013.
Abstract . Bibitem . Paper
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
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
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
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
Fernando Bobillo and Umberto Straccia. Generalized Fuzzy Rough Description
Logics. In Information Sciences, 2012.
Abstract . Bibitem . Paper
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
Umberto Straccia. Top-k
Retrieval for Ontology Mediated Access to Relational
Databases . In Information Sciences, 2012.
Abstract . Bibitem . Paper
Umberto Straccia and Nicolas Madrid. A Top-k Query Answering Procedure for
Fuzzy Logic Programming. In Fuzzy Sets and
Systems, 2012.
Abstract . Bibitem . Paper
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
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
Fernando Bobillo and Umberto Straccia. Fuzzy Ontology Representation using OWL 2.
In International Journal of Approximate Reasoning,
2011.
Abstract . Bibitem . Paper
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
Fernando Bobillo and Umberto Straccia. Reasoning with the Finitely Many-valued
Lukasiewicz Fuzzy Description Logic SROIQ. In
Information Sciences, 2011.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Fernando Bobillo and Umberto Straccia. Fuzzy Description Logics with General
T-norms and Datatypes. In Fuzzy Sets and
Systems, 2009.
Abstract . Bibitem . Paper
Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under
Probabilistic Uncertainty and Fuzzy Vagueness. In
International Journal of Approximate Reasoning, 2009.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
Carlo Meghini and Fabrizio Sebastiani and Umberto
Straccia. Multimedia Information
Retrieval Model. In Encyclopedia of Database
Systems, Springer Verlag, 2009.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning
for probabilistic schema matching. Information
Processing & Management, Elsevier, 2007.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
Loyer, Yann and Straccia, Umberto. Epistemic Foundation of Stable Model
Semantics. Journal of Theory and Practice of
Logic Programming.
Abstract . Bibitem . Paper
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
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
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
Straccia, Umberto. Description
Logics over Lattices. International Journal
of Uncertainty, Fuzziness and Knowledge-Based Systems,
World Scientific Publishing, 2006, .
Abstract . Bibitem . Paper
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
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
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.
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.
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.
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
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
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
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
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
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
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
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
Loyer, Yann and Straccia, Umberto. Any-World Assumptions in Logic Programming.
Journal of Theoretical Computer Science, 2005.
Abstract . Bibitem . Paper
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
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
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
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
Avancini, Henri and Straccia, Umberto. User Recommendation for Collaborative and
Personalized Digital Archives. In International
Journal of Web Based Communities, 2005.
Abstract . Bibitem . Paper
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
Straccia, Umberto. Fuzzy ALC
with Fuzzy Concrete Domains. In Proceedings
of the International Workshop on Description Logics
(DL-05), 2005.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
Straccia, Umberto and Thanos, Costantino. Cyclades: An Open Collaborative Virtual
Archive Environment. International Journal
of Digital Libraries, 2004.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
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
Straccia, Umberto. Reasoning
within Fuzzy Description Logics . Journal of
Artificial Intelligence Research, Vol. 14: 137-166,
2001.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Umberto Straccia. Document
Retrieval by Relevance Terminological Logics. In Proceedings
of
MIRO95 Workshop, Glasgow, Scotland, 1995.
Abstract . Bibitem .
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
Fabrizio Sebastiani and Umberto Straccia. Default Reasoning in
a Terminological Logic. Computers
and Artificial Intelligence 14(3), pages 225-251,
1995.
Abstract . Bibitem . Paper
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
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
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
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
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
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
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
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
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
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
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
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
Fernando Bobillo and Umberto Straccia. Optimising Fuzzy Description Logic
Reasoners with General Concept Inclusion Absorption.
In Fuzzy Sets and Systems, 2016.
Abstract . Bibitem . Paper
Fernando Bobillo and Umberto Straccia. The Fuzzy Ontology Reasoner fuzzyDL.
In Knowledge-Based Systems, 95, pages 12--34,
Elsevier, 2016.
Abstract . Bibitem . Paper
Francesca A. Lisi and Umberto Straccia. Learning in Description Logics with Fuzzy
Concrete Domains. In Fundamenta Informaticae,
2015.
Abstract . Bibitem . Paper
Giovanni Casini and Straccia, Umberto. Defeasible Inheritance-based Description
Logics. In Journal of Artificial Intelligence
Research, 2013.
Abstract . Bibitem . Paper
Fernando Bobillo and Umberto Straccia. Aggregation Operators for Fuzzy
Ontologies. In Applied Soft Computing, 2013.
Abstract . Bibitem . Paper
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
Marco Cerami and Straccia, Umberto. On the (Un)Decidability of Fuzzy
Description Logics under Lukasiewicz t-norm. In
Information Sciences, 2013.
Abstract . Bibitem . Paper
Umberto Straccia. Top-k
Retrieval for Ontology Mediated Access to Relational
Databases . In Information Sciences, 2012.
Abstract . Bibitem . Paper
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
Fernando Bobillo and Umberto Straccia. Generalized Fuzzy Rough Description
Logics. In Information Sciences, 2012.
Abstract . Bibitem . Paper
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
Umberto Straccia. Top-k
Retrieval for Ontology Mediated Access to Relational
Databases . In Information Sciences, 2012.
Abstract . Bibitem . Paper
Fernando Bobillo and Umberto Straccia. Fuzzy Ontology Representation using OWL 2.
In International Journal of Approximate Reasoning,
2011.
Abstract . Bibitem . Paper
Fernando Bobillo and Umberto Straccia. Reasoning with the Finitely Many-valued
Lukasiewicz Fuzzy Description Logic SROIQ. In
Information Sciences, 2011.
Abstract . Bibitem . Paper
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
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
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
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
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
Fernando Bobillo and Umberto Straccia. Fuzzy Description Logics with General
T-norms and Datatypes. In Fuzzy Sets and
Systems, 2009.
Abstract . Bibitem . Paper
Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under
Probabilistic Uncertainty and Fuzzy Vagueness. In
International Journal of Approximate Reasoning, 2009.
Abstract . Bibitem . Paper
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
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
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
Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning
for probabilistic schema matching. Information
Processing & Management, Elsevier, 2007.
Abstract . Bibitem . Paper
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
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
Loyer, Yann and Straccia, Umberto. Epistemic Foundation of Stable Model
Semantics. Journal of Theory and Practice of
Logic Programming, 2006.
Abstract . Bibitem . Paper
Straccia, Umberto. Description
Logics over Lattices. International Journal
of Uncertainty, Fuzziness and Knowledge-Based Systems,
World Scientific Publishing, 2006, .
Abstract . Bibitem . Paper
Loyer, Yann and Straccia, Umberto. Any-World Assumptions in Logic Programming.
Journal of Theoretical Computer Science, 2005.
Abstract . Bibitem . Paper
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
Avancini, Henri and Straccia, Umberto. User Recommendation for Collaborative and
Personalized Digital Archives. In International
Journal of Web Based Communities, 2005.
Abstract . Bibitem . Paper
Straccia, Umberto and Thanos, Costantino. Cyclades: An Open Collaborative Virtual
Archive Environment. International Journal
of Digital Libraries, 2004.
Abstract . Bibitem . Paper
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
Straccia, Umberto. Reasoning
within Fuzzy Description Logics . Journal of
Artificial Intelligence Research, Vol. 14: 137-166,
2001.
Abstract . Bibitem . Paper
Fabrizio Sebastiani and Umberto Straccia. Default reasoning in a terminologal logic.
Computers and Artificial Intelligence 14(3),
pages 225-251, 1995.
Abstract . Bibitem . Paper
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