Documents LDK R Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox 1.

Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox * First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto…

Documents L ogics for D ata and K nowledge R epresentation

Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox * First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto…