D-SPACES: Implementing Declarative Semantics for Spatially Structured Information.
Stefan HaarSalim PerchyFrank D. ValenciaPublished in: ICSC (2017)
Keyphrases
- structured information
- declarative semantics
- deductive databases
- structured data
- logic programming
- logic programs
- logic programming language
- operational semantics
- linked data
- web pages
- partial order
- defeasible reasoning
- integrity constraints
- answer set programming
- fixpoint
- query evaluation
- stable models
- machine learning
- structured queries
- software engineering
- data model
- metadata