Pages that link to "Item:Q3631357"
From MaRDI portal
The following pages link to Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357):
Displaying 4 items.
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
