Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes

DOI10.1007/978-3-030-02508-3_12OpenAlexW2896320793MaRDI QIDQ1623135

Aurona Gerber, Henriette Harmse, Katarina Britz

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_12

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes