Now showing items 1-1 of 1

    • Extending DL-LiteA with (Singleton) Nominals 

      Haddad MG; Calvanese D (CEUR Electronic Workshop Proceedings, 2013)
      In this paper we study the extension of description logics of the extit{DL-Lite} family with singleton nominals, which correspond in OWL~2 to the ObjectHasValue construct. Differently from arbitrary (non-singleton) nominals, ...