Just wondering about Virtuoso's feature-set as an OWL 2 reasoner (other than the info at http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html); specifically I'm wondering about any support for datatype validation / property restrictions.
In general language, if my ontology states that a property must have a value of xsd:integer with a DatatypeRestriction xsd:minInclusive 18 - then what options are available via virtuoso to validate a triple on the way in to ensure the restrictions are met? many regards, nathan
