04 09 14 1

Page 1

School of Industrial and Information Engineering Knowledge Engineering 2013–14 Test 1 – 4th September 2014 Part I 1 5 pt. Let K be a knowledge base (represented in some logical system L) and ϕ a statement (of the same logical system L). Explain the meaning of: (i), K ⊨ ϕ; and (ii), K ⊢R ϕ (for some reasoning procedure R). Then specify what it means for R to be sound and complete, and for logical system L to be decidable. Lecture notes, Chapter 3. 2 15 pt. Please read before starting: • 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 • domain and ranges can be specified in any of the forms presented in the lecture notes • use ABox assertions if possible, adding different individuals assertions whenever this is reasonable even if such requirement is not explicitly stated • 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. Books, persons, towns and publishers form disjoint classes. 2. Every book has one or more authors (persons), exactly one title (a string), exactly one publishing location (a town) and exactly one publisher. 3. Every publisher has one or more publishing locations (towns). (Warning: do not confuse the publishing location of a book with the publishing locations of a publisher.) 4. If a book is published by a certain publisher, then the publishing location of the book is among the publishing locations of its publisher. 5. The OUP…