Joachim Baumeister, Dietmar Seipel. Verification and Refactoring of Ontologies with Rules. In Steffen Staab, Vojtech Svátek, editors, Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings. Volume 4248 of Lecture Notes in Computer Science, pages 82-95, Springer, 2006. [doi]
@inproceedings{BaumeisterS06,
title = {Verification and Refactoring of Ontologies with Rules},
author = {Joachim Baumeister and Dietmar Seipel},
year = {2006},
doi = {10.1007/11891451_11},
url = {http://dx.doi.org/10.1007/11891451_11},
tags = {ontologies, rule-based, ontology, refactoring, rules, rule-based refactoring},
researchr = {https://researchr.org/publication/BaumeisterS06},
cites = {0},
citedby = {0},
pages = {82-95},
booktitle = {Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings},
editor = {Steffen Staab and Vojtech Svátek},
volume = {4248},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-46363-1},
}