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 Concept Videos

Competition02:34

Competition

24.9K
When organisms require the same limited resources within an environment, they may have to compete for them. Competition is a net-negative interaction. Even if two competing individuals or populations do not interact directly, the overall fitness of both competitors is lowered as a result of not having full access to the limited resource.
24.9K
Reason and Intuition01:37

Reason and Intuition

7.5K
The human brain processes information for decision-making using one of two routes: an intuitive system and a rational system (Epstein, 1994; popularized by Kahneman, 2011 as System 1 and System 2, respectively). The intuitive system is quick, impulsive, and operates with minimal effort, relying on emotions or habits to provide cues for what to do next, while the rational system is logical, analytical, deliberate, and methodical. Research in neuropsychology suggests that the...
7.5K
Reasoning01:30

Reasoning

439
Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
439
Deductive Reasoning01:16

Deductive Reasoning

69.0K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
69.0K
Inductive Reasoning00:59

Inductive Reasoning

67.8K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
67.8K
Data Reporting and Recording01:24

Data Reporting and Recording

5.5K
Reporting and recording are crucial in data documentation. The timely, thorough, and accurate documentation of facts is essential when recording patient data. Failure to record findings during an assessment or interpretation of a problem will result in loss of information and make the patient document unreliable. The reader is left with general impressions if the information is not specific. A recording is documenting data of the individual's health information in a traceable, secure, and...
5.5K

You might also read

Related Articles

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

Sort by
Same author

The Cell Ontology in the age of single-cell omics.

Scientific data·2026
Same author

Toward total recall: Enhancing data FAIRness through AI-driven metadata standardization.

GigaScience·2026
Same author

Medicines, Diseases, Indications, and Contraindications (MeDIC): a foundational resource to support drug repurposing.

Nucleic acids research·2025
Same author

Automatability and validity of methods for the quantification of intra-/Intermuscular adipose tissue in conventional MRI: a systematic review.

BMC medical imaging·2025
Same author

Mondo: integrating disease terminology across communities.

Genetics·2025
Same author

Expanding and refining the Mammalian Phenotype Ontology to enhance disease model discovery.

Disease models & mechanisms·2025

Related Experiment Video

Updated: Feb 7, 2026

Competitive Transplants to Evaluate Hematopoietic Stem Cell Fitness
08:53

Competitive Transplants to Evaluate Hematopoietic Stem Cell Fitness

Published on: August 31, 2016

16.0K

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.

Bijan Parsia1, Nicolas Matentzoglu1, Rafael S Gonçalves2

  • 11Information Management Group, University of Manchester, Manchester, UK.

Journal of Automated Reasoning
|August 3, 2018
PubMed
Summary

The 2015 OWL Reasoner Evaluation competition benchmarked 14 OWL 2 compliant reasoners on standard reasoning tasks. Lessons learned will improve future comparative experiments and benchmarking in artificial intelligence.

Keywords:
OWLOntologiesReasoning

More Related Videos

Oligopeptide Competition Assay for Phosphorylation Site Determination
09:16

Oligopeptide Competition Assay for Phosphorylation Site Determination

Published on: May 18, 2017

8.9K
Quantification of Humic and Fulvic Acids in Humate Ores, DOC, Humified Materials and Humic Substance-Containing Commercial Products
12:55

Quantification of Humic and Fulvic Acids in Humate Ores, DOC, Humified Materials and Humic Substance-Containing Commercial Products

Published on: March 18, 2022

19.9K

Related Experiment Videos

Last Updated: Feb 7, 2026

Competitive Transplants to Evaluate Hematopoietic Stem Cell Fitness
08:53

Competitive Transplants to Evaluate Hematopoietic Stem Cell Fitness

Published on: August 31, 2016

16.0K
Oligopeptide Competition Assay for Phosphorylation Site Determination
09:16

Oligopeptide Competition Assay for Phosphorylation Site Determination

Published on: May 18, 2017

8.9K
Quantification of Humic and Fulvic Acids in Humate Ores, DOC, Humified Materials and Humic Substance-Containing Commercial Products
12:55

Quantification of Humic and Fulvic Acids in Humate Ores, DOC, Humified Materials and Humic Substance-Containing Commercial Products

Published on: March 18, 2022

19.9K

Area of Science:

  • Artificial Intelligence
  • Knowledge Representation and Reasoning

Background:

  • The Ontology Web Language (OWL) Reasoner Evaluation is an annual event.
  • It involves comparing OWL 2 compliant reasoners on diverse reasoning tasks.
  • The 2015 competition was the third iteration, featuring 14 reasoners.

Purpose of the Study:

  • To discuss the design, execution, and results of the 2015 OWL Reasoner Evaluation.
  • To identify key lessons learned for benchmarking and comparative experiments.
  • To inform the planning of future reasoner competitions.

Main Methods:

  • Organized six tracks covering three tasks: consistency, classification, and realisation.
  • Utilized two profiles: OWL 2 DL and OWL 2 EL.
  • Evaluated 14 OWL 2 compliant reasoners on naturally occurring problems.

Main Results:

  • Detailed performance analysis of 14 OWL 2 reasoners across different tracks and tasks.
  • Identified strengths and weaknesses of various reasoners under specific conditions.
  • Provided insights into the state-of-the-art in OWL 2 reasoning capabilities.

Conclusions:

  • The 2015 competition provided valuable data for understanding reasoner performance.
  • Lessons learned are crucial for refining benchmarking methodologies.
  • Recommendations are offered for enhancing future OWL reasoner evaluations and competitions.