Next:
Class Satisfiability of OWL
Up:
Evaluation Results
Previous:
Classification results for WSReasoner
Beginning:
ORE 2012 Evaluation
Class satisfiability
Subsections
Class Satisfiability of OWL DL ontologies
Class Satisfiability of OWL EL ontologies