Logic Programming
What
versus
How
 

Assignment - Escher


In the lecture on Datasets, we saw that it is possible to represent data in the form of triples. In this assignment, you are asked to illustrate this by encoding data about our metadata (effectively "metametadata").

The Escher Assignment. Consider a vocabulary where the symbols consist of (a) the types of entities described in the Metadata assignment, i.e. type, predicate, attribute, boolean, (b) the unary type predicates, (c) the binary attributes, and (d) the booleans yes and no. (Yes, the predicates in our vocabulary are symbols in this vocabulary as well as predicates!) Use the relations described in the Metadata assignment to describe these types and predicates and attributes.

To start you off, we are giving you the factoids describing type. See below. Now you do the other types, the predicates, the attributes, and the booleans.

type.instance(type)
type.predicate(type,type.instance)
type.attribute(type,type.predicate)
type.attribute(type,type.attribute)

Submission details: When you are done, head over to Gradescope to submit your answers.

Thought experiment: What would metametametadata look like? (No need to submit an answer but be prepared to discuss.)



Feedback