02 07 12

Page 1

School of Information Engineering Knowledge Engineering 2011–12 Solutions of Test 1 – 2nd July 2012 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. Lecture notes, chapter 2. 2 14 pt. Translate the requirements below (concerning male soccer) into OWL 2 DL, using the DL notation. Specify the domain and range of every property. Identify possible requirements that cannot be specified in OWL 2 DL, explain why, and if possible provide an OWL 2 DL approximation. Use ABox assertions whenever possible. 1. every team has eleven men as players; 2. every team has exactly one of its players as its goalkeeper; 3. a team may represent at most one country; 4. every country has exactly one name (a string); 5. teams may participate to championships; 6. the team representing the country called “Greece” participates to Euro2012; 7. every match belongs to exactly one championship and is played by two teams; 8. a team participates to a championship if, and only if, it plays a match that belongs to the championship; Now formulate the following DL queries; for each of them say which reasoning service is invoked, give the answer that would be derived from your current ontology, and briefly justify it. If the query cannot be formulated in OWL 2 DL explain why, and if possible provide an OWL 2 DL approximation. 9. list the matches played by the team representing the country called “Italy” against the team representing the country called “Spain” 10. teams and countries form disjoint classes. 1. hasPlayer: Team → Man Team ⊑ =11 hasPlayer 2. hasGoalKeeper: Team → Man Team ⊑ =1 hasGoalKeeper or: Team ⊑ =1 hasPlayer.GoalKeeper hasGoalKeeper ⊑ɺ hasPlayer 3. represents: Team → Country Team ⊑…