Pages that link to "Item:Q2351041"
From MaRDI portal
The following pages link to Model-theoretic inseparability and modularity of description logic ontologies (Q2351041):
Displaying 6 items.
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
