'Ontology Design Patterns' - User contributions [en]

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T14:15:56Z

AlessandroLascu:

{| border="1" align="center" style="text-align:center;"
|+ 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 || || 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 or more. || 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 || A property relating Band and Track must be added. ||
|-
| 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 || ||
|-

|}

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T14:14:37Z

AlessandroLascu:

{| border="1" align="center" style="text-align:center;"
|+ 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 || || 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 || A property relating Band and Track must be added. ||
|-
| 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 || ||
|-

|}

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T14:12:10Z

AlessandroLascu:

{| border="1" align="center" style="text-align:center;"
|+ 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 || || 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 || ||
|-

|}

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T14:05:27Z

AlessandroLascu:

{| border="1" align="center" style="text-align:center;"
|+ 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 || || 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 roblem is due to the fact that there is no property relating Band and Track || ||
|-
|}

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T14:00:13Z

AlessandroLascu:

{| border="1" align="center" style="text-align:center;"
|+ 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 || || 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 || ||
|-
|}

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T13:49:30Z

AlessandroLascu:

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T13:40:30Z

AlessandroLascu:

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T13:32:15Z

AlessandroLascu:

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-06-12T09:08:58Z

AlessandroLascu:

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Collaborative eXtreme Design/I2Pair

2011-05-12T11:08:34Z

AlessandroLascu:

=== Ornela and Alessandro ===

Use the following template for each story you develop

'''Story title''': Article collections

'''Depends on story(ies)''': Articles

'''Description''': To constantly update their knowledge both nurses and doctors read research articles that can be found in article collections at the hospital library. Article collections are usually available both as books and electronically CDs.

'''Priority''': High

'''Competency questions'''
# What articles did a nurse or a doctor read?
# Which article collections can an article be found in? (need also reverse question)
# What article collections can be found in an hospital library? (need also reverse question)
# In what format (concrete realization) is available a certain article collection?

'''Contextual statements'''
# Article and ArticleCollection are disjoint.
# Nurse and Doctor are disjoint.
# ArticleCollection is disjoint from Book and CD.

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-05-10T15:59:29Z

AlessandroLascu:

Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu

2011-05-10T14:02:49Z

AlessandroLascu: New page: {| border="1" align="center" style="text-align:center;" |+ Testing Exercise - document your work on methods used | '''Number''' || '''Requirement tested''' || '''Method used''' || '''Test...