Concepedia

Concept

description logics

Parents

1.2K

Publications

74.6K

Citations

1.8K

Authors

729

Institutions

About

Description logics is a family of formal knowledge representation languages. This field investigates methods for representing and reasoning about conceptual knowledge in a structured and formally well-defined way. Characterized by a rigorous syntax and semantics, description logics ensure decidability of key inference tasks such as subsumption and satisfiability, making them fundamental to ontology engineering, the Semantic Web, and intelligent systems.

Top Authors

Rankings shown are based on concept H-Index.

CL

University of Bremen

FW

University of Liverpool

IH

University of Manchester

US

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

ML

Sapienza University of Rome

Top Institutions

Rankings shown are based on concept H-Index.

University of Manchester

Manchester, United Kingdom

University of Oxford

Oxford, United Kingdom

University of Liverpool

Liverpool, United Kingdom