Attributive Concept Language with Complements
A foundational description logic with Boolean concept constructors and existential and universal role restrictions.
Description LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.
Find a logic
Search results
2 entriesSROIQ: An Expressive Description Logic
Expressive description logic supporting nominals, inverse roles, qualified number restrictions, and regular complex role inclusions; basis of OWL 2 DL.
Description Logics