125
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...