A Modularity Approach for a Fragment of $\mathcal{ALC}$

DOI10.1007/11853886_19zbMath1152.68605OpenAlexW107925496MaRDI QIDQ3533133

Andreas Herzig, Ivan Varzinczak

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_19

zbMATH Keywords

knowledge representationmodularitydescription logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

On Importing Knowledge from Ontologies. ⋮ Preferential Reasoning for Modal Logics ⋮ Metatheory of actions: beyond consistency