The top documents tagged [c d disjunction]

OpenHPI 5.1 - Description Logics - ALC

---

392 views

OpenHPI 4.3 - How DO I Define a Formal Model of an Ontology

---

376 views

A Description Logic with Concrete Domains

---

32 views