INFS3101/7100 Ontology and the Semantic Web

Exercises from Week 12

For discussion in tutorial week 13

Key concepts from lecture: Common logic is a language to express predicates. Can map OWL Full to CL. But CL is richer than OWL Full, so can be used to extend OWL. But need to be careful, since CL open to paradox.

1.           Consider the rental accommodation exchange from the week 2 tutorial and the representation in the solution to the week 4 tutorial and following, as represented in RDFS/OWL in the last tutorials. (Make plausible extensions if necessary).

a.           Define subclasses using CL.

b.           Define some integrity constraints using CL.

c.           Formulate some queries as class definitions in CL.