FAME

MaRDI QIDQ38002swMATHFDO

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
• Semantic forgetting in expressive description logics
• FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
• CEL
• BioPortal
• ELK
• LETHE
• Evonne: interactive proof visualization for description logics (system description)
• Protege-TS

This page was built for software: FAME