Pages that link to "Item:Q622105"

The following pages link to Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105):

Displaying 20 items.

• Games for query inseparability of description logic knowledge bases (Q253977) (← links)
• Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
• Modeling ontology evolution with SetPi (Q497901) (← links)
• Forgetting for knowledge bases in DL-lite (Q604910) (← links)
• On syntactic forgetting under uniform equivalence (Q2055801) (← links)
• On the limits of forgetting in answer set programming (Q2211850) (← links)
• Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
• Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
• Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
• ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
• When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
• A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
• Decidability of Circumscribed Description Logics Revisited (Q5172610) (← links)
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
• The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)