Sciweavers

96 search results - page 20 / 20
» Implementing a NTP-based time service within a distributed m...
Sort
View
OTM
2007
Springer
15 years 3 months ago
Parallelizing Tableaux-Based Description Logic Reasoning
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...
Thorsten Liebig, Felix Müller