@inproceedings{ijcar-2016, author = {Rademaker, Alexandre and Haeusler, Edward Hermann}, title = {InFeRe Law: Investigating the feasibility of reasoning on legal ontologies}, booktitle = {Compositional Meaning in Logic [GeTFun 4.0] part of 8th International Joint Conference on Automated Reasoning}, year = {2016}, month = jul, address = {Coimbra} }