Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Description Logic - What is descriptive logic in AI?


Within artificial intelligence applications, description logic is a formalism utilized for representing and deducing properties of concepts and individuals. It bears a close relationship to first-order logic, but its syntax is more restricted, making it highly suitable for automated reasoning.