2 search results - page 1 / 1 » LoTREC: Logical Tableaux Research Engineering Companion |
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
OTM
2007
Springer
13 years 10 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...