On the relation between SPARQL1.1 and Answer Set Programming.
Axel PolleresJohannes Peter WallnerPublished in: J. Appl. Non Class. Logics (2013)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- reasoning tasks
- answer set programs
- semantic web
- causal theories
- stable model semantics
- query language
- data model
- stable models
- haplotype inference
- knowledge representation
- query optimization
- linked data
- disjunctive logic programming
- declarative programming
- database
- modulo theories
- nonmonotonic reasoning
- programming language
- general purpose
- software engineering
- natural language
- artificial intelligence