06 02 15

Page 1

School of Industrial and Information Engineering Knowledge Engineering 2013–14 Test 5 – 6th February 2015 Part I 2 15 pt. Please read carefully before starting: a. read the requirements below very carefully and represent them in SROIQ(D) using the DL notation; if a requirement cannot be specified in SROIQ(D) explain why, and if possible provide a SROIQ(D) approximation b. domain and ranges can be specified in any of the forms presented in the lecture notes c. use ABox assertions whenever possible, adding different individuals assertions whenever this is reasonable even if such requirement is not explicitly stated d. for every DL query: (i), say which reasoning service is invoked; (ii), give the answer that would be derived from your ontology, inclusive of the ABox that you have specified but without any further addition; and (iii), provide a justification for the answer (e.g., listing the axioms involved in the proof). Requirements: 1. Towns, countries and continents are disjoint. Every town is located in exactly one country. 2. Every country and every town belongs to at least one continent. 3. If town x is located in country y and belongs to continent z, then country y belongs to continent z. 4. Intercontinental countries are those countries that belong to at least two continents. 5. The continents are Africa, America, Antarctica, Asia, Australia, and Europe (and only these ones). 6. Turkey is a country belonging to Asia and to Europe (and only to these two continents). 7. Moscow and Vladivostok are located in Russia; the former belongs to Europe and the latter belongs to Asia. DL queries (please read carefully point d. above): 8. List all individuals that are not continents. 9. Russia belongs to both Asia and Europe. 10. Is it possible that Russia belongs to…