A Decidable Logic for Describing Linked Data Structures.

Michael Benedikt Thomas W. Reps Shmuel Sagiv

Published in: ESOP (1999)

Keyphrases

linked data
linked open data
semantic web
semantic data
structured data
data sources
open data
semantic search
linear time temporal logic
structured information
data integration
data publishing
mashup
logic programming
machine learning
open innovation
first order logic
rdf data
logic programs
open government data