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, ...