Name
Abstract | ||
|---|---|---|
Current ontology development tools offer debugging support by presenting justifications for entailments of OWL ontologies. While these minimal subsets have been shown to support debugging and understanding tasks, the occurrence of multiple justifications presents a significant cognitive challenge to users. In many cases even a single entailment may have many distinct justifications, and justifications for distinct entailments may be critically related. However, it is currently unknown how prevalent significant numbers of multiple justifications per entailment are in the field. To address this lack, we examine the justifications from an independently motivated corpus of actively used biomedical ontologies from the NCBO BioPortal. We find that the majority of ontologies contain multiple justifications, while also exhibiting structural features (such as patterns) which can be exploited in order to reduce user effort in the ontology engineering process. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/978-3-642-25073-6_5 | International Semantic Web Conference (1) |
Keywords | Field | DocType |
significant cognitive challenge,single entailment,prevalent significant number,current ontology development tool,biomedical ontology,owl ontology,distinct justification,multiple justification,ncbo bioportal ontology,distinct entailment,justificatory structure,ontology engineering process | Ontology (information science),Data mining,Ontology,Ontology engineering,Logical consequence,Computer science,Open Biomedical Ontologies,Database,Debugging | Conference |
Volume | ISSN | Citations |
7031 | 0302-9743 | 10 |
PageRank | References | Authors |
0.62 | 25 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Samantha Bail | 1 | 106 | 8.03 |
| Matthew Horridge | 2 | 1403 | 86.26 |
| Bijan Parsia | 3 | 6146 | 429.53 |
| Ulrike Sattler | 4 | 6177 | 478.47 |