bblfish: there's a pdf on that page with some overview of hr ontologies.
bblfish: their mime type is wrong
kendallgclark: And it's got 3 unsatisfiable classes, to boot. You can't be disjoint with something that is yr super class.
kendallgclark: See MarketShareWeightedIndex, MarketValueWeightedIndex, and PriceWeightedIndex
kendallgclark: All of which are said to be disjoint with StockIndex, but also subclasses of StockIndex. Oops! :)
FabGandon: is not really part of SUMO just happen to use the same acronym
kendallgclark: You can play with the ontology a bit here using OwlSight, which gives a nice explanation for the unsatisfiable classes...
kendallgclark: And it's got 3 unsatisfiable classes, to boot. You can't be disjoint with something that is yr super class.
kendallgclark: See MarketShareWeightedIndex, MarketValueWeightedIndex, and PriceWeightedIndex
kendallgclark: All of which are said to be disjoint with StockIndex, but also subclasses of StockIndex. Oops! :)
FabGandon: is not really part of SUMO just happen to use the same acronym
kendallgclark: You can play with the ontology a bit here using OwlSight, which gives a nice explanation for the unsatisfiable classes...