Zobrazeno 1 - 10
of 313
pro vyhledávání: '"Manna, Marco"'
Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the last two
Externí odkaz:
http://arxiv.org/abs/2307.12051
Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the similarity between entities. More recently, inspired by "Google Sets",
Externí odkaz:
http://arxiv.org/abs/2303.10714
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language
Externí odkaz:
http://arxiv.org/abs/2208.12726
Autor:
Calimeri, Francesco, Manna, Marco, Mastria, Elena, Morelli, Maria Concetta, Perri, Simona, Zangari, Jessica
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system. The architecture allows to take advantage from both the powerfu
Externí odkaz:
http://arxiv.org/abs/2108.02797
Publikováno v:
In Information Sciences April 2024 664
Autor:
Costabile, Roberta, Catalano, Gelsomina, Cuteri, Bernardo, Morelli, Maria Concetta, Leone, Nicola, Manna, Marco
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and
Externí odkaz:
http://arxiv.org/abs/2008.02747
The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet dec
Externí odkaz:
http://arxiv.org/abs/2008.02232
Autor:
Alviano, Mario, Manna, Marco
Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog quer
Externí odkaz:
http://arxiv.org/abs/2003.09698
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.