C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Effectively-Propositional Reasoning about Reachability in Linked Data Structures.
Shachar Itzhaky
Anindya Banerjee
Neil Immerman
Aleksandar Nanevski
Mooly Sagiv
Published in:
CAV (2013)
Keyphrases
</>
linked data
semantic web
linked open data
semantic data
open data
structured data
propositional logic
structured information
expert search
using semantic web technologies
data sources
natural language
data integration
open government data
database
semantic search
information technology
case study
real world