The OWL Instance Store: System Description
Sean Bechhofer‚ Ian Horrocks and Daniele Turi
Details
| 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 |