Description Logics in Ontology Applications
Ian Horrocks
Details
| Book Title |
Proc. of the 9th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) |
| Editor |
B. Beckert |
| ISBN |
3−540−28931−3 |
| Number |
3702 |
| Pages |
2–13 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
2005 |