BioPortal
From MaRDI portal
Cited in
(31)- QTAG
- OWL reasoning: subsumption test hardness and modularity
- Understanding the complexity of axiom pinpointing in lightweight description logics
- The OWL reasoner evaluation (ORE) 2015 competition report
- Multidisciplinary pattern recognition applications: a review
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
- HermiT
- CDuce
- Konclude
- TrOWL
- Chainsaw
- BEACON
- Just
- Ontobee
- Aber-OWL
- RacerPro
- VoCol
- ELepHant
- JFact
- Snorocket
- ELK
- OntoDebug
- MERGEXPLAIN
- Turtle
- FAME
- EL2MCS
- WebProtege
- LETHE
- Axiomatisation of general concept inclusions from finite interpretations
- Bioinformatics. Volume I. Data, sequence analysis, and evolution
- A descriptive type foundation for RDF Schema
This page was built for software: BioPortal
