08 02 13

Page 1

School of Information Engineering Knowledge Engineering 2011–12 Solutions of Test 5 – 8th february 2013 1 8 pt Explain the relationship between a DL like SROIQ(D) and FOL. Describe the pros and cons of implementing a KB using a DL like SROIQ(D) instead of FOL. See the Lecture Notes 2011–12, Sections 4.2 and 4.3. 2 14 pt Translate the requirements below into OWL 2 DL using the DL notation. Specify the domain and range of every property. In case a requirement cannot be specified in OWL 2 DL e xplain why, and if possible provide an OWL 2 DL approximation. Avoid redundancies (i.e., do not state again what can already be derived) and use ABox assertions whenever possible. 1. every geometric entity has exactly one dimension, which is a nonnegative integer; 2. points are geometric entities of dimension 0; lines, of dimension 1; surfaces, of dimension 2; 3. every line may have at most one start point and at most one end point; a line is finite is and only if it has both a start and an end point; a line is closed if and only if it is finite and its start and end points coincide; 4. every surface may have at most a border line; a surface is finite if and only if its border is a closed line; 5. a geometric entity may be contained in another geometric entity; if a geometric entity is contained in another one, than the dimension of the former is less than or equal to the dimension of the latter; 6. given geometric entities x, y, and z: if x is contained in y and y is contained in z, then x is contained in z; 7. no geometric entity is contained in itself; Now formulate the following DL queries. For each such query say which reasoning service is invoked, give the answer that would be derived from your ontology, and briefly justify it. If the query cannot be formulated in OWL 2 DL…