Concept

Description logic

Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language (OWL) and its profiles are based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge. A description logic (DL) models concepts, roles and individuals, and their relationships. The fundamental modeling concept of a DL is the axiom—a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a frame specification declares and completely defines a class. The description logic community uses different terminology than the first-order logic (FOL) community for operationally equivalent notions; some examples are given below. The Web Ontology Language (OWL) uses again a different terminology, also given in the table below. There are many varieties of description logics and there is an informal naming convention, roughly describing the operators allowed. The expressivity is encoded in the label for a logic starting with one of the following basic logics: Followed by any of the following extensions: Some canonical DLs that do not exactly fit this convention are: As an example, is a centrally important description logic from which comparisons with other varieties can be made.

Official source

https://en.wikipedia.org/wiki/Description_logic

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (3)

MATH-381: Mathematical logic

Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique. C'est entre autres un cours dans lequel la pratique mathématiq ...

COM-401: Cryptography and security

This course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented. ...

MATH-101(c): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...

Related lectures (6)

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Untitled

Taylor Series: Expansion and Properties

Explores Taylor series expansion, derivatives, uniqueness, and applications in function approximation.

Related units (2)

Laboratory for Automated Reasoning and Analysis

Distributed Information Systems Laboratory

Related exercises (1)

Rotation on a two-blade helix

A homogeneous rod of length L and mass M rotates in a vertical plane around the horizontal axis OG at constant angular velocity ψ̇u2004=u2004ψ̇u2006e₃. The axis OG rotates around the vertical axis ẑ at constant angular velocity ϕ̇u2004=u2004ϕ̇u2006e_(z). The moment of inertia of the rod with respect to its axis is I_(G∥) and the torques perpendicular to the axis of the rod passing through G are I_(G⊥). The distance |OG|u2004=u2004R.

Show that the angular momentum L_(G) is expressed in the principal

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Official source

https://en.wikipedia.org/wiki/Description_logic

About this result

Related courses (3)

MATH-381: Mathematical logic

COM-401: Cryptography and security

MATH-101(c): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...

Related lectures (6)

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Untitled

Taylor Series: Expansion and Properties

Explores Taylor series expansion, derivatives, uniqueness, and applications in function approximation.

Related publications (14)

Convex and Reverse Convex Prequadratics Constraints for Decidable Logics of Relations with Cardinalities

We investigate decision procedures for quantifier-free fragments of set theory extended with relational and cardinality constraints. While the satisfiability problem for the general fragment is undecidable due to the existence of reductions from Hilbert's 10th problem, in this paper we show that extensions of existential Presburger arithmetic with atoms of the form

x\leq y^{d}

or of the form

y^{d}\leq x

, where

d\in\mathbb{N}

, are decidable in non-deterministic polynomial time. We apply these r

Association for Computing Machinery (ACM)2026

Modular derivation of decision procedures for extensions of the algebraic theory of arrays

We investigate methods to automatically derive decision procedures for array theories using expressive features such as unbounded quantification or cardinality constraints from decision procedures for their indices and element theories. We observe that traditional methods such as the Nelson-Oppen combination procedure are severely limited in terms of the theories that can be used to specify elements or indices. We show that the polite theory combination method is already able to combine arbitrary element th

2026

Precise Reasoning about Container-Internal Pointers with Logical Pinning

Most separation logics hide container-internal pointers for modularity. This makes it difficult to specify container APIs that temporarily expose those pointers to the outside, and to verify programs that use these APIs. We present logical pinning, a lightweight borrowing model for sequential programs that allows users to selectively track container-internal pointers at the logical level. Our model generalizes the magic-wand operator for representing partial data structures, making it easy to write and prov

ACM2026

Related people (9)

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Florence Pojer

Expertise MER and Head of Unit - Protein Production and Structure Reseach Core Facility within the Life Sciences School - PTPSP: Expertise in Integrative protein Structural Biology (mainly X-ray Crystallography and Cryo-EM) and production of macromolecules in mammalian and bacterial cells. Innovate4Life team member at SV: i4L supports the next generation of entrepreneurs through education, mentorship, and funding, to translate life sciences discoveries into technologies that benefit society. Education and

Lesya Shchutska

Current Work Our research is focused on testing the boundaries of the Standard Model of particle physics and on looking for new phenomena which might explain unanswered puzzles in the fundamental description of the Universe. The examples of such puzzles would be dark matter nature, matter-antimatter asymmetry of the Universe or very small but non-zero neutrino masses.The main instrument for these tasks is the LHCb detector at CERN, where the analyses of the data collected in the LHC proton-proton collisions

