Jeffrey S. Vitter is the 17th chancellor of the Univ. of Mississippi and Distinguished Professor of Computer and Information Science. He is a passionate advocate for higher education with 38 years of experience, previously at Brown, Duke, Purdue, and Texas A and M Universities and the University of Kansas before becoming chancellor of Mississippiās flagship university in January 2016.
... missed data is actually needed [ChB], and a combined hardware and software approach which use... more ... missed data is actually needed [ChB], and a combined hardware and software approach which uses an optimiz-ing compiler and speculative loads to issue read requests in anticipation of a demand request [RoL]. The idea of using data compression techniques for ...
Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis ... more Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete ...
Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis ... more Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete ...
... missed data is actually needed [ChB], and a combined hardware and software approach which use... more ... missed data is actually needed [ChB], and a combined hardware and software approach which uses an optimiz-ing compiler and speculative loads to issue read requests in anticipation of a demand request [RoL]. The idea of using data compression techniques for ...
Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis ... more Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete ...
Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis ... more Ontology classificationāthe computation of subsumption hierarchies for classes and propertiesāis one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete ...
Uploads
Papers by Jeffrey Vitter