Nonmonotonic Nominal Schemas Revisited

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
PublisherCEUR-WS.org
Volume1350
Publication statusPublished - 2015
Event28th International Workshop on Description Logics - Athens, Greece
Duration: 7 Jun 201510 Jun 2015

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR_WS.org

Conference

Conference28th International Workshop on Description Logics
Abbreviated titleDL 2015
CountryGreece
CityAthens
Period7/06/1510/06/15

Keywords

  • 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