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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Annals of mathematics and artificial intelligence Ročník 82; číslo 1-3; s. 3 - 41
Hlavní autori:	Baget, Jean-François, Garcia, Laurent, Garreau, Fabien, Lefèvre, Claire, Rocher, Swan, Stéphan, Igor
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cham Springer International Publishing 01.03.2018 Springer Springer Nature B.V Springer Verlag
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!