FAME

swMATH26270MaRDI QIDQ38002FDOQ38002

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: FAME