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

SELECT ?p ?strument WHERE { ?p a :Person . ?p :playsInstrument ?strument }

SELECT ?p ?band ?year_start ?year_end ?strument WHERE {

   ?p a mi:Person .

?band a mi:Band . ?timeindex a mi:TimeIndexedMembership . ?timeindex mi:band ?band . ?timeindex mi:member ?p . ?timeindex mi:membershipStartDate ?year_start . ?timeindex mi:membershipEndDate ?year_end .

       ? p mi:bassPlayerOf

} ... no way to express

design pattern : ObjectRole

2

created an instance of Track and of an album. Track is in that album. Defined the genre of track, album genre is not inferred by the reasoner.

Reasoners don't infer album genre. Possible error.

Assign a genre to an object that should not have a genre ||

Everything can have a genre (a guitar ????)