Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
Sergio Tessaris and Ian Horrocks
Details
| Book Title |
Proc. of the 9th Int. Conf. on Logic for Programming‚ Artificial Intelligence and Reasoning (LPAR 2002) |
| ISBN |
3−540−00010−0 |
| Number |
2514 |
| Pages |
435–449 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
2002 |