Difference between revisions of "Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/ArmirBujari" < Training:PhD Course on Computational Ontologies @ University of Bologna 2011‎ | Ontology Testing

Revision as of 15:56, 10 May 2011

Testing Exercise - document your work on methods used
Number	Requirement tested	Method used	Test applied	Error(s) found	Suggestions/ideas for solution	Additional notes
1	Contextual Statement: A track has only one genre		Unit test(Track, genre) Query:SELECT ?p ?y WHERE { ?p a :Track . ?p :genre ?y }	The ontology does not guarantee the genre uniqueness of a track
2	Contextual Statement: A track realizes only one song		Unit test(Track, recordingOf) Query:SELECT ?p ?y WHERE { ?p a :Track . ?p :recordingOf ?y }	The ontology does not guarantee the uniqueness of song-track
3	CQ: What role does a certain person have in a certain band at a certain point in time?		Ontology graph reasoning	I cannot deduce the role of the band member, there is no trace of historical roles.
4	CQ: During what time period was a certain album of a certain band recorded?		Ontology graph reasoning, property and dataProperty check	There is not a well defined notion of time for a recorded album, albumRecordedIn is a property that seems suited for this but has not been defined accordingly (no domain or range), which could lead to strange definitions by users of the ontology.
5

@@ Line 2: / Line 2: @@
 |+ Testing Exercise - document your work on methods used
 | '''Number''' ||  '''Requirement tested''' || '''Method used''' || '''Test applied''' || '''Error(s) found''' || '''Suggestions/ideas for solution''' || '''Additional notes'''
 |-
-| 0 |A track has only one genre| || only for students exercising with method guidelines |Unit testing (track, genre)
+| 1 || Contextual Statement: A track has only one genre|| ||Unit test(Track, genre) Query:SELECT ?p ?y WHERE { ?p a :Track . ?p :genre ?y } ||The ontology does not guarantee the genre uniqueness of a track || ||
-Query:
-SELECT ?p ?y
-WHERE {
-    ?p a :Track .
-	?p :genre ?y
-}
-| |
+|-
+| 2 || Contextual Statement: A track realizes only one song|| ||Unit test(Track, recordingOf) Query:SELECT ?p ?y WHERE { ?p a :Track . ?p :recordingOf ?y } ||The ontology does not guarantee the uniqueness of song-track|| ||
-The track name can have more than one genre associated
+|-
-| || ||
+| 3 || CQ: What role does a certain person have in a certain band at a certain point in time?|| || Ontology graph reasoning|| I cannot deduce the role of the band member, there is no trace of historical roles.|| ||
-|-
-| 1 |
-A track realizes only one song
-| || |
-Unit testing (track, associatedSong)
-Query:
-SELECT ?p ?y
-WHERE {
-    ?p a :Track .
-	?p :recordingOf ?y
-}
-| |
-The track name can have more than one genre associated
-| || ||
 |-
+| 4 || CQ: During what time period was a certain album of a certain band recorded?|| || Ontology graph reasoning, property and dataProperty check|| There is not a well defined notion of time for a recorded album, albumRecordedIn is a property that seems suited for this but has	not been defined accordingly (no domain or range), which could lead to strange definitions by users of the ontology.|| ||
-| 2 || || || || || ||
-|-
-| 3 || || || || || ||
-|-
-| 4 || || || || || ||
 |-
-|}
+| 5 || || || || || ||