Complete Approximations of Horn DL Ontologies (bibtex)

Reference:

, "Complete Approximations of Horn DL Ontologies", In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, CEUR-WS.org, 2018.

Bibtex Entry:

@inproceedings{DBLP:conf/dlog/BotcherLW18,
   author    = {Anneke B{\"{o}}tcher and
                Carsten Lutz and
                Frank Wolter},
   title     = {Complete Approximations of Horn {DL} Ontologies},
   booktitle = {Proceedings of the 31st International Workshop on Description Logics
                co-located with 16th International Conference on Principles of Knowledge
                Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
                27th - to - 29th, 2018},
   year      = {2018},
   series    = {{CEUR} Workshop Proceedings},
   volume    = {2211},
   publisher = {CEUR-WS.org},
keywords={easecrc_knowledge},
}