Publications

Export 1 results:
Filters: Author is Ian Horrocks  [Clear All Filters]
2005
Dürig, M., Studer, T.: Probabilistic ABox reasoning: preliminary results. In: Horrocks, I., Sattler, U., and Wolter, F. Proceedings of Description Logics '05. pp. 104-111. CEUR-WS.org (2005).