A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

Documenti analoghi

• A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  di: Cantone, Domenico, et al.
  Pubblicazione: (2017)
• An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  di: Cantone, Domenico, et al.
  Pubblicazione: (2018)
• A set-theoretical approach for ABox reasoning services (Extended Version)
  di: Cantone, Domenico, et al.
  Pubblicazione: (2017)
• The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
  di: Cantale, Claudia, et al.
  Pubblicazione: (2017)
• The Ontology for Agents, Systems and Integration of Services: OASIS version 2
  di: Bella, Giampaolo, et al.
  Pubblicazione: (2023)