Datasets for Guarded Saturation

From MaRDI portal
Dataset:6718462



DOI10.5281/zenodo.13742969Zenodo13742969MaRDI QIDQ6718462FDOQ6718462

Dataset published at Zenodo repository.

Michael Benedikt, Maxime Buron, Stefano Germano, Boris Motik, Kevin Kappelmann

Publication date: 17 December 2020



The datasets utilised in theexperiments of the Guarded Saturation (GSat) project. It includes test data and generated DLGP files from ISG ontologies. These datasets were initially stored at: GSat test datasets ISG DLGP test files







This page was built for dataset: Datasets for Guarded Saturation