We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
El Vira uses OWL reasoning to convert ontologies from any OWL expressivity into OWL EL, OWL QL or OWL RL. EL, QL and RL are subsets of OWL in which decisions for most reasoning tasks can be decided in polynomial time. Reasoners for these profiles therefore allow inferences over much larger ontologies and knowledge bases than general OWL reasoners. El Vira supports conversion of OWL to OWL EL, QL and RL, while providing the flexibility to remove various language features (such as datatype or anno