Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies

Jianfeng Du, Guilin Qi. Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. In Yaxin Bi, Mary-Anne Williams, editors, Knowledge Science, Engineering and Management, 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. Volume 6291 of Lecture Notes in Computer Science, pages 88-100, Springer, 2010. [doi]

@inproceedings{DuQ10,
  title = {Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies},
  author = {Jianfeng Du and Guilin Qi},
  year = {2010},
  doi = {10.1007/978-3-642-15280-1_11},
  url = {http://dx.doi.org/10.1007/978-3-642-15280-1_11},
  tags = {optimization, ontologies, rule-based, ontology, debugging, OWL},
  researchr = {https://researchr.org/publication/DuQ10},
  cites = {0},
  citedby = {0},
  pages = {88-100},
  booktitle = {Knowledge Science, Engineering and Management, 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings},
  editor = {Yaxin Bi and Mary-Anne Williams},
  volume = {6291},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15279-5},
}