Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Defaults, context, and knowledge: alternatives for OWL-indexed knowledge bases.

A Rector1

  • 1Bio-Health Informatics Group, Department of Computer Science, University of Manchester, Manchester M13 9PL, UK. rector@cs.man.ac.uk

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
|March 3, 2004
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Is the Application of SNOMED CT Concept Model sufficiently Quality Assured?

AMIA ... Annual Symposium proceedings. AMIA Symposium·2018
Same author

Discussion of "biomedical ontologies: toward scientific debate".

Methods of information in medicine·2011
Same author

Nicotinic acid and pantothenic acid content of sunflower seed meal and some oil seed products.

Proceedings of the Society for Experimental Biology and Medicine. Society for Experimental Biology and Medicine (New York, N.Y.)·2010
Same author

Mannan binding lectin (MBL) gene polymorphisms are not associated with anti-Saccharomyces cerevisiae (ASCA) in patients with Crohn's disease.

Gut·2006
Same author

Security and confidentiality approach for the Clinical E-Science Framework (CLEF).

Methods of information in medicine·2005
Same author

Interleukin-1 receptor antagonist VNTR-polymorphism in inflammatory bowel disease.

Genes and immunity·2002
Same journal

Trust, Reproducibility, and Progress: The Roles of Independent Blind Prediction and Assessment and Benchmarking in Computational Biology.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
Same journal

The Evolving Cyberinfrastructure at the National Institutes of Health to Support Data and AI in Biomedical Research.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
Same journal

Applications of AI & ML in Biomanufacturing of Cell and Gene Therapies.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
Same journal

AI for Health: Leveraging Artificial Intelligence to Revolutionize Healthcare.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
Same journal

Workshop Introduction: Advances of AI Methods in Single Cell Spatial Omics.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
Same journal

DRIVE-KG: Enhancing variant-phenotype association discovery in understudied complex diseases using heterogeneous knowledge graphs.

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing·2026
See all related articles

Web Ontology Language (OWL) and OWL-DL exclude defaults, but biomedical applications need them. Hybrid reasoning combining OWL with frame systems like Protégé offers a solution for maintainable ontologies.

Area of Science:

  • Ontology engineering
  • Artificial intelligence in medicine
  • Knowledge representation

Background:

  • Standard ontology languages like Web Ontology Language (OWL) and OWL-DL exclude default reasoning and exceptions.
  • Many biomedical applications require default reasoning for maintainability.
  • Frame systems, such as Protégé, traditionally support default reasoning.

Purpose of the Study:

  • To analyze the conflict between OWL's exclusion of defaults and the need for default reasoning in biomedical applications.
  • To explore solutions for incorporating default reasoning into ontology engineering.
  • To evaluate trade-offs in human factors and computational performance.

Main Methods:

  • Analysis of different uses for defaults and exceptions in ontologies.

Related Experiment Videos

  • Exploration of alternatives within the OWL framework.
  • Investigation of hybrid reasoning approaches combining OWL with frame-based systems.
  • Leveraging experience from OpenGALEN and GRAIL formalism.

    • Main Results:

    • Some defaults can be accommodated within OWL.
    • Hybrid reasoning is necessary for other cases, integrating OWL with contingent fact knowledge bases.
    • Trade-offs exist concerning human factors and computational scaling.

    Conclusions:

    • A hybrid reasoning approach is often necessary to reconcile OWL's limitations with the practical needs of biomedical ontologies.
    • Combining OWL with frame systems like Protégé offers a viable path for maintainable and robust biomedical knowledge representation.
    • Further research is needed on combining OWL and Protégé for practical applications.