|
|
|
|
|
Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo and Giuseppe De Giacomo
In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to OWL...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nemury Silega, Eliani Varén, Alfredo Varén, Yury I. Rogozov, Vyacheslav S. Lapshin and Skolupin A. Alekseevich
The COVID-19 pandemic has caused the deaths of millions of people around the world. The scientific community faces a tough struggle to reduce the effects of this pandemic. Several investigations dealing with different perspectives have been carried out. ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Rafael Peñaloza
Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle unc...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chuangtao Ma, Bálint Molnár and András Benczúr
To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate repres...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bilal Koteich, Éric Saux and Wissame Laddada
Maps have long been seen as a single cartographic product for different uses, with the user having to adapt their interpretation to his or her own needs. On-demand mapping reverses this paradigm in that it is the map that adapts to the user?s needs and c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini and Riccardo Rosati
Although current languages used in ontology-based data access (OBDA) systems allow for mapping source data to instances of concepts and relations in the ontology, several application domains need more flexible tools for inferring knowledge from data, whi...
ver más
|
|
|
|
|
|