Open answer set programming for the semantic web.
Stijn HeymansDavy Van NieuwenborghDirk VermeirPublished in: J. Appl. Log. (2007)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- knowledge representation
- constraint logic programming
- semantic web
- reasoning tasks
- stable model semantics
- answer set programs
- causal theories
- haplotype inference
- stable models
- update semantics
- answer set semantics
- knowledge base
- open world
- qualitative spatial and temporal reasoning
- modulo theories
- linked data
- search algorithm
- high level
- metadata