Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu
From Odp
(Difference between revisions)
| 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 || || || || || || | + | | 4 || Reasoning requirement 1: To identify (classify) bands into (multiple) genres based on the genres of their recorded tracks, e.g., a rock band has recorded some track in the genre "rock". In this system a band should be classified into a certain genre even if it has only one track of this genre. || 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 roblem is due to the fact that there is no property relating Band and Track || || |
|- | |- | ||
|} | |} | ||
Revision as of 14:00, 12 June 2011
| 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: To identify (classify) bands into (multiple) genres based on the genres of their recorded tracks, e.g., a rock band has recorded some track in the genre "rock". In this system a band should be classified into a certain genre even if it has only one track of this genre. | 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 roblem is due to the fact that there is no property relating Band and Track |
