Martins Barinskis, Guntis Barzdins. Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies. In Christine Golbreich, Aditya Kalyanpur, Bijan Parsia, editors, Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007. Volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
@inproceedings{BarinskisB07:0,
title = {Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies},
author = {Martins Barinskis and Guntis Barzdins},
year = {2007},
url = {http://ceur-ws.org/Vol-258/paper40.pdf},
tags = {ontologies, model checking, ontology, meta-model, consistency, Meta-Environment, OWL},
researchr = {https://researchr.org/publication/BarinskisB07%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007},
editor = {Christine Golbreich and Aditya Kalyanpur and Bijan Parsia},
volume = {258},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}