# Logiki opisowe

EN: **Description logics** · id `descriptionlogics` · aliases: description logics, description logic, logiki opisowe, DL

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [Fundamenty i rozumowanie](https://aiatlasgraph.com/t/foundations.md) › [Logika i reprezentacja wiedzy](https://aiatlasgraph.com/t/logic.md) › [Ontologie i sieć semantyczna (RDF, OWL)](https://aiatlasgraph.com/t/ontologies.md) › Logiki opisowe

## Description

- PL: Rodzina rozstrzygalnych fragmentów logiki pierwszego rzędu do opisu pojęć, ról i obiektów; formalna podstawa języka ontologii OWL.
- EN: Family of decidable fragments of first-order logic describing concepts, roles and individuals; the formal basis of the OWL ontology language.

## In one sentence

- PL: Precyzyjny język do opisywania pojęć i ich związków, z którego program sam wyciąga ukryte wnioski o kategoriach.
- EN: A precise language for describing concepts and their links, from which software draws hidden conclusions about categories.

## Problem it solves

- PL: W dużych słownikach pojęć, np. medycznych, ludzie nie zauważają sprzeczności i brakujących powiązań między tysiącami kategorii.
- EN: In large vocabularies, such as medical ones, people miss contradictions and missing links among thousands of categories.

## What it does

- PL: Jak skrupulatny bibliotekarz, który z definicji sam ustala, że każda książka z jednej półki należy też do szerszego działu.
- EN: Like a meticulous librarian who deduces from definitions that every book on one shelf also belongs to a broader section.

## Everyday example

- PL: System medyczny sam ustala, że zapalenie płuc zapisane u pacjenta jest chorobą układu oddechowego, choć nikt tego nie wpisał.
- EN: A medical system works out that a patient's recorded pneumonia is a respiratory disease, though nobody entered that.

## This concerns you if you…

- PL: budujesz lub utrzymujesz duży słownik pojęć
- PL: chcesz, by dane z różnych systemów znaczyły to samo
- EN: build or maintain a large vocabulary of concepts
- EN: want data from different systems to mean the same thing

## Keywords

OWL 2 · SROIQ · ALC · EL profile · TBox · ABox · HermiT · ELK · Protégé · SNOMED CT

## How it works

- PL: Wiedza dzieli się na TBox (aksjomaty o pojęciach, np. inkluzje) i ABox (fakty o obiektach). Konstruktory jak koniunkcja, kwantyfikacja po rolach czy ograniczenia liczebności budują złożone pojęcia. Reasonery, zwykle oparte na tableaux, sprawdzają spójność, klasyfikują hierarchię pojęć i przypisują obiekty do klas; lekkie profile jak EL skalują się do dużych ontologii.
- EN: Knowledge splits into a TBox (axioms about concepts, e.g. inclusions) and an ABox (facts about individuals). Constructors such as conjunction, role quantification and number restrictions build complex concepts. Reasoners, usually tableau-based, check consistency, classify the concept hierarchy and assign individuals to classes; lightweight profiles such as EL scale to large ontologies.

## Limits

- PL: Większa ekspresywność szybko podnosi złożoność rozumowania, aż do bardzo kosztownej w najbogatszych wariantach. Założenie otwartego świata zaskakuje użytkowników baz danych, a modelowanie wymaga ekspertów i nie radzi sobie z niepewnością.
- EN: Greater expressiveness quickly raises reasoning complexity, becoming very costly in the richest variants. The open-world assumption surprises database users, and modelling needs experts and does not handle uncertainty.

## Key terms

- PL: **TBox i ABox**: Część z definicjami pojęć i część z faktami o konkretnych obiektach.
- PL: **założenie otwartego świata**: Brak informacji nie oznacza, że coś jest fałszywe.
- PL: **reasoner**: Program wyprowadzający ukryte wnioski z ontologii.
- EN: **TBox and ABox**: The part with concept definitions and the part with facts about individuals.
- EN: **open-world assumption**: Missing information does not mean something is false.
- EN: **reasoner**: A program deriving implicit conclusions from an ontology.

## Know first

- [Logika zdań i logika pierwszego rzędu (Propositional and first-order logic)](https://aiatlasgraph.com/t/fol.md)

## Related topics

Untyped, symmetric "see also" links.

- [Grafy wiedzy (Knowledge graphs)](https://aiatlasgraph.com/t/kgraphs.md)

## Sources

- [A Description Logic Primer](<https://arxiv.org/abs/1201.4089>) `krotzsch-dl-primer` · by Markus Krötzsch, Frantisek Simancik, Ian Horrocks

---

AI Atlas revision 125 (2026-11-01) · HTML: https://aiatlasgraph.com/t/descriptionlogics · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-11-01