Publication:4712659
From MaRDI portal
zbMath0744.68095MaRDI QIDQ4712659
Publication date: 25 June 1992
68Q65: Abstract data types; algebraic specification
Related Items
Logic-based ontology comparison and module extraction, with an application to DL-Lite, Deciding inseparability and conservative extensions in the description logic, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Formal Properties of Modularisation