Homepage

Research Interests

Knowledge Representation and Reasoning

Semantic Web Technologies and Languages (RDFS, OWL, RIF)
Description Logics
Logic Programming
Non-Monotonic Reasoning
Uncertainty, Many-valued and Fuzzy Logics
Logics for Multimedia Data Representation and Retrieval
Uncertainty, Logics and Semantic Web
Ontology Alignment
Top-k Retrieval
Matchmaking
Decision Making

Information Retrieval

Distributed Ontology-based Information Retrieval
Schema Matching
Collaborative and Information Filtering
Rank Aggregation
User Profiling

Mathematics

Fixed-point Theory of Set-Valued Functions
Equational Systems over Lattices

Software

The FuzzyDL System: Try the Fuzzy Description Logic Reasoner fuzzyDL (paper)
Fuzzy OWL 2: See how to write fuzzy ontologies in OWL 2
The SoftFacts System: Ontology Mediated Access to Databases. It supports top-k retrieval (paper).
The fuzzyRDF System: Fuzzy RDFS reasoner. It supports top-k retrieval (paper).
The DL-Media System: An Ontology Mediated Multimedia Information Retrieval System (paper)
oMap: A probabilisitc Ontology Alignemt Tool (paper)

Book (in preparation)

Foundations of Fuzzy Logic and Semantic Web Langugages.

Chapman & Hall/CRC Studies in Informatics Series.

The book is a rigorous account of the mathematical methods and tools about the Foundations of Representing Fuzzy Information and Reasoning with it within Semantic Web Langauges. The development covers the three main streams of Semantic Web languages: namely, triple languages RDF & RDFS, Conceptual languages OWL, OWL 2 and their Profiles (OWL EL, OWL QL and OWL RL), and rule-based languages such as SWRL and RIF. High importance is given to practial/implementational issues and application examples, such as Semantic-based Decision Making, Multimedia Information Retrieval, Matchmaking, are spread over the whole book.

Bibliography: DBLP, Google Scholar

Keynote Presentation

Umberto Straccia. Fuzzy Logic, Annotation Domains and Semantic Web Languages. Fifth International Conference on Scalable Uncertainty Management, SUM-2011, 2011. Paper. Slides

Tutorial

Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs. Lecture at the Reasoning Web 2008 Summer School. Venice, Italy 7th to 11th September, 2008. Paper. Slides
Thomas Lukasiewicz and Umberto Straccia. Managing Uncertainty and Vagueness in Semantic Web Languages. Twenty-Second Conference on Artificial Intelligence (AAAI-07), 2007. July 22–23, 2007, Vancouver, British Columbia, Canada. A similar tutorial has been held at ESWC 2007 (see here). Pdf

Teaching

Knowledge Based Systems. Master degree in Computer Science, Department of Computer Science, University of Pisa.
- Orario: Mercoledi': 11.00 - 13.00, Aula T1, Giovedi': 11.00 - 13.00, Aula B1

Current Professional Activities:

Editorial Board member of
Conference Activities (PC member) 2011-
- ISWC 2011 (10th International Semantic Web Conference)
- FutureTech 2011 (The 6th International Conference on Future Information Technology, Co-Chair of Track ``Hybrid Information Technology'')
- RuleML 2011 (International Symposium on Rules, Co-Chair of Doctoral Symposium)
- IJCAI 2011 (Twenty-second International Joint Conference on Artificial Intelligence, Senior PC Member)
- FOCI 2011 (Symposium on Foundations of Computational Intelligence)
- DBKDA 2011 (Third International Conference on Advances in Databases, Knowledge, and Data Applications)
- SAC 2011 (ACM Symposium on Applied Computing, Track on Information Access and Retrieval)
- SAC 2011 (ACM Symposium on Applied Computing, Track on Track on Semantic Web and Application)
- ESWC 2011 (8h Extended Semantic Web Conference)
- DEXA 2011 (22nd International Conference on Database- and Expert Systems Applications)
- DL 2011 (The 24th International Workshop on Description Logics)
- RR 2011 (5th International Conference on Web Reasoning and Rule Systems)
- AAAI 2011 Tutorial Forum (25th AAAI Conference on Artificial Intelligence)
- GECCO 2011 (Genetic and Evolutionary Computation Conference, Real World Applications track)
- SUM 2011 (5th International Conference on Scalable Uncertainty Management)
- FCTA 2011 (International Conference on Fuzzy Computation Theory and Computation)
- SMAP 2011 (6th International Workshop on Semantic Media Adaptation and Personalization)
- CAEPIA 2011 (14th Conference of the Spanish Association for Artificial Intelligence)
- OM 2011 (International Workshop on Ontology Matching, co-located with the 10th International Semantic Web Conference, ISWC 2011)
- URSW 2011 (International Workshop on Uncertainty Reasoning for the Semantic Web)
- JIST 2011 (Joint International Semantic Technology Conference)
- RuleML@BREF 2011 (5th International RuleML Symposium on Rules)
- RuleML Challenge 2011 (5th International RuleML Symposium on Rules: International Rule Challenge)
- ORDRing 2011 (1st International Workshop on Ordering and Reasoning, collocated with the 10th International Semantic Web Conference, ISWC 2011)
- RR 2012 (6th International Conference on Web Reasoning and Rule Systems, PC Co-Chair)
- KR 2012 (13th International Conference on the Principles of Knowledge Representation and Reasoning)
- ECAI 2012 (20th European Conference on Artificial Intelligence)
- AAAI 2012 (26th AAAI Conference on Artificial Intelligence, Senior PC Member)
- DL 2012 (The 25th International Workshop on Description Logics)
- FoIKS 2012 (7th International Symposium on Foundations of Information and Knowledge Systems)
- SAC 2012 (ACM Symposium on Applied Computing, Track on Information Access and Retrieval)
- SAC 2012 (ACM Symposium on Applied Computing, Track on The Semantic Web and Applications)
- ICISTM 2012 (6th International Conference on Information Systems, Technology and Management, Co-Chair of Track ``Information Technology'')
- RuleML 2012 (6th International RuleML Symposium on Rules)
- DEXA 2012 (23rd International Conference on Database- and Expert Systems Applications)
- JIST 2012 (Joint International Semantic Technology Conference)
- DMSSW 2012 (First International Workshop on Data Management in the Social Semantic Web)
- UniDL 2012 (2nd International Workshop on Uncertainty in Description Logics)
- GECCO 2012 (Genetic and Evolutionary Computation Conference, Real World Applications track)
- SUM 2012 (6th International Conference on Scalable Uncertainty Management)
- WI 2012 (The 2012 World Intelligence Congress)