The OWL Instance Store: System Description
Sean Bechhofer‚ Ian Horrocks and Daniele Turi
Book Title
Proc. of the 20th Int. Conf. on Automated Deduction (CADE−20)
ISBN
3−540−28005−7
Pages
177–181
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
2005