Next:
Ontology Satisfiability of OWL
Up:
Evaluation Results
Previous:
Class Satisfiability of OWL
Beginning:
ORE 2012 Evaluation
Ontology satisfiability
Subsections
Ontology Satisfiability of OWL DL ontologies
Ontology Satisfiability of OWL EL ontologies