Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
Abstract. Educational researchers need to exchange and compare their learnerinteraction data in order to benefit the learning science community as a whole. In order to support this...
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...