The top documents tagged [shared x x]

A Distributed Tableau Algorithm for Package-based Description Logics

---

1.878 views

Modular Ontologies - A Formal Investigation of Semantics and Expressivity

---

1.193 views