The top documents tagged [rui zhangabox]

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

---

219 views

L ogics for D ata and K nowledge R epresentation

---

20 views