The following pages link to BioPortal (Q34704):
Displaying 8 items.
- Bioinformatics. Volume I. Data, sequence analysis, and evolution (Q505398) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Multidisciplinary pattern recognition applications: a review (Q2026301) (← links)
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (Q2305440) (← links)
- Axiomatisation of general concept inclusions from finite interpretations (Q4586152) (← links)