Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Domenico Fabio Savo"'
Publikováno v:
Future Internet, Vol 14, Iss 3, p 78 (2022)
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
Externí odkaz:
https://doaj.org/article/cd3e543e2f094be181bd0f388c8c9009
Autor:
Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
Publikováno v:
The Semantic Web – ISWC 2022 ISBN: 9783031194320
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::035a8ff51e21356b7229760126de96d4
https://doi.org/10.1007/978-3-031-19433-7_25
https://doi.org/10.1007/978-3-031-19433-7_25
Publikováno v:
The Semantic Web – ISWC 2021 ISBN: 9783030883607
ISWC
ISWC
We study information disclosure in Description Logic ontologies, in the spirit of Controlled Query Evaluation, where query answering is filtered through optimal censors maximizing answers while hiding data protected by a declarative policy. Previous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e09b1249ffa7541c483a41344d56cbf6
http://hdl.handle.net/10446/201340
http://hdl.handle.net/10446/201340
Publikováno v:
Journal of Artificial Intelligence Research
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
In this paper we study instance-level update in DL-LiteA , a well-known description logic that influenced the OWL 2 QL standard. Instance-level update regards insertions and deletions in the ABox of an ontology. In particular we focus on formula-base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68c354a4c860529b1c011cbf74e92a13
Publikováno v:
AI Communications. 31:97-113
In this paper we introduce Eddy, a new open-source tool for the graphical editing of OWL~2 ontologies. Eddy is specifically designed for creating ontologies in Graphol, a completely visual ontology language that is equivalent to OWL~2. Thus, in Eddy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e480a5dabd42b9c683708f0e56f4a26
https://doi.org/10.3233/aic-180751
https://doi.org/10.3233/aic-180751
Publikováno v:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
IJCAI
IJCAI
Controlled Query Evaluation (CQE) is a confidentiality-preserving framework in which private information is protected through a policy, and a (optimal) censor guarantees that answers to queries are maximized without violating the policy. CQE has been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::615a564e61c2b7492475d4a3eca5f3fd
Publikováno v:
Journal of Web Semantics. 33:3-29
Ontology-based data access (OBDA) is receiving great attention as a new paradigm for managing information systems through semantic technologies. According to this paradigm, a Description Logic ontology provides an abstract and formal representation o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04cd49c6816f12e952ef32af98380248
https://doi.org/10.1016/j.websem.2015.04.002
https://doi.org/10.1016/j.websem.2015.04.002