1 Hit in 1.5 sec

Towards Parallel Classifcation of TBoxes

Mina Aslani, Volker Haarslev
2008 International Workshop on Description Logics  
computers, we propose a parallel approach for TBox classification.  ...  First experiments on parallelizing well-known algorithms for TBox classification were conducted to study the trade-off between incompleteness and speed improvement.  ...  This type of parallelism is very promising for DL reasoning algorithms that can be executed in parallel but might share common data structures (e.g., and/or parallelism in proofs, classification of TBoxes  ... 
dblp:conf/dlog/AslaniH08 fatcat:y5wjtojp3bgtbe3m7izsy5q5eu