Nonmonotonic Nominal Schemas Revisited

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Recently,a very general description logic (DL) that extends SROIQ (the DL underlying OWL 2 DL) at the same time with nominal schemas and epistemic modal operators has been proposed, which encompasses some of the most prominent monotonic and non-monotonic rule languages, including Datalog under the answer set semantics. A decidable fragment is also presented, but the restricted language does not fully cover all formalisms encompassed by the complete language. In this paper, we aim to remedy that by studying an alternative set of restrictions to achieve decidability, and we show that the existing embeddings of the formalisms covered by the full language can be adjusted accordingly.
Original languageEnglish
Title of host publicationProceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.
EditorsDiego Calvanese, Boris Konev
Publication statusPublished - 2015
Event28th International Workshop on Description Logics - Athens, Greece
Duration: 7 Jun 201510 Jun 2015

Publication series

NameCEUR Workshop Proceedings


Conference28th International Workshop on Description Logics
Abbreviated titleDL 2015


  • Answer set semantics
  • Datalog
  • Embeddings
  • General description
  • Modal operators
  • Nonmonotonic
  • Semantics

Fingerprint Dive into the research topics of 'Nonmonotonic Nominal Schemas Revisited'. Together they form a unique fingerprint.

Cite this