Search results
Results: 3
Number of items: 3
-
Klarman, S., Endriss, U., & Schlobach, S. (2011). ABox Abduction in the Description Logic ALC. Journal of Automated Reasoning, 46(1), 43-80. https://doi.org/10.1007/s10817-010-9168-z
-
Klarman, S., Hoekstra, R., & Bron, M. (2009). Versions and applicability of concept definitions in legal ontologies. In K. Clark, & P. F. Patel-Schneider (Eds.), Papers for OWLED 2008 DC: OWL: experiences and directions http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_6.pdf
-
Klarman, S., Hoekstra, R., Boer, A., Di Bello, M., van den Berg, K., Gordon, T., Förhécz, A., & Vas, R. (2008). Specification of the Legal Knowledge Interchange Format: Deliverable 1.1: summary. Estrella Project. http://www.estrellaproject.org/doc/D1.1-Summary.pdf
Page of