In recent work by Gottlob et al., the usefulness and adequacy of Datalog, and precisely augmented with rules with existential heads to implement ontological reasoning has been shown. Also, it has been shown how to express forms of reasoning that go beyond the expressive capabilities of Description Logics. In our recent work [25] we present a methodology for introducing customizable metalogic features in logic-based knowledge representation and reasoning languages. We made the specific case of Answer Set Programming (ASP), where such features may be part of software engineering toolkits for this programming paradigm. In this paper we show how such metalogic features can further enrich with minor changes to its operational semantics (provided in terms of “chase”) and no additional complexity burden.

Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning

Formisano Andrea
2019-01-01

Abstract

In recent work by Gottlob et al., the usefulness and adequacy of Datalog, and precisely augmented with rules with existential heads to implement ontological reasoning has been shown. Also, it has been shown how to express forms of reasoning that go beyond the expressive capabilities of Description Logics. In our recent work [25] we present a methodology for introducing customizable metalogic features in logic-based knowledge representation and reasoning languages. We made the specific case of Answer Set Programming (ASP), where such features may be part of software engineering toolkits for this programming paradigm. In this paper we show how such metalogic features can further enrich with minor changes to its operational semantics (provided in terms of “chase”) and no additional complexity burden.
978-3-030-35165-6
978-3-030-35166-3
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1186342
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact