FaCT++ Description Logic Reasoner: System Description
Dmitry Tsarkov and Ian Horrocks
Details
| Book Title |
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006) |
| Pages |
292–297 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Volume |
4130 |
| Year |
2006 |