| Line 15: | Line 15: | ||
| 5 || Contextual statement 4: Each band and each person is associated to at least one name || Reasoning || Inspection of class restrictions || The data property hasName does not have Person as a Domain || Changing the hasName property is sufficient || | | 5 || Contextual statement 4: Each band and each person is associated to at least one name || Reasoning || Inspection of class restrictions || The data property hasName does not have Person as a Domain || Changing the hasName property is sufficient || | ||
|- | |- | ||
| − | | 4 || Reasoning requirement 1 || Performing inferences || I created an instance of a track with genre "indie" || The reasoner could not infer the fact that a certain band is associated to some genre based on the genre of a track. The | + | | 4 || Reasoning requirement 1 || Performing inferences || I created an instance of a track with genre "indie" || The reasoner could not infer the fact that a certain band is associated to some genre based on the genre of a track. The problem is due to the fact that there is no property relating Band and Track || || |
|- | |- | ||
| + | | 5 || Reasoning requirement 2 || Performing inferences || I created an instance of an Album and two instances of Track with genre "indie" and "funk_rock" that are in included in the Album. || The reasoner could not infer the fact that the Album fooAlbum has genre "indie" and "funk_rock" based on the genre of the tracks it contains. The problem is due to the fact that there is no property relating Band and Track || || | ||
| + | |- | ||
| + | |||
|} | |} | ||
| Number | Requirement tested | Method used | Test applied | Error(s) found | Suggestions/ideas for solution | Additional notes |
| 0 | only for students exercising with method guidelines | |||||
| 1 | CQ1 | Unit test | SELECT ?person ?instrument WHERE { ?instrument :instrumentPlayedBy ?person . } | |||
| 2 | Contextual statement 1: A recorded album has one or more genres | Reasoning | Inspection of class restrictions | OK | -- | |
| 3 | Contextual statement 2: A track has only one genre | Reasoning | Inspection of class restrictions | OK | -- | |
| 4 | Contextual statement 3: A track realizes only one song | Reasoning | Inspection of class restrictions | The cardinality of the Track-Song relationship has cardinality [1,..] | A simple cardinality change is enough | |
| 5 | Contextual statement 4: Each band and each person is associated to at least one name | Reasoning | Inspection of class restrictions | The data property hasName does not have Person as a Domain | Changing the hasName property is sufficient | |
| 4 | Reasoning requirement 1 | Performing inferences | I created an instance of a track with genre "indie" | The reasoner could not infer the fact that a certain band is associated to some genre based on the genre of a track. The problem is due to the fact that there is no property relating Band and Track | ||
| 5 | Reasoning requirement 2 | Performing inferences | I created an instance of an Album and two instances of Track with genre "indie" and "funk_rock" that are in included in the Album. | The reasoner could not infer the fact that the Album fooAlbum has genre "indie" and "funk_rock" based on the genre of the tracks it contains. The problem is due to the fact that there is no property relating Band and Track |
'Ontology Design Patterns'