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