Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
Pushing the envelope: challenges in a frame-based representation of human anatomy
Data & Knowledge Engineering
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Translating the Foundational Model of Anatomy into OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Reconciling description logics and rules
Journal of the ACM (JACM)
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Ontology - supported machine learning and decision support in biomedicine
DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
The Use of Ontology in Dental Restorative Treatment Decision Support System
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Optimising ontology classification
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules
Journal of Biomedical Informatics
MIREOT: The minimum information to reference an external ontology term
Applied Ontology - Biomedical Ontologies
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Semantically enhanced matchmaking of consumers and providers: a Canadian real estate case study
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Systematic identification and correction of spelling errors in the foundational model of anatomy
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Shared decision support system on dental restoration
Expert Systems with Applications: An International Journal
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology-Based automatic image annotation exploiting generalized qualitative spatial semantics
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
The Foundational Model of Anatomy in OWL 2 and its use
Artificial Intelligence in Medicine
Towards efficient and practical solutions for ontology-based data management
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Multi-site study of surgical practice in neurosurgery based on surgical process models
Journal of Biomedical Informatics
Query rewriting under query refinements
Knowledge-Based Systems
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Hi-index | 0.00 |
We present the method developed for migrating the Foundational Model of Anatomy (FMA) from its representation with frames in Protege to its logical representation in OWL and our experience in reasoning with it. Despite the extensive use of metaclasses in Protege, it proved possible to convert the FMA from Protege into OWL DL, while capturing most of its original features. The conversion relies on a set of translation and enrichment rules implemented with flexible options. Unsurprisingly, reasoning with the FMA in OWL proved to be a real challenge, due to its sheer size and complexity, and raised significant inference problems in terms of time and memory requirements. However, various smaller versions have been successfully handled by Racer. Some inconsistencies were identified and several classes reclassified. The results obtained so far show the advantage of OWL DL over frames and, more generally, the usefulness of DLs reasoners for building and maintaining the large-scale biomedical ontologies of the future Semantic Web.