Jove
Visualize
Contact Us

Related Concept Videos

Probability Laws01:49

Probability Laws

43.1K
Overview
43.1K
Deductive Reasoning01:16

Deductive Reasoning

63.1K
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...
63.1K
Statically Indeterminate Problem Solving01:16

Statically Indeterminate Problem Solving

587
Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...
587
Natural and Artificial Concepts01:24

Natural and Artificial Concepts

406
In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
406
Ligand Binding and Linkage00:49

Ligand Binding and Linkage

5.2K
Allosteric proteins have more than one ligand binding site; the binding of a ligand to any of these sites influences the binding of ligands to the other sites. When a protein is allosteric, its binding sites are called coupled or linked.  In the case of enzymes, the site that binds to the substrate is known as the active site and the other site is known as the regulatory site. When a ligand binds to the regulatory site, this leads to conformational changes in the protein that can influence...
5.2K
Ligand Binding and Linkage00:49

Ligand Binding and Linkage

3.8K
3.8K

You might also read

Related Articles

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

Sort by
Same journal

Predicting Individual Treatment Effects: Challenges and Opportunities for Machine Learning and Artificial Intelligence.

Kunstliche intelligenz·2025
Same journal

Report on "Axiomatizing Conditional Normative Reasoning".

Kunstliche intelligenz·2024
Same journal

In Search of Basement Indicators from Street View Imagery Data: An Investigation of Data Sources and Analysis Strategies.

Kunstliche intelligenz·2023
Same journal

Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs.

Kunstliche intelligenz·2023
Same journal

A Framework for Learning Event Sequences and Explaining Detected Anomalies in a Smart Home Environment.

Kunstliche intelligenz·2022
Same journal

Some Thoughts on AI Stimulated by Michael Wooldridge's Book "The Road to Conscious Machines. The Story of AI".

Kunstliche intelligenz·2022
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 Video

Updated: Nov 25, 2025

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

918

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.

Timothy van Bremen1, Anton Dries1, Jean Christoph Jung2

  • 1KU Leuven, Leuven, Belgium.

Kunstliche Intelligenz
|December 21, 2020
PubMed
Summary

Onto2problog enables ontology-mediated querying of probabilistic data using probabilistic logic programming. This tool supports complex queries on probabilistic data within description logic ontologies, covering much of the OWL 2 EL profile.

More Related Videos

Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications
09:20

Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications

Published on: February 23, 2019

9.0K
A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports
07:35

A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports

Published on: October 13, 2023

1.9K

Related Experiment Videos

Last Updated: Nov 25, 2025

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

918
Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications
09:20

Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications

Published on: February 23, 2019

9.0K
A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports
07:35

A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports

Published on: October 13, 2023

1.9K

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Database Systems

Background:

  • Ontology-mediated querying integrates data from diverse sources using formal ontologies.
  • Probabilistic data requires specialized methods for reasoning and querying due to inherent uncertainty.
  • Existing tools often lack comprehensive support for probabilistic data under complex ontological constraints.

Purpose of the Study:

  • To introduce onto2problog, a novel tool for querying probabilistic data mediated by ontologies.
  • To enable conjunctive queries on probabilistic data within the framework of description logic.
  • To provide a system that captures a significant portion of the OWL 2 EL profile for probabilistic reasoning.

Main Methods:

  • Development of a tool, onto2problog, integrating probabilistic logic programming engines.
  • Implementation of support for conjunctive queries over probabilistic datasets.
  • Encoding of ontologies using description logic, specifically targeting the OWL 2 EL profile.

Main Results:

  • onto2problog successfully supports ontology-mediated querying of probabilistic data.
  • The tool handles conjunctive queries effectively under specified ontological constraints.
  • The system's capabilities align with a substantial part of the OWL 2 EL profile.

Conclusions:

  • onto2problog offers a robust solution for complex data querying in uncertain environments.
  • The tool facilitates advanced reasoning over probabilistic data integrated with ontological knowledge.
  • This work advances the integration of probabilistic databases and semantic web technologies.