This is a limited proof of concept to search for research data, not a production system.

Search the MIT Libraries

Title: Module Data for the Empirical Investigation of Subsumption Test Hardness in Description Logic Classification

Type Dataset Matentzoglu, Nicolas, Parsia, Bijan, Sattler, Uli (2015): Module Data for the Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. Zenodo. Dataset. https://zenodo.org/record/15682

Authors: Matentzoglu, Nicolas (University of Manchester) ; Parsia, Bijan (University of Manchester) ; Sattler, Uli (University of Manchester) ;

Links

Summary

This dataset contains 224 modules of 14 distinct ontologies for the submission "Empirical Investigation of Subsumption Test Hardness in Description Logic Classification" to CADE, 2015. The submitted version with the dataset description can be found here:

http://owl.cs.manchester.ac.uk/publications/supporting-material/subtest-hardness-in-classification/

The ontologies in this set are BioPortal ontologies from the snapshot provided at http://dx.doi.org/10.5281/zenodo.15667. 

The following ontologies are in the set: 

MFOEM - Emotion Ontology BT - Biotop Ontology NEMO - Neural Electromagnetic Ontology NTDO - Neglected Tropical Disease Ontology OBI - Ontology for Biomedical Investigations OGSF - Ontology for Genetic Susceptibility Factor ONL-MSA - Mental State Assemssment VSO - Vital Sign Ontology CAO - Clusters of Orthologous Groups Cog Analysis Ontology  ICO - Informed Consent Ontology OMRSE - Ontology of Medically Related Social Entities STATO - Statistics Ontology NPO - Nanoparticle Ontology OBCS - Ontology of Biological and Clinical Statistics

More information

  • DOI: 10.5281/zenodo.15682

Subjects

  • ontologies, modules, description logic

Dates

  • Publication date: 2015
  • Issued: February 26, 2015

Rights


Much of the data past this point we don't have good examples of yet. Please share in #rdi slack if you have good examples for anything that appears below. Thanks!

Format

electronic resource

Relateditems

DescriptionItem typeRelationshipUri
IsPartOfhttps://zenodo.org/communities/ontologycollections
IsPartOfhttps://zenodo.org/communities/zenodo