Pages that link to "Item:Q1799064"
From MaRDI portal
The following pages link to FAME: an automated tool for semantic forgetting in expressive description logics (Q1799064):
Displaying 6 items.
- FAME (Q38002) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (Q2305440) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)