FAME

swMATH26270MaRDI QIDQ38002

No author found.

Described by source

• FAME: an automated tool for semantic forgetting in expressive description logics

Related Items (3)

Semantic forgetting in expressive description logics ⋮ FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions ⋮ Evonne: interactive proof visualization for description logics (system description)

This page was built for software: FAME