Hi everyone, I'm using Virtuoso open-source v7.2.6.1 on a Linux fedora34 system and I want to know if it's possible to create inference rules with owl:unionOf, owl:intersectionOf. Or even use an external reasoner with Virtuoso open-source (like Fact++) that supports OWL DL reasoning.
I saw on the documentation that it was possible to create custom inference rules (http://docs.openlinksw.com/virtuoso/rdfsparqlruleintro/) but if I'm not mistaken those are limited to " *rdfs:subClassOf*, *rdfs:subPropertyOf, owl:sameAs, owl:equivalentClass and owl:equivalentProperty " **. *I tried to use rdfs_rule_set() to create inference rules for owl:unionOf, and then use it in a sparql request (for instance) : define input:inference "myRuleSet" prefix : <https://stackoverflow.com/q/21092246/1281433/data.owl#> prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> SELECT ?x WHERE { ?x rdf:type <http://www.co-ode.org/ontologies/ont.owl#Demand_poi <http://www.co-ode.org/ontologies/ont.owl#DP_315000448311>nt> } But it's not working, it didn't found any triple. I didn't find any tutorial or documentation that explain how to do it, so i guess it's not possible. And i don't know if it's possible to use an external reasoner with Virtuoso Open-source. here is an example of a class that I'm using ( There are more complex class in my Ontologie using owl:intersectionOf and even owl:someValuesFrom) Class rdf:about="http://www.co-ode.org/ontologies/ont.owl#Demand_point"> <equivalentClass> <Class> <unionOf rdf:parseType="Collection"> <rdf:Description rdf:about=" http://www.co-ode.org/ontologies/ont.owl#Infrastructure_aggregation"/> <rdf:Description rdf:about=" http://www.semanticweb.org/tomhu/ontologies/2021/1/untitled-ontology-7#Infrastructure "/> </unionOf> </Class> </equivalentClass> <rdfs:comment xml:lang="en">A demand point is an infrastructure that must be evacuated.</rdfs:comment> <rdfs:comment xml:lang="fr">Un point de demande est une infrastructure qu'il faut évacuer.</rdfs:comment> <rdfs:label xml:lang="en">Demand point</rdfs:label> <rdfs:label xml:lang="fr">Point de demande</rdfs:label> </Class>
_______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users