Model-theoretic inseparability and modularity of description logic ontologies

  • Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
  • Artificial Intelligence, October 2013, Elsevier
  • DOI: 10.1016/j.artint.2013.07.004

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1016/j.artint.2013.07.004