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
Links
- Item record in Zenodo
- Digital object URL
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
- https://creativecommons.org/publicdomain/zero/1.0/legalcode Creative Commons Zero v1.0 Universal
- info:eu-repo/semantics/openAccess Open Access
Format
electronic resource
Relateditems
Description | Item type | Relationship | Uri |
---|---|---|---|
IsPartOf | https://zenodo.org/communities/ontologycollections | ||
IsPartOf | https://zenodo.org/communities/zenodo |