Original language | English |
---|---|
Title of host publication | Description Logics |
Number of pages | 10 |
Publication date | 2000 |
Pages | 153-162 |
Publication status | Published - 2000 |
Optimizing TBox and ABox Reasoning with Pseudo Models.
Volker Haarslev, Ralf Möller
Volker Haarslev, Ralf Möller
Original language | English |
---|---|
Title of host publication | Description Logics |
Number of pages | 10 |
Publication date | 2000 |
Pages | 153-162 |
Publication status | Published - 2000 |