A5106466740- Semantic Web and Ontologies
- Service-Oriented Architecture and Web Services
- Logic, Reasoning, and Knowledge
- Advanced Database Systems and Queries
- Multi-Agent Systems and Negotiation
- Natural Language Processing Techniques
- Biomedical Text Mining and Ontologies
- Business Process Modeling and Analysis
- Recommender Systems and Techniques
- Image Retrieval and Classification Techniques
- Data Management and Algorithms
- AI-based Problem Solving and Planning
- Advanced Image and Video Retrieval Techniques
- Constraint Satisfaction and Optimization
- Model-Driven Software Engineering Techniques
- Access Control and Trust
- Advanced Algebra and Logic
- Topic Modeling
- Distributed and Parallel Computing Systems
- Explainable Artificial Intelligence (XAI)
- Rough Sets and Fuzzy Logic
- Advanced Graph Neural Networks
- Formal Methods in Verification
- Context-Aware Activity Recognition Systems
- Data Quality and Management
Università degli Studi della Tuscia
2014-2025
Polytechnic University of Bari
2000-2011
Instituto Politécnico Nacional
2000-2006
University of Bari Aldo Moro
2000-2004
Sapienza University of Rome
1991-2000
Saarland University
1995
Carnegie Mellon University
1995
Universidade Estadual de Campinas (UNICAMP)
1995
German Research Centre for Artificial Intelligence
1993
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment with modal operators interpreted according to Lifschitz's nonmonotonic logic MKNF. show the usefulness MKNF-DLs for a formal characterization wide variety features that are both commonly available inframe-based systems, needed in development practical knowledge-based applications: defaults, integrity constraints, role, concept closure. In addition, we provide correct terminating calculus...
Terminological knowledge representation systems (TKRSs) are tools for designing and using bases that make use of terminological languages (or concept languages). We analyze from a theoretical point view TKRS whose capabilities go beyond the ones presently available TKRSs. The new features studied, often required in practical applications, can be summarized three main points. First, we consider highly expressive language, called ALCNR, including general complements concepts, number...
Recommender Systems have shown to be an effective way alleviate the over-choice problem and provide accurate tailored recommendations. However, impressive number of proposed recommendation algorithms, splitting strategies, evaluation protocols, metrics, tasks, has made rigorous experimental particularly challenging. Puzzled frustrated by continuous recreation appropriate benchmarks, pipelines, hyperparameter optimization, procedures, we developed exhaustive framework address such needs....
Journal Article Deduction in Concept Languages: from Subsumption to Instance Checking Get access FRANCESCO M. DONINI, DONINI Dipartimento di Informatica e Sistemistica, Università Roma "La Sapienza"Via Salaria 113, 00198 Roma, Italia E-mail: doninilenzerininardiaschaerf@assi.dis.uniromal.it Search for other works by this author on: Oxford Academic Google Scholar MAURIZIO LENZERINI, LENZERINI DANIELE NARDI, NARDI ANDREA SCHAERF of Logic and Computation, Volume 4, Issue August 1994, Pages...
Matchmaking arises when supply and demand meet in an electronic marketplace, or agents search for a web service to perform some task, even recruiting agencies match curricula job profiles. In such open environments, the objective of matchmaking process is discover best available offers given request. We address problem from knowledge representation perspective, with formalization based on Description Logics. devise Concept Abduction Contraction as non-monotonic inferences Logics suitable...
Terminological knowledge representation systems (TKRSs) are tools for designing and using bases that make use of terminological languages (or concept languages). We analyze from a theoretical point view TKRS whose capabilities go beyond the ones presently available TKRSs. The new features studied, often required in practical applications, can be summarized three main points. First, we consider highly expressive language, called ALCNR, including general complements concepts, number...
More and more resources are becoming available on the Web, there is a growing need for infrastructures that, based advertised descriptions, able to semantically match demands with supplies.We formalize general properties matchmaker should have, then we present matchmaking facilitator, compliant desired properties.The system embeds NeoClassic reasoner, whose structural subsumption algorithm has been modified allow categorization into potential partial, ranking of matches within categories....
More and more resources are becoming available on the Web, there is a growing need for infrastructures that, based advertised descriptions, can match demands with supplies in an electronic marketplace. Several matchmakers rely simple keyword matching, but significant matching results only be obtained by exploiting semantics inherent structured descriptions. To this end, novel knowledge representation approach proposed, description logics, that superior to both keyword- basic...
Abstract Knowledge Graphs (KGs) have already proven their strength as a source of high-quality information for different tasks such data integration, search, text summarization, and personalization. Another prominent research field that has been benefiting from the adoption KGs is Recommender Systems (RSs). Feeding RS with coming KG improves recommendation accuracy, diversity, novelty, paves way to creation interpretable models can be used explanations. This possibility combining raises...