Training:Advanced Ontology Engineering at FOI - 2011/Ontology Testing/Testing Solution
From Odp
(Difference between revisions)
(New page: Problems in musicindustry.owl *CQ2: The end time is missing. *CQ3: roles are not time-indexed, they are asserted through specific properties, e.g. bassPlayerOf *CS4: missing name property...) |
|||
| Line 2: | Line 2: | ||
*CQ2: The end time is missing. | *CQ2: The end time is missing. | ||
| + | ** The query you would like to be able to write: | ||
| + | SELECT ?band ?member ?start ?end | ||
| + | WHERE { | ||
| + | ?x :band ?band . | ||
| + | ?x :member ?member . | ||
| + | ?x :membershipStartDate ?start . | ||
| + | ?x :membershipEndDate ?end | ||
| + | } | ||
| + | ** But the end date property is missing, hence the only thing we can write is: | ||
| + | SELECT ?band ?member ?start | ||
| + | WHERE { | ||
| + | ?x :band ?band . | ||
| + | ?x :member ?member . | ||
| + | ?x :membershipStartDate ?start | ||
| + | } | ||
*CQ3: roles are not time-indexed, they are asserted through specific properties, e.g. bassPlayerOf | *CQ3: roles are not time-indexed, they are asserted through specific properties, e.g. bassPlayerOf | ||
*CS4: missing name property for persons, Anthony Kiedis is using the property for bands and is inferred to be a band. Also missing the contextual statement that implies cardinality restrictions on people and bands, on the hasName property. | *CS4: missing name property for persons, Anthony Kiedis is using the property for bands and is inferred to be a band. Also missing the contextual statement that implies cardinality restrictions on people and bands, on the hasName property. | ||
Revision as of 09:35, 6 October 2011
Problems in musicindustry.owl
- CQ2: The end time is missing.
- The query you would like to be able to write:
SELECT ?band ?member ?start ?end
WHERE {
?x :band ?band .
?x :member ?member .
?x :membershipStartDate ?start .
?x :membershipEndDate ?end
}
- But the end date property is missing, hence the only thing we can write is:
SELECT ?band ?member ?start
WHERE {
?x :band ?band .
?x :member ?member .
?x :membershipStartDate ?start
}
- CQ3: roles are not time-indexed, they are asserted through specific properties, e.g. bassPlayerOf
- CS4: missing name property for persons, Anthony Kiedis is using the property for bands and is inferred to be a band. Also missing the contextual statement that implies cardinality restrictions on people and bands, on the hasName property.
- Ontology is inconsistent because the domain of releaseDate is the intersection of Album and Track instead of the union.
- A track realising "some" song doesn't mean only one!
- Definition of PopBand should be "equivalent class" instead of subclass restriction
- The second reasoning requirement is missing, hence we cannot infer the genre of an album - can be done with an OWL 2 property chain.
- Some missing domains and ranges, missing annotations etc.
