Stefano Sferrazza

ORCID: 0000-0001-9569-4428
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Semantic Web and Ontologies
  • Rough Sets and Fuzzy Logic
  • Logic, Reasoning, and Knowledge
  • Fuzzy Logic and Control Systems
  • Natural Language Processing Techniques
  • Data Quality and Management
  • Big Data and Business Intelligence

University of Oxford
2022-2024

TU Wien
2022-2024

Abstract Modern applications combine information from a great variety of sources. Oftentimes, some these sources, like machine-learning systems, are not strictly binary but associated with degree (lack of) confidence in the observation. We propose MV-Datalog and $\mathrm{MV-Datalog}^\pm$ as extensions Datalog $\mathrm{Datalog}^\pm$ , respectively, to fuzzy semantics infinite-valued Łukasiewicz logic $\mathbf{L}$ languages for effectively reasoning scenarios where such uncertain observations...

10.1017/s1471068422000199 article EN Theory and Practice of Logic Programming 2022-07-26

One of the main challenges in area Neuro-Symbolic AI is to perform logical reasoning presence both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, model predictions, structured databases, crowd-sourced data, many more. To allow for reasoning, we generalise standard rule-based language Datalog with existential rules (commonly referred tuple-generating dependencies) fuzzy setting, by allowing arbitrary t-norms place classical conjunctions...

10.48550/arxiv.2403.02933 preprint EN arXiv (Cornell University) 2024-03-05

One of the main challenges in area Neuro-Symbolic AI is to perform logical reasoning presence both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, model predictions, structured databases, crowd-sourced data, many more. To allow for reasoning, we generalise standard rule-based language Datalog with existential rules (commonly referred tuple-generating dependencies) fuzzy setting, by allowing arbitrary t-norms place classical conjunctions...

10.29007/cngw article EN EPiC series in computing 2024-05-27

Modern data processing applications often combine information from a variety of complex sources. Oftentimes, some these sources, like Machine-Learning systems or crowd-sourced data, are not strictly binary but associated with degree confidence in the observation. Ideally, reasoning over such should take this additional into account as much possible. To end, we propose extensions Datalog and Datalog+/- to semantics Lukasiewicz logic Ł, one most common fuzzy logics. We show that an extension...

10.24963/ijcai.2023/718 article EN 2023-08-01

Competitor data constitutes information significantly valuable for many business applications. Meltwater provides users with access to a large Company Information System (CIS), Owler, which contains competitor pairs and other useful about companies. has been seeking practical solution discover more in Owler. The first attempt, fully-manual workflow (called MW_Manual) finding Owler consisted of two manual steps: filtering step that excludes obvious non-competitor company pairs, further...

10.1145/3589787 article EN Proceedings of the ACM on Management of Data 2023-06-13

Modern applications combine information from a great variety of sources. Oftentimes, some these sources, like Machine-Learning systems, are not strictly binary but associated with degree (lack of) confidence in the observation. We propose MV-Datalog and MV-Datalog+- as extensions Datalog Datalog+-, respectively, to fuzzy semantics infinite-valued Lukasiewicz logic L languages for effectively reasoning scenarios where such uncertain observations occur. show that exhibits similar...

10.48550/arxiv.2202.01718 preprint EN other-oa arXiv (Cornell University) 2022-01-01
Coming Soon ...