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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 82; H. 1-3; S. 3 - 41
Hauptverfasser:	Baget, Jean-François, Garcia, Laurent, Garreau, Fabien, Lefèvre, Claire, Rocher, Swan, Stéphan, Igor
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.03.2018 Springer Springer Nature B.V Springer Verlag
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!