BioPortal
From MaRDI portal
Software:34704
swMATH22917MaRDI QIDQ34704FDOQ34704
Author name not available (Why is that?)
Cited In (8)
- Axiomatisation of general concept inclusions from finite interpretations
- Multidisciplinary pattern recognition applications: a review
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
- A descriptive type foundation for RDF Schema
- OWL reasoning: subsumption test hardness and modularity
- The OWL reasoner evaluation (ORE) 2015 competition report
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Bioinformatics. Volume I. Data, sequence analysis, and evolution
This page was built for software: BioPortal
