Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin

This article deals with the combination of ontologies and rules by means of existential rules and answer set programming. Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Furthermore Answer Set Programming (ASP)...

Full description

Saved in:

Bibliographic Details
Published in:	Annals of mathematics and artificial intelligence Vol. 82; no. 1-3; pp. 3 - 41
Main Authors:	Baget, Jean-François, Garcia, Laurent, Garreau, Fabien, Lefèvre, Claire, Rocher, Swan, Stéphan, Igor
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 01.03.2018 Springer Springer Nature B.V Springer Verlag
Subjects:	Algorithms Artificial Intelligence Complex Systems Computer Science Computers Declarative programming Formalism Knowledge Knowledge representation Logic programming Mathematical programming Mathematics Monotony Ontology Semantics Services Existential rules 68N17 68P15 Decidability 68T27 Answer set programming 68Q17 Ontologies 68T30
ISSN:	1012-2443, 1573-7470
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!