5.0 分
其他
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 annotation properties) so that reasoners like Pellet recognize the ontologies as EL.
A repository of OBO ontologies converted to EL using EL Vira is available at http://bioonto.dcs.aber.ac.uk/el-ont, in RL at http://bioonto.dcs.aber.ac.uk/rl-ont and in QL at http://bioonto.dcs.aber.ac.uk/ql-ont.
El Vira implements an ontology modularization approach that restricts language expressivity without changing the signatur
暂无评论