FAME

swMATH26270MaRDI QIDQ38002FDOQ38002

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94205-6_2

Described by source

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

Cited In (9)

• Evonne
• 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
• CEL
• BioPortal
• ELK
• LETHE
• Protege-TS

This page was built for software: FAME