Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies

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]

Authors

Martins Barinskis

This author has not been identified. Look up 'Martins Barinskis' in Google

Guntis Barzdins

This author has not been identified. Look up 'Guntis Barzdins' in Google