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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.