The top documents tagged [tableau projection x]

A Distributed Tableau Algorithm for Package-based Description Logics

---

1.878 views

Representing and Reasoning with Modular Ontologies

---

1.002 views