Blank nodes *are* working with OWL reasoning

2015-05-27 Thread David Booth
In our FHIR RDF work, we ran into an issue in which OWL reasoning did not appear to be working when we used a blank node instead of a URI for a particular node. This was confirmed with multiple reasoners. However, based on some experiments that I did yesterday, it looks like we have finally wo

FINAL CALL FOR PAPERS -- ICTAC 2015

2015-05-27 Thread Maurizio Proietti
** FINAL CALL FOR PAPERS -- ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing 29-31 October 2015, Cali, Colombia http://www