Inproceedings,

Safety of quantified ABoxes w.r.t. singleton $\epsilon$ L policies

, , , and .
Proceedings of the 36th Annual ACM Symposium on Applied Computing, New York, NY, USA, ACM, (March 2021)

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews