-
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L2026 Zenodo (CERN European Organization for Nuclear Research) software Social Sciences Access Control and Trust Open access
Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker
0citations -
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L2026 Zenodo (CERN European Organization for Nuclear Research) software Social Sciences Access Control and Trust Open access
Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker
0citations
2 results