research
∙
04/20/2019
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Web Ontology Language (OWL) reasoners are used to infer new logical rela...
research
∙
10/15/2018