querying, reasoning, and provenance management systems. Further, it serves as a starting