Touradj Ebrahimi

Touradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)from 2008 to 2012. Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface). He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T. See the URL below for more details: http://mmspl.epfl.ch

Roger Hersch

Roger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known Visible Human Web Server project , which offers a number of services for the visualization of human anatomy. His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.

Ramtin Yazdanian

Francisco Pereira Correia Pinto

Francisco holds a degree in Computer Science from the University of Porto, and a Ph.D. in Signal Processing from the École polytechnique fédérale de Lausanne (EPFL). He is currently leading the development of EPFL's data intelligence infrastructure for institutional data, as well as its new ML/Graph-powered search engine (graphsearch.epfl.ch). His interests lie in the intersection between educational sciences and artificial intelligence.

Giovanni De Micheli

Expertise Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components. Scientific Director of EcoCloud Center at EPFL Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices. More information Please read http://si2.epfl.ch/~demichel/ Giovanni De Micheli is a research scientist in electronics and

Clément Pit-Claudel

Teaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an

Related units (2)

Laboratory for Automated Reasoning and Analysis

Distributed Information Systems Laboratory

Related concepts (12)

Web Ontology Language

The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies and classification networks, essentially defining the structure of knowledge for various domains: the nouns representing classes of objects and the verbs representing relations between the objects. Ontologies resemble class hierarchies in object-oriented programming but there are several critical differences.

Knowledge base

A knowledge base (KB) is a set of sentences, each sentence given in a knowledge representation language, with interfaces to tell new sentences and to ask questions about what is known, where either of these interfaces might use inference. It is a technology used to store complex structured data used by a computer system. The initial use of the term was in connection with expert systems, which were the first knowledge-based systems. The original use of the term knowledge base was to describe one of the two sub-systems of an expert system.

Ontology language

In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.

Related exercises (1)

Rotation on a two-blade helix

Show that the angular momentum L_(G) is expressed in the principal

Related notebooks (9)

Band Structure Investigation of Monolayer and Bilayer Graphene Using the Tight Binding Model

In [1]: import matplotlib.pyplot as plt import numpy as np from mpl_toolkits import mplot3d import itertools %matplotlib widget Band Structure of Mono and Bilayer Graphene[1]¶ If you have questions about this notebook, e-mail Oleg Malanyuk (oleg.malanyuk@epfl.ch) The purpose of this notebook is to investigate the band model of Mono and Bilayer graphene modeled with tight binding model. Tight binding model for monolayer graphene[2]¶ Monolayer graphene is a sheet of carbons aranged in a he

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

In [1]: import matplotlib.pyplot as plt import matplotlib.ticker as mtick import numpy as np import ipywidgets as widgets import scipy.integrate as integrate from ipywidgets import interact, fixed from scipy.interpolate import interp1d from textwrap import dedent from bokeh.io import push_notebook, show, output_notebook, output_file, curdoc from bokeh.plotting import figure from bokeh.layouts import column, row from bokeh.themes import built_in_themes from bokeh.models import Range1d, BasicTickFormatter, L

Investigating the Effect of Phase on Sound Perception

Hearing the phase of a sound[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will investigate the effect of phase on the perceptual quality of a sound. It is often said that the human ear is commercial-grade audio equipment takes place in the magnitude domain only. In [1]: %matplotlib inline import matplotlib import matplotlib.pyplot as plt import numpy as np import IPython from scipy.io import wavfile In [2]: plt.rcParams["figure.fig

Modeling Epidemics with Signal Processing Techniques

Epidemics and Signal Processing[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In [1]: import matplotlib.pyplot as plt import numpy as np import scipy.signal as sp import seaborn as sns sns.set() In [2]: plt.rcParams["figure.figsize"] = (14,4) The basic reproduction number[4]¶ The propagation mechanism of an epidemic such as the one caused by SARS-CoV-2 virus can be roughly modeled, at least in its inital phase, as a process in which each infected individ

Numerical Precision in DFT Computation

Numerical Precision in DFT Computation[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In [1]:

first our usual bookkeeping

%matplotlib inline import matplotlib import matplotlib.pyplot as plt import numpy as np In this notebook we will look at some numerical issues associated to the DFT; in particular we we will look at the differences in precision between the "naive" way of computing the DFT and the FFT algorithm. As a quick reminder, the definitions of t