Using Aber-OWL for fast and scalable reasoning over BioPortal ontologies

‰ Š‹2Œ79 95Ž ‘8’  “’ ‹797’ 75 ‹Œ. !" 0 -

Presenting justifications to the user and distinguishing root and derived un- satisfiable classes has shown to drastically reduce user effort when debugging an ontology that

Table 4. H-Mean f-measure at different threshold for the Explicit vs. explicitly stated in axioms) compared to using implicit disjointness. The implicit disjointness is obtained

In a scenario where a sequence of queries is to be answered, or multiple applications are using the same instantiation of a reasoning broker, it is necessary to balance the workload

For example, even if the general structure of a finger were described using DLs (e.g., this description might be a part of a general, coarse-grained KB that does not use graphs),

Finally, using all this information, the query and reasoning tool generator customizes a Protege generic graphical interface, which shows the information about the ontology using

They propose a Collaborative Ontology development Environment (COE); COE uses concept maps to display, edit and compose OWL. Garcia [4] also studied the use of CMAPS

In any case, instances will justify type-level declared knowl- edge and type-level knowledge is used for instances 3 , thereby the requirements essentially are those for a