Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Proceedings of the 1st international conference on Knowledge capture
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Constructing ontology-driven protein family databases
Bioinformatics
Common Lisp: The Language
Protein classification using ontology classification
Bioinformatics
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The OWL instance store: system description
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Web Semantics: Science, Services and Agents on the World Wide Web
Auditing associative relations across two knowledge sources
Journal of Biomedical Informatics
Ontologies for Intelligent e-Therapy: Application to Obesity
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Natural Language Processing as a Foundation of the Semantic Web
Foundations and Trends in Web Science
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Defeasible inclusions in low-complexity DLs: preliminary notes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A core ontology of instruments used for neurological, behavioral and cognitive assessments
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Theory and Practice of Logic Programming
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Experimenting with eXtreme design
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
How do we measure and improve the quality of a hierarchical ontology?
Journal of Systems and Software
A semantics-based multi-agent framework for vehicular social network development
Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
Hi-index | 0.00 |
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how the modelling requirements of different areas of interest are met by OWL-DL's underlying model of the world. In this paper we use the disciplines of biology and bioinformatics to reveal the requirements of a community that both needs and uses ontologies. We use a case study of building an ontology of protein phosphatases to show how OWL-DL's model can capture a large proportion of the community's needs. We demonstrate how Ontology Design Patterns (ODPs) can extend inherent limitations of this model. We give examples of relationships between more than two instances; lists and exceptions, and conclude by illustrating what OWL-DL and its underlying description logic either cannot handle in theory or because of lack of implementation. Finally, we present a research agenda that, if fulfilled, would help ensure OWL's wider take up in the life science community.